{"repo":"RichSchefren/atlas","free":true,"listed":false,"github":"https://github.com/RichSchefren/atlas","clone":"git clone https://github.com/RichSchefren/atlas.git","description":"Open-source local-first cognitive memory. AGM-compliant belief revision (49/49 postulates). When a fact changes, downstream beliefs are automatically re-evaluated, not just flagged.","language":"Python","stars":76,"topics":["agm","ai-agents","anthropic","apache-2","belief-revision","claude-code","cognitive-memory","fastapi","graphiti","knowledge-graph"],"license":"Apache-2.0","category":"ai-agents","readme_excerpt":"Atlas Open-source local-first cognitive memory — alpha. Implements AGM-compliant belief revision on a property graph. Adds a propagation engine — Ripple — that recomputes downstream beliefs when an upstream fact changes. Runs entirely on your laptop. ↑ 3× preview — watch the narrated 90-second version with sound. The story behind it is on X — reply with the stale belief that bit you. Alpha: the propagation loop works end-to-end ( ./demo.sh proves it in 12 seconds). Ingestion and entity resolution on truly unstructured text are still maturing — see atlas core/ingestion/ for the prompts we're iterating on. --- See it work in 12 seconds The ./demo.sh command runs the entire loop end-to-end, visibly: 1. Plants a tiny graph (3 nodes, 2 Depends On edges) 2. Changes a fact (Origins coffee price: $89 → $129) 3. Calls RippleEngine.propagate() — the real orchestrator 4. Shows reassessment proposals, contradictions, and routing decisions 5. Resolves one through adjudication.resolve() (real AGM revise) 6. Verifies the SHA-256 hash chain Every line is real Neo4j + real ledger. No mocks. 6s on subsequent runs. This is the front door — if it doesn't impress, nothing else will. What you should see The final stages of ./demo.sh should look like this — if they don't, file an issue: last verified sequence = 1 looks small because the demo plants exactly one promotion-eligible fact and verifies the chain holds with one entry — every later run extends the chain and the number grows. The point is t","default_branch":null,"files":null,"tree":[],"storefront":"/r/RichSchefren","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/RichSchefren/atlas/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}