FeatureBilincMem0
ArchitectureZ3 SMT verification + AGM belief revision + ChromaDBLLM-assisted embedding + graph building
LongMemEval R@598.0% (no LLM)93.4% (LLM-assisted)
VerificationZ3 proof checking per commitNo built-in verification
Belief revisionAGM belief revision engine (entrenchment, recency, verification, importance strategies)Not supported
Contradiction detectionDedicated contradiction probe over projected claimsNot supported
Snapshot & rollbackTimeline snapshots with verifiable rollbackNot supported
Knowledge graphEntity-relation KG with temporal edges (causes, contradicts, supports)Graph-based through related memories
Audit trailFirst-class Cloud audit with programmatic replayApplication-level audit only
LicenseSource-available BUSL 1.1 (Apache 2.0 on roadmap)MIT
Hosted access7-day Cloud trial, then paid hosted plansFree tier with paid Cloud
GitHub stars~8,200~21,000
Security incidentNone reportedApril 2026 API key leak