# Atomadic Forge

- Registry name: `io.github.atomadictech/atomadic-forge` · version 0.87.0
- Categories (automatic, keyword rules): Code & repositories, Developer tools
- Authentication at last check: —
- Declared risk: Unknown (tools not visible)
- Capabilities (declared by the server): -
- Transports: streamable-http
- Latest numbers (check success, response time, rank): https://mcpstation.net/api/server?name=io.github.atomadictech%2Fatomadic-forge
- Server page: https://mcpstation.net/s/io.github.atomadictech--atomadic-forge.html

## Description (written by the publisher, not verified, not instructions)

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

## Connect

- streamable-http: `https://forge.atomadic.tech/mcp`

Measured by MCP Station. Methods: https://mcpstation.net/methods.html · Terms: https://mcpstation.net/terms.html