01
What is temporal validity in AI agent memory?
It is knowing which facts are still true after knowledge evolves. MemStrata retires contradicted values with a deterministic supersession rule — no similarity threshold, no LLM on the read path.
MemStrata is the local context layer for AI coding tools. Median user: 42% fewer input tokens vs. RAG, $14 per month back in your pocket.
Free and open-source core. Money back if Pro savings don’t exceed your subscription.
Works with the tools you already use
Bento layout of the moat — hover any tile for a spotlight interaction.
Deterministic (subject, relation, object) supersession retires stale facts in a bi-temporal ledger — AUROC 0.59 proves cosine cannot tell contradiction from duplicate.
ExploreSQLite + DuckDB on-device. License check is a signed JWT only.
ExploreNo model on the read path. ~2.1s vs 16–18s for rerankers.
ExploreCompress context per turn. Watch dollars tick up on the local Money tab — money-back if Pro savings fall short.
ExploreMCP, harness, and extension paths — honest coverage matrix, no oversell.
ExploreFrom arXiv temporal validity through SWE-bench longitudinal, value-change ceilings, detect-and-flag logic bulk, and world-knowledge generalization.
ExploreSticky visual layer · glass panels · research-backed answers
01
It is knowing which facts are still true after knowledge evolves. MemStrata retires contradicted values with a deterministic supersession rule — no similarity threshold, no LLM on the read path.
02
When a fact changes, old and new embeddings sit next to each other (cosine AUROC ~0.59 for contradiction vs duplicate). RAG retrieves both and has no structural way to choose the current value.
03
Same-stack local 7B tests show MemStrata’s CERTAIN spine at 1.000 on supersession and TEMPO axes. We optimize for never confidently wrong on evolved knowledge — not just long-dialogue recall leaderboards.
04
Yes. Median users see ~42% fewer input tokens vs naive RAG, with live savings on a local dashboard. Pro includes a money-back guarantee if measured savings fall short.
Three steps. Under 60 seconds to first savings.
pipx install memstrata-pro memstrata init
~60 seconds, fully local
MemStrata builds a graph of your codebase and compresses context per AI request — automatically, in the background.
Live dashboard shows tokens and dollars saved per turn, with the four-metric breakdown.
All four numbers are on your local dashboard. No “up to X%” — only your actual telemetry.
Honest coverage matrix. Caveats included — we don’t oversell closed ecosystems.
| Tool | MCP | Harness | Extension |
|---|---|---|---|
| Cursor | — | ||
| Windsurf | — | ||
| VS Code | — | ||
| Claude Code | — | ||
| Cline | — | ||
| Continue.dev | |||
| JetBrains AI | — | — | |
| GitHub Copilot Chat | — | ||
| Aider | — | — | |
| Codex CLI | — | — | |
| Zed | — |
No tools match your search.
Money-back guarantee
Auto-credited if savings < subscription cost
At the end of every billing cycle, we add up your measured savings from the dashboard. If they’re less than your subscription cost, we credit the difference to your next invoice. No forms, no support tickets — it’s automatic and shows up on your receipt.
If you don’t use MemStrata for a month, you owe zero. We only profit when we actually save you money.
The license server checks your subscription via a signed token — nothing else.
Your machine — all local
AI tool
Claude Code, Cursor, VS Code…
MemStrata harness
localhost:8080
compresses context
Your LLM provider
Anthropic, OpenAI, Ollama…
index.db · telemetry.db — your code stays here
License server
memstrata.dev/lic
Free and open source forever. Paid tiers add the active harness and money-back guarantee.
The MIT-licensed open core. Yours forever.
+ tax
The active context harness + the V6 memory engine.
+ tax
Everything in Pro, plus V7 tool generation.
Use the free, open-source core forever — no account required. Full comparison →
Temporal validity, marker-free evaluation, and a five-paper program on agent memory under knowledge evolution.
Deterministic supersession that RAG cannot match by construction
RAG gives agents access to accumulated knowledge but has no model of time. When a fact changes, cosine similarity surfaces both stale and current values nearly equally (AUROC 0.59 for contradiction vs duplicate). MemStrata stores facts like RAG, then retires contradicted values with a deterministic (subject, relation, object) supersession rule in a bi-temporal ledger — no similarity threshold, no LLM on the read path. Across six local benchmarks with a 7B model, MemStrata ties RAG on static knowledge and reaches 0.95–1.00 accuracy on evolving knowledge where RAG reaches 0.20–0.47. Stale-fact-error drops from 15–40% (RAG, when forced to answer) to ~0%.
MemStrata is the local context layer for AI coding tools: median 42% fewer input tokens vs naive RAG, money-back on Pro, and research-backed temporal memory so cheaper context is still correct context.
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.
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.
Install in under a minute. Keep coding the way you already do. Watch the savings compound — with research-backed temporal memory underneath.