MCP

Atomadic Forge

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

Diesen Eintrag beanspruchen

Verbinde dein GitHub-Konto, um zu belegen, dass du diesen Eintrag besitzt oder betreust. Wir prüfen den Repo-Zugriff automatisch — die meisten Publisher sind in Sekunden bestätigt.

1GitHub verbinden

2Anspruch einreichen

3Automatisch verifiziert oder innerhalb von 48 Std. geprüft