SoraSuegami/vibe-circuit-sha2-demo/lean-bisect
Bisect Lean toolchain versions to find where behavior changes. Use when trying to identify which Lean 4 commit caused a regression or behavior change.
Popularity
0
Stars
0
Forks
Mar 11, 2026
Updated
CodeThreat AppSec
Full SAST + SCA agentic security analysis for MCP servers and Skills.