semble: Semble is a high-performance code search library designed for AI agents, providing instant access to precise code snippets. It offers significantly faster indexing and querying compared to transformer models, achieving 99% of their retrieval quality while running entirely on CPU without external dependencies.; l4-ide: L4 is a domain-specific programming language for law that treats legal rules as executable specifications. It provides a comprehensive toolchain including a compiler, IDE extension, REPL, and decision service. L4 enables formal verification, automated testing, and web app generation from legal specifications.
Enhancing AI agents (e.g., Claude Code, Cursor, Codex) with fast and accurate code search capabilities
Government regulatory compliance