AgentUni
Developer Tools Hosted remote

Atomadic Forge

by @atomadictech / v0.87.0

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

Install

Remote / streamable-http

https://forge.atomadic.tech/mcp

PyPI / stdio

uvx atomadic-forge

Client config (Claude Desktop, Cursor, Windsurf and most MCP clients)

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

Source: official MCP Registry record · registry name io.github.atomadictech/atomadic-forge · published 2026-05-11 · updated 2026-05-11. Not an endorsement; review the code before connecting it to anything sensitive.

Similar

More Developer Tools servers

Browse category

BuildPulse

Remote

@BuildPulseLLC / Developer Tools

BuildPulse CI test analytics for AI agents — flaky tests, CI failures, flakiness, and code coverage.

npm

LiveVariant

Remote

@livevariant / Developer Tools

Build, inspect and read adaptive A/B tests. Config travels in the URL; no account or API key needed.

npm

authshore

Remote

@jyswee / Developer Tools

Auth infrastructure for coding agents. User pools, secrets vault, token management. As easy as git.

npm

GitHits

Remote

com.githits / Developer Tools

Search public open-source code, documentation, metadata, vulnerabilities, changelogs, and examples.

npm

Marigold

Remote

@immuneeb / Developer Tools

Comment on AI-generated webpages; feedback flows back to your coding agent. Free, MIT, local-first.

npm

MockHero

Remote

@dinosaur24 / Developer Tools

Generate realistic relational test data — 156 field types, 22 locales, JSON/CSV/SQL, free previews.

npm