The real catalog of tools for AI agents

Offline read-only search over a checksum-verified, optionally signed memory pack, with exact quotes

Verifiable agent memory with signed ledger receipts — verify every write offline.

Local-first, formally verified memory for AI agents: consult/learn/related/list over MCP.

Stale-proof repository memory with citations + just-in-time verification + TTL (repo-scoped).

Audited memory over MCP: an append-only fact ledger plus verifiable invariants I1-I5.

Memory for AI agents that can't hallucinate — cited or abstains, provable forget, deterministic.

Verified memory for AI agents. Signed assertions, billing attestation, session continuity.

Coordination memory with verification: reconcile-against-GitHub, verdict freshness, provenance.

Shared, verifiable memory for machines and AI. Encode where data lives; decode with any AI.

Verified memory for coding agents: claims cited against code, stale withheld, savings receipts.

Verifiable Memory for AI Agents — knowledge graph, FTS, Starknet proofs, local or cloud

Exact polynomial checks, sparse expansion and verified rule memory. Local MCP tools, no model key.

Persistent shared memory for AI agents, with verified writes and a transcript tier.

Verifiable, portable AI memory. Optional vault: encrypted on your machine, 12 words only you hold.

Agent memory that refuses to guess: evidence-gated recall, exact-source reads, verifiable deletion.

Persistent agent memory with a decision layer: replay, restore, verify, or none — explainable.

Demo portable reputation and skills passport; in-memory profiles, nothing verified or stored.

Customer memory with recall, confirmation, forgetting, and pre-action evidence checks.

Persistent, verified memory for AI coding agents: recall, capture, guardrails, review queue.

A memory your AI can prove and the market of the present tense. SHA-256, verifiable offline.