工具说明为英文。
Atomadic Forge — 工具资料与历史
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
安装 claude mcp add atomadic-forge -- uvx atomadic-forge
当前测量
807 天下载量稳定
实测增长Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
测量历史
| 日期 | 数值 | 指标 |
|---|---|---|
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| 80 | 7 天下载量 | |
| — | — | |
| — | — | |
| — | — | |
| — | — |
分类
- 领域
- 类型
- MCP 服务器
- 用途
- 未声明用途