Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Install
One-Click Install
Add this to your `claude_desktop_config.json` file:
{
"mcpServers": {
"atomadic-forge": {
"command": "forge",
"args": [
"atomadic-forge"
]
}
}
}Runnable packages
pypiatomadic-forge
0.87.0stdioRemote endpoints
https://forge.atomadic.tech/mcpstreamable-httpWhat it can do
Tool inventory
No publishable tool enumeration has been recorded.
Community
Evidence
Recent observations
failed observationversion not recorded—