Tools

Browse everything AgentGraph has indexed (34,003 active tools).

• com.axiomatic-ai/proverMCP

  Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

  General capability
  Provider: Axiomatic-AIUpdated: 2/23/2026
• AxiomMCP

  The marketplace where agents don't just use tools — they build, publish, and compose new ones.

  General capability
  Provider: unknownUpdated: 8/7/2026
• com.axiomseal/axiomsealMCP

  Truth-validated, SHA-512-sealed AI memory for Claude & Cursor. Free tier, OAuth, 38 tools.

  General capability
  Provider: unknownUpdated: 6/25/2026
• AxioRank: Zero-Trust for AI AgentsMCP

  Zero-trust gateway for AI agents: score tool calls, verify agent cards, enforce policy, audit.

  General capability
  Provider: unknownUpdated: 7/30/2026
• com.azurecarbon/kodiakMCP

  Verifiable fact-checking: verdict, confidence, sources, and a tamper-evident certificate.

  General capability
  Provider: bildowUpdated: 7/24/2026
• B20 CheckMCP

  Verify B20 tokens on Base: issuer powers, imposter detection, signed EIP-712 verdicts.

  General capability
  Provider: unknownUpdated: 7/12/2026
• com.b2bware/mcp-serverMCP

  B2Bware MCP server — access products, orders and customers from Cursor, Claude, Windsurf and more.

  General capability
  Provider: unknownUpdated: 6/22/2026
• com.babyagecalculator/baby-ageMCP

  Free hosted MCP server by Baby Age Calculator: exact baby age, zodiac, and milestone dates. No key.

  General capability
  Provider: babyagecalculatorUpdated: 7/27/2026
• com.babyblueviper/invinoveritasMCP

  AI-agent verifier: verdict committed before the outcome graded against it; /review, /ledger.

  General capability
  Provider: babyblueviper1Updated: 8/6/2026
• Backtest360MCP

  MCP server exposing the Backtest360 engine API as tools for AI agents.

  General capability
  Provider: Backtest360Updated: 7/29/2026
• BalladicMCP

  Fluid cowork platform. Synthesizes work data across boundaries, with project tracking built in.

  General capability
  Provider: unknownUpdated: 4/1/2026
• Bankruptcy ObserverMCP

  US business bankruptcy MCP: filings, dockets, documents, case summaries. Free tier + subscription.

  General capability
  Provider: jmtrollerUpdated: 6/15/2026
• Earlywire — Marketing & Growth IntelligenceMCP

  Marketing, growth & SEO intel: 120+ practitioner sources, judged daily, with citable summaries.

  General capability
  Provider: unknownUpdated: 6/18/2026
• Barvinca MCPMCP

  Inspect ACC administration data and run bounded, approval-gated bulk user workflows.

  General capability
  Provider: dmytro-yemelianovUpdated: 8/2/2026
• agent-talkMCP

  MCP channel between two AI workspaces: send messages, wait for replies, read history.

  General capability
  Provider: unknownUpdated: 7/4/2026
• okrMCP

  Team OKRs from your AI workspace: objectives, key results, and weekly check-ins.

  General capability
  Provider: unknownUpdated: 7/4/2026
• pollsMCP

  One-link team polls: create polls, vote, fetch results, and close polls.

  General capability
  Provider: unknownUpdated: 7/4/2026
• BeauticsLabMCP

  Search Korean cosmetics from Olive Young, Daiso, Naver, Coupang, 11st with EWG ingredient analysis.

  General capability
  Provider: websfactoryUpdated: 5/17/2026
• BedrockNewsMCP

  GRIN-scored news for agents: discover by verdict, pull full analysis, traverse extraction graphs.

  General capability
  Provider: unknownUpdated: 7/30/2026
• BEFOREVIBEMCP

  PRD, logo, and AI UI mockups from any app idea — PRD free, logo 1 credit, screens 1 credit each.

  General capability
  Provider: unknownUpdated: 8/8/2026