Browse MCP servers

MCP Harbor, an MCP Server Registry, Directory, and Tower to Buzz.

2 matching

filtered by io.github.atomadictech clear all

Showing 1–2 of 2 servers

Atomadic Forge
streamable-http

io.github.atomadictech/atomadic-forge

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

official
aaaa-nexus — Formally Verified AI Safety APIs
streamable-http

io.github.atomadictech/aaaa-nexus

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

official

Search this catalogue from your agent

The registry is itself an MCP server. Add it once and your agent runs these same searches, with no account and no key.

claude mcp add --transport http mcp-registry-search https://ai.mcpharbor.dev/mcp