Four products. Local installation. The reader you choose.
Ten deep dives on temporal validity, stale-fact errors, code evolution, and local context compression — grounded in our paper series and arXiv:2606.26511.
Explore the research portfolio →Featured
How Coder connects to VS Code, VS Code shims such as Cursor and Windsurf, JetBrains IDEs, and terminal agents including Claude Code, Codex CLI, Aider, and OpenCode via MCP, harness, or extension.
arXiv:2608.20685 validates deterministic supersession on 130 marker-free atomic transitions from 707 SWE-bench GitHub issues. MemStrata reaches 0.91 accuracy versus RAG 0.57-0.59, with stale-fact error near 0 versus 36-38%.
Same-stack LongMemEval-500 with a local 7B reader is a weak-baseline floor (naive RAG 0.252). Published Mem0 and Graphiti numbers use different harnesses and models. A sealed qwen3.8:27b n=500 run scored 0.626 versus 0.702 on a gpt-4o-mini stack.
MemStrata Coder routes focused project context into coding tools and measures each visible user turn. Research on temporal validity is labelled as research, not as a product median.
Apples-to-apples local 7B evaluation: MemStrata’s deterministic supersession hits 1.000 on MemArch supersession/poisoning/TEMPO axes where flat RAG and several agent-memory systems still serve stale values.
Oracle experiments on synthetic world-knowledge facts hit 1.000 accuracy / 0.000 stale. The mechanism is perfect; remaining error is extraction. Here is what Paper 5 proves and what remains.
You cannot supersede logic you cannot extract. Paper 4’s structural-staleness approach marks scope-level code changes and warns at retrieval — without faking understanding or breaking the deterministic moat.
Across 707 SWE-bench fixes, deterministic temporal memory natively covers ~19% of evolution. Contract extraction lifts to ~24%. The remaining ~76% is logic — and overclaiming extraction is a research risk.
On 130 marker-free scenarios extracted from SWE-bench Lite/Verified buggy→fixed histories, MemStrata temporal_v6 hits 0.908 accuracy vs ~0.57 RAG — with stale-fact-error 0.023 vs 0.262.
If your evolving-knowledge benchmark marks outdated chunks as “[OUTDATED]”, baselines win by reading the label. MemStrata’s marker-free protocol removes that contamination — and scores drop up to 14 points when markers are removed.
Calibration results show cosine similarity cannot separate contradicted facts from duplicated ones. Contradictions are more embedding-similar than rephrases. Here is the data and the design implication.
MemStrata maintains temporal validity with deterministic (subject, relation, object) supersession in a bi-temporal ledger. No similarity threshold. No LLM on the read path. ~2.1s retrieval latency.
When knowledge evolves, RAG retrieves both stale and current facts with near-identical embeddings. Learn why stale-fact errors are structural — not a tuning problem — and what temporal validity changes.
Install MemStrata locally and see token savings + temporal memory on your own codebase.
Download free