AI 编码代理

主要功能

• Phase 1-2枚举每个可验证声称（API 名、文件路径、枚举值、数量、机制可行性）→ 逐条对照代码库给出证据
• 基于 Agent Skills 开放标准构建。
• 技能遵循 Agent Skills 开放标准，被 dsh 的 skill-filesystem provider 原样发现——零代码。
• 设计文档 / 计划审查 — "Review this design document" → 声称枚举与代码库核查
• Phase 2a对提取的状态机模型执行 8 项结构检查（S1-S8）：S1 可达性、S2 死锁、S3 活性、S4 确定性、S5 事件完备性、S6 守卫完备性、S7 不变量有效性、S8 单调变量