How does Cortex-MCP prevent stale architectural facts from leaking into prompts?

Every TemporalFact carries valid_from, valid_until, and superseded_by pointers. Upserting a singular predicate automatically closes the prior active fact and ContextCompiler filters out superseded facts with 100% stale-fact suppression.

What contradiction classes does ContradictionAuditor catch?

It detects negation polarity conflicts, opposing antonym object pairs, predicate alias collisions after canonical normalization, and unsuperseded singular value drift.

v1.2.0 · Bi-Temporal Agent Memory

Persistent cross-session memory that expires stale facts automatically.

Cortex-MCP combines a local-first bi-temporal knowledge graph, Okapi BM25 + 2-hop spreading activation context compiler, semantic contradiction auditor, and TruthGate exporter over MCP.

Open Memory Studio Read Docs

How It Works

Three stages from session amnesia to verified prompts

Record & Supersede

Upsert structured facts with transaction + valid timestamps. Singular predicates supersede prior claims automatically.

Audit Contradictions

Detect negation polarity conflicts, antonym object pairs, predicate alias collisions, and concurrent drift.

Compile Token Budget

Rank active subgraphs with Okapi BM25, 2-hop spreading activation, SHA-256 Merkle proof, and TruthGate export.

Interactive Preview

Inspect live supersession & conflict scenarios

Choose scenario

Launch Full Studio Browse 7 MCP Tools

Measured Benchmark (500 Facts / 100 Episodes)

Deterministic local throughput without cloud vector DBs

100.0%

Stale-Fact Suppression

0.004 ms

Fact Upsert P50

5.750 ms

800-Tok Compile P50

1.756 ms

600 SHA-256 Verify

Frequently Asked Questions

Engineering design details

Why bi-temporal tracking instead of a flat vector store?

Vector similarity treats deprecated config (like JWT_HS256) and its replacement (PASETO_v4_public) as equally true neighbors. Bi-temporal bounds (valid_from, valid_until, superseded_by) exclude superseded facts while preserving historical time travel via memory_time_travel.

How does Cortex-MCP integrate with TruthGate and hosted MCP clients?

cortex-mcp export-sources emits verified GroundedSourceDocument payloads for citation verification, while api/index.py exposes Streamable HTTP at POST /mcp and local agents connect over stdio or HTTP/SSE.

How is tampering detected in local graph storage?

Every recorded episode and fact participates in a SHA-256 hash chain and deterministic Merkle root digest checked by memory_verify_integrity.