lean
GIFT Core: Certified mathematical identities from E8×E8 gauge theory on G2 manifolds. Verified in Lean 4
Tool for data extraction and interacting with Lean programmatically.
RaiSE Framework — Reliable AI-assisted Software Engineering. Lean methodology + deterministic toolkit for building production software with AI.
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
Tiny theorem prover with syntax like Lean 4
A comprehensive collection of mathematical tools and utilities designed to support Lean Six Sigma practitioners in their process improvement journey
