Hyper — unofficial multi-provider community build of Grok Build: a Rust terminal AI coding agent ...

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

Lean 4 programming language and theorem prover

Lean 4 compiler profile: ordinary Lean defs to Solana sBPF and EVM Yul. Not a new contract language.

Native macOS AI E-Reader crafted in Swift 6, SwiftUI & WebKit with local ACP Agent integration

Lean 4 theorem proving skill and workflow pack for AI coding agents