Search results for "cpp"
6 results found (Rust)
LeanKG: Stop Burning Tokens. Start Coding Lean.
The official Rust SDK for the Model Context Protocol
Semantic code searcher and codebase utility
Local AI anywhere, for everyone — LLM inference, chat UI, voice, agents, workflows, RAG, and image generation. No cloud, no subscriptions.
Interact with Polymarket markets and onchain contracts via a Rust CLI that supports browsing, trading, and managing positions from the terminal or scripts.
LSP server leveraging LLMs for code completion (and more?)