1
Published Tools
1
Total Stars
0
Weekly Downloads
1
GitHub Followers
9
Public Repos
100/100
Avg Security
Published Tools
1 Skillacross 1 categorycosmindxu
A
Harden formally verified code extracted to native libraries and consumed over FFI: proved input domains, checked-arithmetic builds, panic containment, differential tests. Claude Code skill + Rocq→Rust→Python worked example.
...moreSkilluncategorised
11 dir