rateme12Atomadic Forge
latest · 0.87.0Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
- Homepage
- forge.atomadic.tech
- MCP registry
- io.github.atomadictech/atomadic-forge
Install
claude mcp add io-github-atomadictech-atomadic-forge -- forge atomadic-forge mcp serve/mcp confirms it's connected.
Or add it manually in ~/.cursor/mcp.json:
{
"mcpServers": {
"io-github-atomadictech-atomadic-forge": {
"command": "forge",
"args": [
"atomadic-forge",
"mcp",
"serve"
]
}
}
}In claude_desktop_config.json (Settings → Developer → Edit Config), then restart:
{
"mcpServers": {
"io-github-atomadictech-atomadic-forge": {
"command": "forge",
"args": [
"atomadic-forge",
"mcp",
"serve"
]
}
}
}Config entry, any MCP client:
{
"command": "forge",
"args": [
"atomadic-forge",
"mcp",
"serve"
]
}Community score
Communitynot scored yet
Not scored yet (how it's scored).
Used it? Rate v0.87.0
No reviews yet — be the first.
What the web says
Ecosystem baselinenot yet swept
Objective public usage & activity (formula v3) — the community score's web-signals input, and its own sort.
GitHubsource ↗
Nothing collected from GitHub yet.
Packages
No package-registry data collected yet.
Listed on
Not yet found on other registries or list sites.
Mentions
No public discussion scraped yet.
Docs & livenesssource ↗
No liveness or verification signals yet.
Version history1
- 0.87.0release date unknown
Badge for your README
Shows this page's community score and its sample, kept current, and links readers here to review.
[](https://rateme12.com/servers/16c2e3c2-4e36-4828-b4c8-cda17cc18b77)