Home › Search: backward-chaining
Search: backward-chaining
Search MCP servers and agent skills by name, description, category or topic — 1 result.
MCP Server
Stale
Auctalis/nocturnusai
Deterministic reasoning engine for AI agent context compression. Extracts structured facts with logical inference, proof chains, and truth maintenance. REST API, Python/TypeScript SDKs, and MCP server integration.