Search results for "lock"
Every meeting, every idea, every voice note — searchable by your AI. Open-source, privacy-first conversation memory layer.
All-in-one terminal workspace — local shells, SSH, SFTP, remote IDE, AI agent, and file manager in a single native binary. Built with Tauri 2 and pure Rust SSH (no OpenSSL). Smart reconnect, MCP, RAG,
LeanKG: Stop Burning Tokens. Start Coding Lean.
Fast, small, and fully autonomous AI personal assistant infrastructure, ANY OS, ANY PLATFORM — deploy anywhere, swap anything 🦀
The official Rust SDK for the Model Context Protocol
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
Rust framework for building Model Context Protocol servers with cancel-correct async, zero-copy serialization, and first-class tool/resource/prompt abstractions
TypeScript SDK for ClawNetwork — AI agent blockchain
Wrap concurrent code in Pony reference capabilities for data-race freedom
Extract state machines from code and model-check with TLA+/PlusCal