Atomadic Forge — tool profile and history
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Install claude mcp add atomadic-forge -- uvx atomadic-forge
Current measurement
80downloads over 7 daysstable
measured growthMomentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Reading history
| Date | Value | Metric |
|---|---|---|
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| 80 | downloads over 7 days | |
| — | — | |
| — | — | |
| — | — | |
| — | — |
Classifications
- Domains
- Type
- MCP servers
- Use cases
- No declared use case