verify

Se observó que 26 entradas del registro exponen una herramienta llamada verify — ninguna de ellas marcada como capacidad privilegiada.

Cada fila es la salida de un análisis puntual, con la fecha indicada abajo. Forge tiene una superficie de herramientas observada para 12.342 de 40.590 entradas analizables (30 %) — una entrada que no se ha analizado no puede aparecer aquí, así que no estar en esta lista no es prueba de que una entrada no exponga esta herramienta.

  1. @levnikolaevich/hex-line-mcpMCPcon attestationconfianza 85/100 · A
    v1.31.0
    ↓ 145/wk

    Hash-verified file editing MCP + token efficiency hook for AI coding agents. 9 tools: inspect_path, read, edit, write, grep, outline, verify, changes, bulk_replace.

    ClaudeCursorCopilotGemini
    Lev NikolaevichMIThace 4 mnpmGitHubobservado el · extracción estática
    mcphex-lineastoutlinefile-editcoding-agent
  2. axiom-mathMCPcon attestationconfianza 85/100 · A
    v1.0.5

    Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas

    ClaudeCursorCopilotGemini
    io.github.tufantuncUnknownhace 2 mnpmGitHubobservado el · extracción estática
    mcp
  3. @payloadcms/plugin-mcpMCPcomunidadconfianza 60/100 · B
    v3.84.1
    ★ 45k

    MCP (Model Context Protocol) capabilities with Payload

    ClaudeCursorCopilotGemini
    PayloadMIThace 5 mnpmGitHubobservado el · extracción estática
    pluginmcpmodel context protocol
  4. HKUDS/nanobotCOLLECTIONcomunidadconfianza 60/100 · B
    ★ 44k

    Lightweight, open-source AI agent for your tools, chats, and workflows.

    HKUDSMIThace 4 mGitHubobservado el · extracción estática
    aiai-agentai-agentsanthropicchatgptclaude
  5. lingshu-solverMCPcomunidaden líneaconfianza 60/100 · B
    v1.0.23
    ↓ 988/wk

    Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.

    ClaudeCursorCopilotChatGPTGemini
    io.github.genesis-planSEE LICENSE IN LICENSEhace 3 dnpmGitHubobservado el · extracción estática
    mcp
  6. obsideo-mcpMCPcomunidadconfianza 60/100 · B
    v0.7.5
    ↓ 409/wk

    Encrypted S3-compatible storage with possession proofs you can verify yourself. 12 GB free.

    ClaudeCursorCopilotGemini
    io.obsideoPolyForm-Shield-1.0.0hace 17 dnpmGitHubobservado el · extracción estática
    mcp
  7. @usekaval/mcpMCPcomunidadconfianza 60/100 · B
    v0.8.2
    ↓ 308/wk

    Verify the facts an agent's action depends on before it acts — ALLOW, REVIEW, or BLOCK.

    ClaudeCursorCopilotGemini
    io.github.usekavalApache-2.0hace 1 mnpmGitHubobservado el · extracción estática
    mcp
  8. uisandbox-mcpMCPcomunidadconfianza 60/100 · B
    v0.3.3
    ↓ 167/wk

    UISandbox as an MCP server: open the real sandbox in your browser with your built web app loaded, turn its own knobs, verify 1:1, export CSS/patch/tokens/Swift/Android. Play with your app's design, right in the browser: nothing is sent to a server, and cl

    ClaudeCursorCopilotGemini
    Alexander KaanMIThace 1 mnpmGitHubobservado el · extracción estática
    mcpmodel-context-protocoldesigndesign-tokensdesign-systemtheming
  9. ambit-cliMCPcomunidadconfianza 60/100 · B
    v0.6.0
    ↓ 88/wk
    ★ 2

    Capability graph of your agent stack: what it can do, what to set up next, what breaks.

    ClaudeCursorCopilotGemini
    io.github.zz-plantMIThace 7 dnpmGitHubobservado el · extracción estática
    mcp
  10. io.github.corbat-tech/coding-standardsMCPcomunidadconfianza 60/100 · B
    v1.0.3
    ★ 4

    AI coding standards that enforce production-grade code with DDD, SOLID, TDD guardrails.

    ClaudeCursorCopilotGemini
    io.github.corbat-techUnknownhace 8 mnpmGitHubobservado el · extracción estática
    mcp
  11. io.github.0xsims/rubric-protocolMCPcomunidadconfianza 60/100 · B
    v2.0.2
    ★ 1

    AI compliance attestation for EU AI Act, SR 11-7, HIPAA. Free local tier, no key required.

    ClaudeCursorCopilotGemini
    io.github.0xsimsUnknownhace 5 mnpmGitHubobservado el · extracción estática
    mcp
  12. io.github.gong8/knownissueMCPcomunidaden líneaconfianza 60/100 · B
    v1.0.0
    ★ 1

    Shared debugging memory for AI coding agents

    ClaudeCursorCopilotChatGPTGemini
    io.github.gong8Unknownhace 7 mGitHubobservado el · extracción estática
    mcp
  13. io.github.Jrigada/foundry-zksyncMCPcomunidadconfianza 60/100 · B
    v0.2.3
    ★ 1

    Expose foundry-zksync (forge, cast, anvil-zksync) tools for zkSync Era development

    ClaudeCursorCopilotGemini
    io.github.JrigadaUnknownhace 7 mnpmGitHubobservado el · extracción estática
    mcp
  14. io.github.stabgan/steelmindMCPcomunidadconfianza 60/100 · B
    v2.0.1
    ★ 1

    Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.

    ClaudeCursorCopilotGemini
    io.github.stabganUnknownhace 6 mnpmGitHubobservado el · extracción estática
    mcp
  15. io.github.zekebuilds-lab/captcha-mcpMCPcomunidadconfianza 60/100 · B
    v0.1.1
    ★ 1

    Charge AI agents per-call without accounts. PoW solve = free tier, Lightning = paid tier.

    ClaudeCursorCopilotGemini
    io.github.zekebuilds-labUnknownhace 5 mnpmGitHubobservado el · extracción estática
    mcp
  16. @rubric-protocol/mcp-serverMCPcomunidadconfianza 60/100 · B
    v2.2.2

    Attested evidence tools for AI agents: sanctions screening, agent/wallet records, paid via x402.

    ClaudeCursorCopilotGemini
    io.github.0xsimsUnknownhace 2 mnpmGitHubobservado el · extracción estática
    mcp
  17. ai.raccha/racchaMCPcomunidaden líneaconfianza 60/100 · B
    v1.0.0

    MCP-first toolbox for agents: KV storage, auth, queue, and utility tools. Free in early access.

    ClaudeCursorCopilotChatGPTGemini
    ai.racchaUnknownhace 1 mobservado el · tools/list en vivo
    mcp
  18. apex-psi-mcpMCPcomunidadconfianza 60/100 · B
    v1.0.1

    Cryptographic truth infrastructure for AI agents: seal, verify, anchor, cite, audit.

    ClaudeCursorCopilotGemini
    io.github.kawal393Unknownhace 2 mnpmGitHubobservado el · extracción estática
    mcp
  19. com.deepmapai/earth-groundingMCPcomunidaden líneaconfianza 60/100 · B
    v0.1.0

    Verifiable Earth ground truth for AI agents: water, hazard, ground stability, resource, with proof.

    ClaudeCursorCopilotChatGPTGemini
    com.deepmapaiUnknownhace 1 mobservado el · tools/list en vivo
    mcp
  20. com.drillable/gatewayMCPcomunidaden líneaconfianza 60/100 · B
    v0.3.0

    Pinned, versioned sources: search finds cited spans, query selects things, trace reaches the bytes.

    ClaudeCursorCopilotChatGPTGemini
    com.drillableUnknownhace 23 dobservado el · tools/list en vivo
    mcp
  21. com.kenoodl/synthesisMCPcomunidaden líneaconfianza 60/100 · B
    v2.0.0

    kenoodl surfaces the hidden pattern the model can't reach on its own. Call when reasoning loops.

    ClaudeCursorCopilotChatGPTGemini
    com.kenoodlUnknownhace 3 mobservado el · tools/list en vivo
    mcp
  22. com.kenoodl/verifyMCPcomunidaden líneaconfianza 60/100 · B
    v1.0.1

    Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call.

    ClaudeCursorCopilotChatGPTGemini
    com.kenoodlUnknownhace 27 dobservado el · tools/list en vivo
    mcp
  23. haplaneMCPcomunidadconfianza 60/100 · B
    v0.4.1

    鸿蒙 HAP 签名部署 MCP：面向鸿蒙应用开发者，真机调试一键签装，也走华为邀测/上架。中性工具+可订阅源，本地 stdio。

    ClaudeCursorCopilotGemini
    io.github.LeonTing1010MIThace 2 mnpmGitHubobservado el · extracción estática
    mcp
  24. io.github.yhay81/public-data-catalogMCPcomunidaden líneaconfianza 60/100 · B
    v0.4.0

    Reviewed public-data search and execution with provenance and verifiable integrity receipts.

    ClaudeCursorCopilotChatGPTGemini
    io.github.yhay81Unknownhace 2 mGitHubobservado el · extracción estática
    mcp
  25. paceproof-cliMCPcomunidadconfianza 60/100 · B
    v0.1.1

    Verifies Ed25519-signed attestation records and builds audit reports via MCP tools.

    ClaudeCursorCopilotGemini
    io.github.RudrenduPaulUnknownhace 2 mnpmGitHubobservado el · extracción estática
    mcp
  26. peerkith-mcpMCPcomunidadconfianza 40/100 · C
    v0.5.1
    ↓ 62/wk

    Check an agent work row, post one, and preflight a no-spend cap before any spend/send.

    ClaudeCursorCopilotGemini
    io.github.BGarofalo1MIThace 13 dnpmGitHubobservado el · extracción estática
    mcp

Todas las herramientas indexadasBuscar verify en el registro