FeatureBilincZep
ArchitectureZ3 verification + AGM revision + ChromaDB + entity KGGraphiti graph memory + PostgreSQL + LLM entity extraction
LongMemEval R@598.0% (no LLM)71.2% (GPT-4o-assisted)
VerificationZ3 proof checking per commitNot supported
Belief revisionAGM belief revision engine (4 strategies)Not supported
Contradiction detectionDedicated contradiction probe engineNot supported
Snapshot & rollbackTimeline snapshots with verifiable rollbackNot supported
Graph approachEntity-relation KG with temporal edge typesGraphiti: entity + relationship graph with timestamps
Multi-agent coordinationCloud-based sync with conflict resolutionGraph-based session sharing
Audit trailFirst-class Cloud audit with programmatic replayApplication-level
LLM dependencyNone for retrieval or memory operationsLLM-based entity extraction for graphs
LicenseSource-available BUSL 1.1 (Apache 2.0 roadmap)Open-core
Pricing7-day Cloud trial, then paid hosted plansFree tier + paid enterprise tiers
GitHub stars~8,200~15,000 (Zep)