verify

26 entrées du registre ont été observées exposant un outil nommé verify — aucun d’entre eux signalé comme capacité privilégiée.

Chaque ligne est le résultat d’une analyse à un instant donné, datée ci-dessous. Forge dispose d’une surface d’outils observée pour 12 342 entrées analysables sur 40 590 (30 %) — une entrée qui n’a pas été analysée ne peut pas figurer ici, l’absence de cette liste n’est donc pas la preuve qu’une entrée n’expose pas cet outil.

  1. @levnikolaevich/hex-line-mcpMCPattestéconfiance 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 NikolaevichMITil y a 4 moisnpmGitHubobservé le · extraction statique
    mcphex-lineastoutlinefile-editcoding-agent
  2. axiom-mathMCPattestéconfiance 85/100 · A
    v1.0.5

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

    ClaudeCursorCopilotGemini
    io.github.tufantuncUnknownil y a 2 moisnpmGitHubobservé le · extraction statique
    mcp
  3. @payloadcms/plugin-mcpMCPcommunautéconfiance 60/100 · B
    v3.84.1
    ★ 45k

    MCP (Model Context Protocol) capabilities with Payload

    ClaudeCursorCopilotGemini
    PayloadMITil y a 5 moisnpmGitHubobservé le · extraction statique
    pluginmcpmodel context protocol
  4. HKUDS/nanobotCOLLECTIONcommunautéconfiance 60/100 · B
    ★ 44k

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

    HKUDSMITil y a 4 moisGitHubobservé le · extraction statique
    aiai-agentai-agentsanthropicchatgptclaude
  5. lingshu-solverMCPcommunautéen ligneconfiance 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 LICENSEil y a 3 jnpmGitHubobservé le · extraction statique
    mcp
  6. obsideo-mcpMCPcommunautéconfiance 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.0il y a 17 jnpmGitHubobservé le · extraction statique
    mcp
  7. @usekaval/mcpMCPcommunautéconfiance 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.0il y a 1 moisnpmGitHubobservé le · extraction statique
    mcp
  8. uisandbox-mcpMCPcommunautéconfiance 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 KaanMITil y a 1 moisnpmGitHubobservé le · extraction statique
    mcpmodel-context-protocoldesigndesign-tokensdesign-systemtheming
  9. ambit-cliMCPcommunautéconfiance 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-plantMITil y a 7 jnpmGitHubobservé le · extraction statique
    mcp
  10. io.github.corbat-tech/coding-standardsMCPcommunautéconfiance 60/100 · B
    v1.0.3
    ★ 4

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

    ClaudeCursorCopilotGemini
    io.github.corbat-techUnknownil y a 8 moisnpmGitHubobservé le · extraction statique
    mcp
  11. io.github.0xsims/rubric-protocolMCPcommunautéconfiance 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.0xsimsUnknownil y a 5 moisnpmGitHubobservé le · extraction statique
    mcp
  12. io.github.gong8/knownissueMCPcommunautéen ligneconfiance 60/100 · B
    v1.0.0
    ★ 1

    Shared debugging memory for AI coding agents

    ClaudeCursorCopilotChatGPTGemini
    io.github.gong8Unknownil y a 7 moisGitHubobservé le · extraction statique
    mcp
  13. io.github.Jrigada/foundry-zksyncMCPcommunautéconfiance 60/100 · B
    v0.2.3
    ★ 1

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

    ClaudeCursorCopilotGemini
    io.github.JrigadaUnknownil y a 7 moisnpmGitHubobservé le · extraction statique
    mcp
  14. io.github.stabgan/steelmindMCPcommunautéconfiance 60/100 · B
    v2.0.1
    ★ 1

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

    ClaudeCursorCopilotGemini
    io.github.stabganUnknownil y a 6 moisnpmGitHubobservé le · extraction statique
    mcp
  15. io.github.zekebuilds-lab/captcha-mcpMCPcommunautéconfiance 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-labUnknownil y a 5 moisnpmGitHubobservé le · extraction statique
    mcp
  16. @rubric-protocol/mcp-serverMCPcommunautéconfiance 60/100 · B
    v2.2.2

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

    ClaudeCursorCopilotGemini
    io.github.0xsimsUnknownil y a 2 moisnpmGitHubobservé le · extraction statique
    mcp
  17. ai.raccha/racchaMCPcommunautéen ligneconfiance 60/100 · B
    v1.0.0

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

    ClaudeCursorCopilotChatGPTGemini
    ai.racchaUnknownil y a 1 moisobservé le · tools/list en direct
    mcp
  18. apex-psi-mcpMCPcommunautéconfiance 60/100 · B
    v1.0.1

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

    ClaudeCursorCopilotGemini
    io.github.kawal393Unknownil y a 2 moisnpmGitHubobservé le · extraction statique
    mcp
  19. com.deepmapai/earth-groundingMCPcommunautéen ligneconfiance 60/100 · B
    v0.1.0

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

    ClaudeCursorCopilotChatGPTGemini
    com.deepmapaiUnknownil y a 1 moisobservé le · tools/list en direct
    mcp
  20. com.drillable/gatewayMCPcommunautéen ligneconfiance 60/100 · B
    v0.3.0

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

    ClaudeCursorCopilotChatGPTGemini
    com.drillableUnknownil y a 23 jobservé le · tools/list en direct
    mcp
  21. com.kenoodl/synthesisMCPcommunautéen ligneconfiance 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.kenoodlUnknownil y a 3 moisobservé le · tools/list en direct
    mcp
  22. com.kenoodl/verifyMCPcommunautéen ligneconfiance 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.kenoodlUnknownil y a 27 jobservé le · tools/list en direct
    mcp
  23. haplaneMCPcommunautéconfiance 60/100 · B
    v0.4.1

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

    ClaudeCursorCopilotGemini
    io.github.LeonTing1010MITil y a 2 moisnpmGitHubobservé le · extraction statique
    mcp
  24. io.github.yhay81/public-data-catalogMCPcommunautéen ligneconfiance 60/100 · B
    v0.4.0

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

    ClaudeCursorCopilotChatGPTGemini
    io.github.yhay81Unknownil y a 2 moisGitHubobservé le · extraction statique
    mcp
  25. paceproof-cliMCPcommunautéconfiance 60/100 · B
    v0.1.1

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

    ClaudeCursorCopilotGemini
    io.github.RudrenduPaulUnknownil y a 2 moisnpmGitHubobservé le · extraction statique
    mcp
  26. peerkith-mcpMCPcommunautéconfiance 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.BGarofalo1MITil y a 13 jnpmGitHubobservé le · extraction statique
    mcp

Tous les outils indexésRechercher verify dans le registre