{"server":{"id":"auctalis-nocturnusai-d558539345c3","name":"Auctalis/nocturnusai","title":"Auctalis/nocturnusai","description":"Deterministic reasoning engine for agent context compression: extracts structured facts with logical inference, proof chains and truth maintenance.","category":"Other","transport":"Unknown","pricing":"Unknown","website":"https://github.com/Auctalis/nocturnusai","repository":"https://github.com/Auctalis/nocturnusai","version":"","manifest":"{\"name\":\"Auctalis/nocturnusai\",\"repository\":{\"url\":\"https://github.com/Auctalis/nocturnusai\"},\"remotes\":[],\"packages\":[]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"Auctalis/nocturnusai MCP server","seoDescription":"Deterministic reasoning engine for agent context compression: extracts structured facts with logical inference, proof chains and truth maintenance.","createdAt":"2026-11-04T07:18:56.958Z","updatedAt":"2026-11-04T07:58:36.806Z"}}