Le catalogue réel des outils pour IA

Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.

Grounded MENA legal search, reasoning, citation resolution, and citation-graph traversal.

Atom-grounded negotiation reasoning. Typed topology slot, inline citations, public dialect.

HTTP reason-phrase catalog size

AI Reasoning Cache & Consensus Layer with 11 MCP tools via Streamable HTTP.

Search, reuse, verify AI reasoning. Task marketplace with leaderboard. Zero-barrier, no auth.

Dated answers for Walmart suppliers, Sam's Club suppliers, Marketplace sellers, and agencies.

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

Experimental GDPR grounding: rules, preconditions, exceptions, exact quotes, and citation checks.

Free FAA private-pilot ground school: source-cited answers, lessons and practice questions.

Cited answers about Switzerland from official federal, cantonal and municipal sources.

SWI-Prolog as a logic calculator for LLMs

Keep AI answers fresh with free source previews, scheduled monitoring, evidence history, and alerts.

Strategic BDI reasoning engine for autonomous AI agents with spatial utility and replanning.

Grounded synthesis from public sources. 3 free calls total; then $0.10 brief or $0.25 deep via x402.

Ground truth for Jewish life: kosher checks, places, menus, providers, events, Shabbat times.

Reference data API for classification systems, real-time world data, and unit conversions

Multi-level reasoning MCP server with configurable depth levels

Accounts-payable exception environment with a pass/fail verifier and proof packet: AI agents work AP

Measured ground motion per US address (NASA InSAR). Self-register, $0.40/report, misses free.