verify

17 registry entries were observed exposing a tool named verify — none of them flagged as a privileged capability.

Every row is point-in-time scan output, dated below. Forge has an observed tool surface for 8,470 of 26,658 scannable entries (32%) — an entry that has not been scanned cannot appear here, so absence from this list is not evidence that an entry does not expose this tool.

  1. axiom-mathverified
    trust 85/100 · AMCP serverobserved · static extraction
    Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
  2. HKUDS/nanobot
    trust 60/100 · BCollectionobserved · static extraction
    Lightweight, open-source AI agent for your tools, chats, and workflows.
  3. @payloadcms/plugin-mcp
    trust 60/100 · BMCP serverobserved · static extraction
    MCP (Model Context Protocol) capabilities with Payload
  4. @rubric-protocol/mcp-server
    trust 60/100 · BMCP serverobserved · static extraction
    Attested evidence tools for AI agents: sanctions screening, agent/wallet records, paid via x402.
  5. @usekaval/mcp
    trust 60/100 · BMCP serverobserved · static extraction
    Verify the facts an agent's action depends on before it acts — ALLOW, REVIEW, or BLOCK.
  6. apex-psi-mcp
    trust 60/100 · BMCP serverobserved · static extraction
    Cryptographic truth infrastructure for AI agents: seal, verify, anchor, cite, audit.
  7. com.drillable/gateway
    trust 60/100 · BMCP serverobserved · live tools/list
    A multi-domain reference corpus where every answer drills down to its cited, verified source.
  8. haplane
    trust 60/100 · BMCP serverobserved · static extraction
    鸿蒙 HAP 签名部署 MCP：面向鸿蒙应用开发者，真机调试一键签装，也走华为邀测/上架。中性工具+可订阅源，本地 stdio。
  9. io.github.0xsims/rubric-protocol
    trust 60/100 · BMCP serverobserved · static extraction
    AI compliance attestation for EU AI Act, SR 11-7, HIPAA. Free local tier, no key required.
  10. io.github.corbat-tech/coding-standards
    trust 60/100 · BMCP serverobserved · static extraction
    AI coding standards that enforce production-grade code with DDD, SOLID, TDD guardrails.
  11. io.github.gong8/knownissue
    trust 60/100 · BMCP serverobserved · static extraction
    Shared debugging memory for AI coding agents
  12. io.github.Jrigada/foundry-zksync
    trust 60/100 · BMCP serverobserved · static extraction
    Expose foundry-zksync (forge, cast, anvil-zksync) tools for zkSync Era development
  13. io.github.stabgan/steelmind
    trust 60/100 · BMCP serverobserved · static extraction
    Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.
  14. io.github.yhay81/public-data-catalog
    trust 60/100 · BMCP serverobserved · static extraction
    Reviewed public-data search and execution with provenance and verifiable integrity receipts.
  15. io.github.zekebuilds-lab/captcha-mcp
    trust 60/100 · BMCP serverobserved · static extraction
    Charge AI agents per-call without accounts. PoW solve = free tier, Lightning = paid tier.
  16. obsideo-mcp
    trust 60/100 · BMCP serverobserved · static extraction
    Encrypted S3-compatible storage with cryptographic possession proofs. 12 GB free, self-serve.
  17. paceproof-cli
    trust 60/100 · BMCP serverobserved · static extraction
    Verifies Ed25519-signed attestation records and builds audit reports via MCP tools.

All indexed toolsSearch the registry for verify