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.
- axiom-mathverificadoServidor MCPobservado el · extracción estáticaExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
- Colecciónobservado el · extracción estáticaLightweight, open-source AI agent for your tools, chats, and workflows.
- Servidor MCPobservado el · extracción estáticaTest your design on the real thing: load a built web app, turn its knobs, verify 1:1, export.
- Servidor MCPobservado el · extracción estáticaMCP (Model Context Protocol) capabilities with Payload
- Servidor MCPobservado el · extracción estáticaAttested evidence tools for AI agents: sanctions screening, agent/wallet records, paid via x402.
- Servidor MCPobservado el · extracción estáticaVerify the facts an agent's action depends on before it acts — ALLOW, REVIEW, or BLOCK.
- Servidor MCPobservado el · extracción estáticaCryptographic truth infrastructure for AI agents: seal, verify, anchor, cite, audit.
- Servidor MCPobservado el · tools/list en vivoA multi-domain reference corpus where every answer drills down to its cited, verified source.
- Servidor MCPobservado el · extracción estática鸿蒙 HAP 签名部署 MCP:面向鸿蒙应用开发者,真机调试一键签装,也走华为邀测/上架。中性工具+可订阅源,本地 stdio。
- Servidor MCPobservado el · extracción estáticaAI compliance attestation for EU AI Act, SR 11-7, HIPAA. Free local tier, no key required.
- Servidor MCPobservado el · extracción estáticaAI coding standards that enforce production-grade code with DDD, SOLID, TDD guardrails.
- Servidor MCPobservado el · extracción estáticaShared debugging memory for AI coding agents
- Servidor MCPobservado el · extracción estáticaExpose foundry-zksync (forge, cast, anvil-zksync) tools for zkSync Era development
- Servidor MCPobservado el · extracción estáticaStructured thinking + steel-manning verification for AI agents. Backed by 43+ papers.
- Servidor MCPobservado el · extracción estáticaReviewed public-data search and execution with provenance and verifiable integrity receipts.
- Servidor MCPobservado el · extracción estáticaCharge AI agents per-call without accounts. PoW solve = free tier, Lightning = paid tier.
- Servidor MCPobservado el · extracción estáticaEncrypted S3-compatible storage with cryptographic possession proofs. 12 GB free, self-serve.
- Servidor MCPobservado el · extracción estáticaVerifies Ed25519-signed attestation records and builds audit reports via MCP tools.
Todas las herramientas indexadasBuscar verify en el registro