Open-source local-first cognitive memory with AGM-compliant belief revision and automatic downstream reassessment (Ripple). Provides MCP tools for memory management, belief revision, contradiction detection, and adjudication workflows.
List pending adjudication entries (strategic + core_protected) by reading the Obsidian markdown queue directory.
Apply Rich's decision on a pending adjudication entry. Routes to AGM revise() for Accept/Adjust, no-op for Reject.
Tamper-detection audit run on the hash-chained ledger.
Traverse memory lineage and revision history.
Remove or suppress a memory entry.
Retrieve a single memory entry by identifier.
List all memory entries in the store.
| Scored | Grade | Overall | Spec posture | Rubric |
|---|---|---|---|---|
| 2026-09-23 | F | 15 | 2026-07-28+ | v2 |
Search Atlas's local SQLite memory store with deterministic lexical ranking.
Declare a support/dependency relationship between two memories.
Forget or suppress a memory, optionally with a specific proposition targeted.
Fetch one current Atlas memory, including cognitive confidence and lineage metadata.
Revise an existing memory with new content, confidence, and optional contradiction marking.
Search active Atlas cognitive memories and legacy local memories in this agent/session scope.
Create an auditable cognitive memory with confidence and immutable initial revision.
List pending candidates in the trust quarantine, optionally filtered by lane. Returns up to `limit` rows ordered by age.
Push a CandidateClaim into the trust quarantine. Returns UpsertResult — is_new / is_corroborated / is_auto_promoted / trust_score.
Preview the downstream Depends_On cascade for a revised kref. Returns ImpactNode list + cycles + nodes_visited. Read-only — does not mutate the graph.
Run type-aware contradiction detection over a list of reassessment proposals. Returns ContradictionPair list with category + severity + rationale per pair.
Produce reassessment proposals for downstream dependents after a confidence shift. Returns proposals (does NOT mutate graph — caller routes via adjudication.resolve).
Grant access to a memory or collection to another user/agent.
List active sharing grants for a memory or collection.
Revoke access to a memory or collection.
Assemble working memory context from available memory entries.