A
Atomadic Forge
io.github.atomadictech/atomadic-forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Version0.87.0
Remote accessYES
Local installYES
Packagespypi
First seen26 Sept 2026
Last seen4d ago
Capabilities
Matched from the publisher's description · automatic, low confidenceNo capability identified yet.
Facts & evidence
Each fact shows where it was seen and when.| Fact | Value | Evidence | Source | Last confirmed |
|---|---|---|---|---|
| Package registries | pypi | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Local install (package) | yes | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Remote access (hosted) | yes | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Website | https://forge.atomadic.tech | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Repository | https://github.com/atomadictech/atomadic-forge | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Registry status | active | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Version | 0.87.0 | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| MCP server | yes | DECLARED | SRC-001 Official MCP Registry | 4d ago |
Change history
Baseline
No change detected yet. History builds up as the robots revisit this server.