MCP server: One MCP server.

Atomadic Forge

@atomadictechMCP server · External

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

Freeno charge per call

One address for any MCP client. No sign-in needed on this server.

What it does

  1. Reads
  2. Writes
  3. High impact

At most: only reads or looks up information.

What it costs

Free

Odel charges nothing per call. The publisher may charge for its own service.

Tools

None listed · checked 8 Oct 2026

Odel could not list its tools without signing in.

Try it in the Inspector

No README yet. What Odel knows about this module is on the right.

Similar modules

Browse Scientific computing