开发者优先，文档即产品
Taeos 提供完整 API 文档、SDK 接入指南和 MCP 工具参考。本地即可运行，无需依赖云端。
快速开始
# 1. Clone 仓库
git clone repo URL taeos_v1 && cd taeos_v1
# 2. 安装 pre-commit gate
pwsh scripts/hooks/install.ps1
# 3. 运行校验
python scripts/check_sync.py
# 期望输出：SUMMARY: 0 FAIL / 14 validators
# 4. 启动 Workbench
make workbench
# 打开 http://localhost:8000API 参考摘要
| Method | Path | 说明 | 鉴权 |
|---|---|---|---|
| GET | /api/health | 健康检查 | 无 |
| GET | /api/specs | SPEC 列表 | 无 |
| GET | /api/specs/{id} | SPEC 详情 | 无 |
| POST | /api/specs/save | 保存 SPEC | X-TAEOS-Token |
| POST | /api/specs/compile | IR 编译 | X-TAEOS-Token |
| POST | /api/specs/batch-compile | 批量编译 | X-TAEOS-Token |
| GET | /mcp/tools | MCP 工具发现 | 无 |
| POST | /mcp/tools/call | MCP 工具调用 | X-TAEOS-Token |
MCP 工具
| 工具名 | 输入 | 输出 |
|---|---|---|
| taeos.spec.compile | { spec_id, target } | IR 编译结果 |
| taeos.spec.list | {} | SPEC 列表 |
| taeos.protocol.list | {} | ACTIVE 协议列表 |
SDK & CLI
- @cursor/sdkTask Executor Node.js Bridge
- scripts/taeos_cli.pyadvance / run / compile / sync
- scripts/task_executor.pyTask Card 执行引擎
- scripts/linear_integration.pyLinear 状态同步
- scripts/github_integration.pyGitHub PR SPEC 推进
文档链接
Skillver 企业 API 文档 面向 Enterprise 客户单独提供。