阶段: 原型验证 (demo) 开始时间: 2026-01-22 阶段描述: 快速验证核心概念和可行性
- 快速迭代
- 概念验证
- 核心功能
- 快速试错，快速调整
- 优先核心功能，暂缓优化
- 技术债务可接受，但需记录
- 详细的Git开发迭代记录
- 记录重要决定DECISIONS.md
- 建立 CI/CD
目标: 技能注册、复合、路径搜索
- 定义核心数据模型 (Object, Morphism, Category)
- 实现技能注册机制
- 实现技能复合 (A→B + B→C = A→C)
- 实现路径搜索算法
- 基础 CLI 工具
- Pydantic Schema 加载
- YAML 配置支持
目标: 约束求解、双向推理
- 定义约束系统 (硬约束/软约束) - TypeConstraint/SkillConstraint/CostConstraint/PreferenceConstraint
- 实现约束求解器 (ConstraintSolver) - 非范畴极限，实用约束过滤
- 实现可逆技能 (ReversibleSkill) - 简化的伴随函子
- 实现反向推理器 (BackwardReasoner)
- CLI 约束选项 (--require-type, --exclude-type, --max-steps)
- CLI 反向推理 (infer 命令)
- Schema 约束配置支持
目标: 一致性检查、信息补全
- 实现路径等价验证 (自然变换)
- 实现不完整信息推理
- 置信度标注
目标: 接入主流技能来源
- MCP Tool 适配器
- OpenAI Function Calling 适配器
- LangChain Tool 适配器
- 自定义 API 适配器
目标: CLI、可视化
- 完善 CLI 功能
- 可视化调试工具
目标: 完整文档和示例
- API 文档
- 示例项目
- 教程
| 类别 | 要求 |
|---|---|
| 性能 | 1000 技能规模下路径搜索 < 100ms |
| 兼容性 | 可接入 MCP Tool、OpenAI Function、LangChain Tool 等 |
| 可扩展 | 支持 10000+ 技能 |
| 易用性 | 完整 API 文档和示例 |
(暂无)
- demo: 2026-01-22 (进行中)