Pinned Loading

1. LeanFlow LeanFlow Public

   Python

2. LeanProbe LeanProbe Public

   Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

   Python 3

3. stainless stainless Public

   Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

   Scala 401 58

4. lisa lisa Public

   Proof assistant based on first-order logic and set theory

   Scala 69 23

5. bolts bolts Public

   Bolts: Stainless Verified Scala Examples

   OCaml 29 13

6. inox inox Public

   Solver for higher-order functional programs, used by Stainless

   Scala 96 22