Skip to content
mcp/harbor
Verified official

Atomadic Forge MCP

v0.87.0

io.github.atomadictech/atomadic-forge

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

transport:streamable-http runtime:pypi
View source Website

Target client

run in your project directory 

claude mcp add --transport http atomadic-forge https://forge.atomadic.tech/mcp

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.