More compact Cow
Cargo subcommand that discharges verified-anchor proof obligations via Lean.
Formally verified (Lean 4) account-validation runtime for Solana — Anchor-compatible, proof-producing.
Proof-producing proc-macros for verified-anchor (#[derive(VerifiedAccounts)], #[derive(AccountData)], #[account]).
DROIDSAW — unified Android reverse engineering CLI. Hermes, DEX, APK signing. JSON output, MCP server. Bytecode is not a security layer.
A minimalistic error representation framework.
Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.
Convert annotated Lean 4 files to a static website
A local-first memory store for AI agents with CLI, MCP server, and web explorer interfaces.
Graph-aware testing, dependency unification, and crate extraction for Rust monorepos
OxiLean runtime - Memory management, closures, I/O, and task scheduling
A split-horizon DNS server and forwarding resolver with gRPC management