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.
- axiom-mathvérifiéServeur MCPobservé le · extraction statiqueExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
- Collectionobservé le · extraction statiqueLightweight, open-source AI agent for your tools, chats, and workflows.
- Serveur MCPobservé le · extraction statiqueTest your design on the real thing: load a built web app, turn its knobs, verify 1:1, export.
- Serveur MCPobservé le · extraction statiqueMCP (Model Context Protocol) capabilities with Payload
- Serveur MCPobservé le · extraction statiqueAttested evidence tools for AI agents: sanctions screening, agent/wallet records, paid via x402.
- Serveur MCPobservé le · extraction statiqueVerify the facts an agent's action depends on before it acts — ALLOW, REVIEW, or BLOCK.
- Serveur MCPobservé le · extraction statiqueCryptographic truth infrastructure for AI agents: seal, verify, anchor, cite, audit.
- Serveur MCPobservé le · tools/list en directA multi-domain reference corpus where every answer drills down to its cited, verified source.
- Serveur MCPobservé le · extraction statique鸿蒙 HAP 签名部署 MCP:面向鸿蒙应用开发者,真机调试一键签装,也走华为邀测/上架。中性工具+可订阅源,本地 stdio。
- Serveur MCPobservé le · extraction statiqueAI compliance attestation for EU AI Act, SR 11-7, HIPAA. Free local tier, no key required.
- Serveur MCPobservé le · extraction statiqueAI coding standards that enforce production-grade code with DDD, SOLID, TDD guardrails.
- Serveur MCPobservé le · extraction statiqueShared debugging memory for AI coding agents
- Serveur MCPobservé le · extraction statiqueExpose foundry-zksync (forge, cast, anvil-zksync) tools for zkSync Era development
- Serveur MCPobservé le · extraction statiqueStructured thinking + steel-manning verification for AI agents. Backed by 43+ papers.
- Serveur MCPobservé le · extraction statiqueReviewed public-data search and execution with provenance and verifiable integrity receipts.
- Serveur MCPobservé le · extraction statiqueCharge AI agents per-call without accounts. PoW solve = free tier, Lightning = paid tier.
- Serveur MCPobservé le · extraction statiqueEncrypted S3-compatible storage with cryptographic possession proofs. 12 GB free, self-serve.
- Serveur MCPobservé le · extraction statiqueVerifies Ed25519-signed attestation records and builds audit reports via MCP tools.