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.

Persistent cognitive graph memory for AI agents — facts, decisions, reasoning chains, corrections. 16 query types, sub-millisecond. Rust core + Python SDK + MCP server.

Agent identity, lifecycle management, and belief revision for AI agents

Implementation of an AI agent performing belief revision (using belief base entrenchment contraction and expansion)

Finite propositional belief sets with AGM revision/contraction, Spohn ranking states, iterated revision, epistemic entrenchment, and IC belief merging.

MnemeBrain Benchmark Suite (BMB): 48 tasks evaluating belief dynamics in AI memory systems — contradiction detection, revision, provenance, and temporal reasoning.

Pyton SDK for MnemeBrain — a belief memory system for AI agents. Supports MnemeBrain Lite and Full APIs.

DTU course 02180 Introduction to Artificial Intelligence, Spring 2024

Verifiable State Plane for Autonomous Agents — Python package: bilinc

Auditable finite PoC for preference reorganization under record absence on a fixed comparison frame, with disclosure updates, bounded-coupling certificates, and machine-readable manifests.

Self-reorganizing knowledge structures via truth pressure. Formalizes scientific paradigm shifts computationally — old knowledge is contextualized, not deleted. Three provable invariants. Validated on miasma→germ theory and classical→quantum physics.