Search results for "constraints"
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
The world’s fastest AI model gateway (450x less overhead than LiteLLM). Unified access to LLMs across endpoints (openAI, self-hosted, etc.) behind a single authentication layer - with API key generati
High-performance capability authorization engine for AI agents. Cryptographically attenuated warrants, task-scoped authority, verifiable offline. Rust core.
A secure, durable runtime to sandbox AI agent tasks. Run untrusted code in isolated WebAssembly environments.
Embedded database for agentic memory — relational, graph, and vector under unified MVCC transactions
AgentPin agent pinning protocol, part of the Symbiont Agent Trust Stack
Open-source autonomous AI assistant with 5-tier security, 62 tools, 14 LLM providers. Written in Rust. Single binary.
Add provably safe ethical constraints to AI agents via Phronesis
Extract state machines from code and model-check with TLA+/PlusCal