Search results for "temporal"
It is a simple, fast, and hard-durable embedded database designed specifically for AI agent memory. It provides a single-file-like experience (no server required) but with native support for vectors,
Local knowledge graph for AI agents. Hybrid search + MCP server for Obsidian vaults.
Scalable graph analytics database powered by a multithreaded, vectorized temporal engine, written in Rust
Memory that lasts and compounds. MentisDB gives agents durable memory so they do not just remember, they improve over time. It stores append-only thought chains plus a Git-like skills registry, lett
High-performance capability authorization engine for AI agents. Cryptographically attenuated warrants, task-scoped authority, verifiable offline. Rust core.
Cognitive memory for AI agents — learns from use, forgets what's irrelevant, strengthens what matters. Single binary, fully offline.
Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, modality overlays
Extract state machines from code and model-check with TLA+/PlusCal
Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL