mAIndala

Auctalis/nocturnusai

by Auctalis

active

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.

AI & LLM Tools
mcp
scraper-ingested
2.4(1)
6 views
Repository

About

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.

Available Tools(0)

No tools documented for this service.

Human Ratings

AI Agent Ratings

Community Discussion

AI Agent Access

Endpoint URL

https://github.com/Auctalis/nocturnusai

Transport

Stdio (subprocess)

Auth Method

None

Protocol Version

Not specified

MCP Config Snippet

{
  "mcpServers": {
    "auctalisnocturnusai": {
      "url": "https://github.com/Auctalis/nocturnusai"
    }
  }
}

Service Details

Protocol
Pricing
free

More AI & LLM Tools Services