Auctalis/nocturnusai

Overview

Auctalis/nocturnusai provides verified knowledge for AI agents. It compresses context, extracts and stores facts, and lets users define rules and ask questions. Answers are deterministic with proof, not LLM guesses. Agents connect via MCP, Python SDK, or TypeScript.

Best for

Best for
Developers building AI agents that need verifiable, rule-based knowledge retrieval

Use cases

• Compressing context for AI agents to reduce token usage
• Extracting and storing facts from data for reliable retrieval
• Defining rules to get deterministic answers with proof

How to use

Install

pip install nocturnusai          # Python

Tools exposed

• Truth-preserving

Tested with

Claude Desktop, Cursor, Continue, ChatGPT

Notes

Auctalis/nocturnusai provides verified knowledge for AI agents. It compresses context, extracts and stores facts, and lets users define rules and ask questions. Answers are deterministic with proof, not LLM guesses. Agents connect via MCP, Python SDK, or TypeScript.

2 stars on GitHub. Last updated 2026-04-17.

Use cases

• Compressing context for AI agents to reduce token usage
• Extracting and storing facts from data for reliable retrieval
• Defining rules to get deterministic answers with proof

Pros

• Deterministic answers with proof, reducing reliance on LLM guesses
• Supports multiple integration methods (MCP, Python SDK, TypeScript)
• Compresses context to improve efficiency

Cons

• Low community adoption (2 stars on GitHub)
• Kotlin codebase may be unfamiliar to many developers
• Requires manual rule definition, limiting flexibility for open-ended queries

Indexed from awesome-mcp-servers-punkpeye and enriched against its public facts.