ClaudeSuperPower
A

Atomadic Forge

MCP Server

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

What is Atomadic Forge?

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

Reviews

Log in to leave a review.

No reviews yet — be the first.

Explore related

Other things in this space — across every part of the ecosystem, not just mcp servers.