Auctalis/nocturnusai MCP Server

Deterministic reasoning engine for AI agent context compression. Extracts structured facts with logical inference, proof