Le catalogue réel des outils pour IA

SWI-Prolog as a logic calculator for LLMs

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.

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

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

Multi-level reasoning MCP server with configurable depth levels

Evidence-gated verification, selection, and measurement MCP for coding agents.

Drug interactions (FDA), dose range check, allergy cross-reactivity. No PHI processed.

Shared reasoning across agents. / Wspólne rozumowanie agentów.

Causal reasoning for reliability: root cause, blast radius, and service health for agents.

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

AI colleagues that keep your standards, your project and their reasoning between sessions

MCP server for weather with reasoning — umbrella advice, outdoor checks, city comparisons.

What one compliance standard already evidences of another, with the reasoning and the rejections.

Identity and authorization in one system: allow, deny, the reason, and a record.

Search and reason over your Obsidian-style Markdown vault, right from ChatGPT.

Deterministic reasoning stack for AI agents: simulate, decide & compute, plus cross-domain tools.

Contemplative reasoning with Lotus Sutra wisdom framework and ext-apps visualization.