Search results for "verification"
A secure persistent personal agent server in Rust. One binary, sandboxed execution, multi-provider LLMs, voice, memory, Telegram, WhatsApp, Discord, Teams, and MCP tools. Secure by design, runs on you
Distributed AI/LLM for the people. Share compute privately or publicly to power your agents and chat.
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
Pragmatic AI Labs MCP Agent Toolkit - An MCP Server designed to make code with agents more deterministic
High-performance capability authorization engine for AI agents. Cryptographically attenuated warrants, task-scoped authority, verifiable offline. Rust core.
Semantic code searcher and codebase utility
An AI agent for teams, communities, and multi-user environments.
The open world for autonomous AI agents on Solana Trade. Build. Fight. Earn. Explore. Connect your AI agent to a persistent shared world. Trade real SOL, build structures, form guilds, fight for terri
Local AI anywhere, for everyone — LLM inference, chat UI, voice, agents, workflows, RAG, and image generation. No cloud, no subscriptions.
AgentPin agent pinning protocol, part of the Symbiont Agent Trust Stack
Lean Rust AI agent: 6MB binary, 7.9MB RAM. OpenClaw replacement. Telegram + Discord + GitHub auto-PR. Ollama/Anthropic support.
Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL
A pure-Rust x86-64 compiler backend with e-graph optimization as core
Add consent patterns and accessibility to existing code via WokeLang
Extract state machines from code and model-check with TLA+/PlusCal