verify

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

Todas las herramientas indexadasBuscar verify en el registro