nocturnusai
Verified knowledge for AI agents. Compress context, extract and store facts, define rules, and ask questions — get deterministic answers with proof, not LLM guesses. Connect agents via MCP, Python SDK, TypeSc
适用于AI代理的已验证知识。压缩上下文、提取和存储事实、定义规则、提问——获得带有证明的确定性答案，而非LLM猜测。通过MCP、Python SDK、TypeSc连接代理。
How to install
No unified install command; see the repository README.
Recommendation signals
Meta
- License
- NOASSERTION
- Language
- Kotlin
- GitHub stars
- 3
- mo. downloads
- –
- Last push
- 2026-08-14
- Created
- 2026-02-19
Links
Basic safety check
- Findings
- curated 收录但无 npm 包/安装命令
- Sources
- curated:punkpeye/awesome-mcp-servers
- Topics
- agentic-ai, agents, ai-agents, ai-memory, backward-chaining, context-engineering, cost-optimization, inference-engine, knowledge-graph, langchain, logic-programming, mcp, reasoning, truth-maintenance
Related plugins
hindsight
vectorize-io/hindsight/tree/main/hindsight-integrations/coding-agents
Hindsight, agent memory that learns: long-term project memory with auto recall and retain, knowledge pages, deep reflection, and per-repo memory banks.
firecrawl-mcp-server
firecrawl/firecrawl-mcp-server
🔥 Official Firecrawl MCP Server - Adds powerful web scraping and search to Cursor, Claude and any other LLM clients.
dsh-mnemon
omdsh-dev/dsh-mnemon
Cross-agent, local-first persistent memory plugin for DeepSeek Harness (DSH), powered by Mnemon. It shares long-term memory across Mnemon-enabled agents and adds runtime memory, searchable project documents, semantic recall, knowledge graph, and a Sidebar UI.
get-shit-done
gsd-build/get-shit-done
A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.