# Atomadic Forge MCP server

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

## Links
- Registry page: https://www.getdrio.com/mcp/io-github-atomadictech-atomadic-forge
- Repository: https://github.com/atomadictech/atomadic-forge
- Website: https://forge.atomadic.tech

## Install
- Command: `uvx atomadic-forge`
- Endpoint: https://forge.atomadic.tech/mcp
- Auth: Not captured

## Setup notes
- Package: Pypi atomadic-forge v0.87.0
- Remote endpoint: https://forge.atomadic.tech/mcp

## Tools
Not captured

## Resources
Not captured

## Prompts
Not captured

## Metadata
- Owner: io.github.atomadictech
- Version: 0.87.0
- Runtime: Pypi
- Transports: STDIO, HTTP
- License: Not captured
- Language: Not captured
- Stars: Not captured
- Updated: May 11, 2026
- Source: https://registry.modelcontextprotocol.io