lean-ctx: local AI Value Gate with withdrawn benchmark
yvgude/lean-ctx is an Apache-2.0 Rust binary that compresses reads, proxies requests, and tracks costs across 30+ AI coding agents — but its headline benchmark is withdrawn.
walgit: open-source Cursor Continuity design
walgit turns any S3 or GCS bucket into a stateless Git server — one Rust binary, MIT-licensed, an open implementation of Cursor's 'Continuity' design.
Ratel: BM25 tool catalog cuts AI agent context spend 87%
Ratel (ratel-ai/ratel, 186★, Apache-2.0 core + MIT SDKs) ships an in-process BM25 tool catalog. On BFCL v3: ~87% fewer tokens, tool selection within ±5 points.
Mistral opens Leanstral 1.5: 6B-active Apache-2.0 Lean 4 prover
Apache-2.0 Leanstral 1.5 (119B/6B MoE) saturates miniF2F, hits 587/672 PutnamBench, sets SOTA on FATE-H and FATE-X, and finds 5 unknown bugs in 57 Rust repos — at ~$4 per problem.
oh-my-pi: a terminal agent that treats the harness as the product
can1357/oh-my-pi: a Rust-based terminal AI coding agent (fork of Mario Zechner's pi-mono) with Hashline edits, an advisor model, 40+ providers, 18-hour release cadence.
Headroom: open-source token compression for AI agents
Headroom v0.27.0 is an Apache-2.0 context-compression layer for AI agents: library, proxy, agent wrapper, and MCP server. Published savings reach 92% on code search and SRE debugging.
Google Workspace CLI (gws): Rust CLI for Workspace APIs
googleworkspace/cli (gws) is a first-party Rust CLI for every Workspace API, built dynamically from the Google Discovery Service, with 95 skill directories and opt-in Model Armor sanitization.