Claude MarketplacesSubmit
auctalis avatar

Logic Server

auctalis/nocturnusai

A logic engine that sends only changed facts between conversation turns instead of replaying full history. Extracts structured predicates from natural language, runs backward-chaining inference to find goal-reachable facts, and returns token-optimized deltas. Exposes `/context` for initial reduction, `/memory/context` for goal-driven queries, and `/context/diff` for incremental updates. Built on Hexastore indexing with truth maintenance, so retracting a fact auto-retracts downstream inferences. Works as an MCP server, REST API, or SDK. Useful when you're burning tokens on repeated tool outputs or state replays and need deterministic, reproducible compression without vector search or summarization drift.

GitHub stars
2
tool
1
auth
Secret needed
transport
STDIO
env vars
4
last updated
Apr 16, 2026
View on GitHub

Tools

1 tools

Public tool metadata for what this MCP can expose to an agent.

contextUse the `context` tool each turn for a salience-ranked working set.

Use the `context` tool each turn for a salience-ranked working set.

No parameter schema in public metadata yet.

Sponsors

Promote your product hereReach 125k+ visitors monthlyPromote your product hereReach 125k+ visitors monthlyAgent CaffeineSponsoredClose your lid, come back to finished workSnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthlyWaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthlyknobsSponsoredSee your site on any phone, any day, in any language

Configuration

NOCTURNUSAI_URL

Base URL of the NocturnusAI server

NOCTURNUSAI_API_KEYsecret

API key for authenticated access

NOCTURNUSAI_DATABASE

Database name to use

NOCTURNUSAI_TENANT

Tenant ID for multi-tenant isolation

Readme

NocturnusAI

CI PyPI npm Docker License: BUSL-1.1 MCP

The context engineering engine for AI agents: send only what changed.

View the full README on GitHub

Details

Repository
github.com/auctalis/nocturnusai
Category
AI & LLM Tools
Package
nocturnusai-mcp
Transport
STDIO
Auth
Required
Registry
MCP registry, active

Related AI & LLM Tools MCP servers

View all
1alfredoizdev avatarContextforge Mcpalfredoizdev/contextforge-mcpPersistent memory MCP server for Claude Code, Cursor, and GitHub Copilot.2stars
2edobusy avataragentholdedobusy/agentholdShared versioned state for multi-agent AI workflows2stars
3purmemo-ai avatarPurmemopurmemo-ai/purmemo-mcpAI memory across Claude, ChatGPT, Gemini, and Cursor. Save, search, and recall context everywhere.2stars
4justinstimatze avatarGemot Deliberation Serverjustinstimatze/gemotDeliberation primitive for multi-agent coordination: cruxes, vote clustering, consensus.2stars
5adelelo13 avatarNeurohiveadelelo13/neurohiveMulti-agent memory intelligence with expertise tracking and conflict detection1stars
6alexkirienko avatarSafebot Chatalexkirienko/safebot-chatEnd-to-end encrypted multi-agent chat rooms. Client-side crypto; zero chat logs.1stars