lookupd

io.github.atomadictech/atomadic-forge

up checked

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Atomadic Forge

Publisher-provided description

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

Summary by lookupd

Lets agents run compliance checks, drift detection, DeFi risk and audit scoring, agent reputation, and escrow operations with verifiable…

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http atomadic-forge https://forge.atomadic.tech/mcp

Claude Code, pypi package (stdio)

claude mcp add atomadic-forge -- uvx atomadic-forge

Codex, remote (streamable-http)

codex mcp add atomadic-forge --url https://forge.atomadic.tech/mcp

Codex, pypi package (stdio)

codex mcp add atomadic-forge -- uvx atomadic-forge

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "atomadic-forge": {
      "url": "https://forge.atomadic.tech/mcp"
    }
  }
}

Cursor, pypi package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "atomadic-forge": {
      "command": "uvx",
      "args": [
        "atomadic-forge"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (showing 30 of 68)

Publisher-provided text

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for io.github.atomadictech/atomadic-forge

[![lookupd status](https://lookupd.com/badge/io.github.atomadictech/atomadic-forge.svg)](https://lookupd.com/servers/io.github.atomadictech/atomadic-forge)