← All servers

Atomadic Forge

io.github.atomadictech/atomadic-forge

Stale
updated 3 months ago

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

Status

Stale

Heuristic on registry updatedAt: alive ≤ 90 days, stale ≤ 365, dead older. Not a security judgment.

Last verified

2026-05-11 (3 months ago)

From registry metadata (updatedAt / publishedAt).

Project activity

github.com/atomadictech/atomadic-forge

GitHub vitals (stars, last push, releases) are the next enrichment pass.

Project context

Official / community classification is not automated yet.

Source: https://github.com/atomadictech/atomadic-forge

Registry details

Registry nameio.github.atomadictech/atomadic-forge
Version0.87.0
Published2026-05-11
Updated2026-05-11
Registry statusactive
Repositoryhttps://github.com/atomadictech/atomadic-forge
Remote endpointhttps://forge.atomadic.tech/mcp
Transportsstreamable-http
Packages
pypi:atomadic-forge @ 0.87.0
Last checked2026-08-24 — from the registry snapshot this page was generated from

Source: official MCP registry. Status labels are freshness heuristics, not security judgments.

← Back to directory