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

last verified
23 days ago
in registry since
2026-05-11

github.com/atomadictech/atomadic-forge

More in dev-tools

browse all →
context7dev-tools

Context7

Verified · 9 days ago

Up-to-date code docs for any prompt

hand-reviewed61k starschecked 9 days ago

github-mcp-serverdev-tools

GitHub

Verified · 9 days ago

Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.

hand-reviewed32k starschecked 9 days ago

validatordev-tools

Oh My Posh Validator

Verified · 9 days ago

Validate oh-my-posh configurations and segment snippets against the official schema.

hand-reviewed23k starschecked 9 days ago

compiler-explorerdev-tools

Compiler Explorer

Verified · yesterday

Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links

hand-reviewed19k starschecked yesterday

registrydev-tools

MCP Registry Server

Verified · 13 days ago

Publish and discover MCP servers via the official MCP Registry. Powered by HAPI MCP server.

hand-reviewed7.1k starschecked 13 days ago