verify

18 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 8 491 entrées analysables sur 26 663 (32 %) — 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. axiom-mathvérifié
    confiance 85/100 · AServeur MCPobservé le · extraction statique
    Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
  2. confiance 60/100 · BCollectionobservé le · extraction statique
    Lightweight, open-source AI agent for your tools, chats, and workflows.
  3. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Test your design on the real thing: load a built web app, turn its knobs, verify 1:1, export.
  4. confiance 60/100 · BServeur MCPobservé le · extraction statique
    MCP (Model Context Protocol) capabilities with Payload
  5. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Attested evidence tools for AI agents: sanctions screening, agent/wallet records, paid via x402.
  6. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Verify the facts an agent's action depends on before it acts — ALLOW, REVIEW, or BLOCK.
  7. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Cryptographic truth infrastructure for AI agents: seal, verify, anchor, cite, audit.
  8. confiance 60/100 · BServeur MCPobservé le · tools/list en direct
    A multi-domain reference corpus where every answer drills down to its cited, verified source.
  9. confiance 60/100 · BServeur MCPobservé le · extraction statique
    鸿蒙 HAP 签名部署 MCP:面向鸿蒙应用开发者,真机调试一键签装,也走华为邀测/上架。中性工具+可订阅源,本地 stdio。
  10. confiance 60/100 · BServeur MCPobservé le · extraction statique
    AI compliance attestation for EU AI Act, SR 11-7, HIPAA. Free local tier, no key required.
  11. confiance 60/100 · BServeur MCPobservé le · extraction statique
    AI coding standards that enforce production-grade code with DDD, SOLID, TDD guardrails.
  12. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Shared debugging memory for AI coding agents
  13. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Expose foundry-zksync (forge, cast, anvil-zksync) tools for zkSync Era development
  14. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.
  15. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Reviewed public-data search and execution with provenance and verifiable integrity receipts.
  16. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Charge AI agents per-call without accounts. PoW solve = free tier, Lightning = paid tier.
  17. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Encrypted S3-compatible storage with cryptographic possession proofs. 12 GB free, self-serve.
  18. confiance 60/100 · BServeur MCPobservé le · extraction statique
    Verifies Ed25519-signed attestation records and builds audit reports via MCP tools.

Tous les outils indexésRechercher verify dans le registre