io.github.atomadictech/atomadic-forgedev-tools

Atomadic Forge

Flagged

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

Our take

The listing is not auditably backed by the claimed source: `atomadictech/atomadic-forge` returns 404, while the PyPI package now describes itself as deprecated and points users to the Atomadic SDK/Lattice engine. The submitted MCP endpoint redirects to a retirement page, not an MCP server. An active registry listing still advertising 11 tools, 92 actions, and 872 Lean4 proofs against dead source and retired runtime is source/package misrepresentation, not just ordinary staleness.

reviewed by hand · 2026-07-06

Something wrong or dead here? Report it

Verification record

in registry since: 2026-05-11

github.com/atomadictech/atomadic-forge