Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Installieren
Installation mit einem Klick
Fügen Sie dies Ihrer Datei `claude_desktop_config.json` hinzu:
{
"mcpServers": {
"atomadic-forge": {
"command": "forge",
"args": [
"atomadic-forge"
]
}
}
}Ausführbare Pakete
pypiatomadic-forge
0.87.0stdioRemote-Endpunkte
https://forge.atomadic.tech/mcpstreamable-httpWas es kann
Tool-Inventar
Es wurde keine veröffentlichbare Tool-Aufzählung aufgezeichnet.
Community
Nachweis
Aktuelle Beobachtungen
fehlgeschlagene BeobachtungVersion nicht aufgezeichnet—