Leanstral Formal Verification

On the Rokha Registry · clawhub · 0 Rokha runs · 714 downloads

Formal verification using Lean 4 + Leanstral (labs-leanstral-2603) model. Use when: you need mathematical proof of code correctness, protocol verification, a...

code

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.