Rust Lean
Bridges Lean 4's Language Server Protocol to AI assistants with 26 tools for proof assistance, code intelligence, and search.
0Tools
1Findings
0Stars
Mar 22, 2026Last Scanned
Security Category Deep Dive
Select a category to explore sub-categories, findings, and compliance coverage.