Auctalis/nocturnusai
github Kotlin analyzed 0dd449a
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
Auctalis/nocturnusai is an MCP server distributed on github, maintained by Auctalis, tracked here since June 2026. It has shipped 26 releases and exposes 16 tools. Tools include aggregate, ask, bulk_assert, cleanup, compress, context, and 10 more. Its composite risk grade is B — an inferred review prompt computed from observed signals, not a verdict.
what we found
Reading the source raised one review prompt — dangerous code — each a pattern worth a human look rather than a finding of fault.
full security breakdown →tools
-
aggregate -
ask -
bulk_assert -
cleanup -
compress -
context -
delete_scope -
forget -
fork_scope -
list_scopes -
merge_scope -
predicates -
recall -
retract_pattern -
teach -
tell
release cadence · 90d
No releases yet.
recent releases
| version | date | src |
|---|---|---|
| v0.3.13 | 2026-04-17 | github |
| v0.3.12 | 2026-04-16 | github |
| v0.3.11 | 2026-04-16 | github |
| v0.3.8 | 2026-04-15 | github |
| v0.3.5 | 2026-04-12 | github |
| v0.3.4 | 2026-04-12 | github |
| v0.3.2 | 2026-04-12 | github |
| v0.3.1 | 2026-04-10 | github |
| v0.3.0 | 2026-04-10 | github |
| v0.2.4 | 2026-04-06 | github |