SPECA

https://github.com/nyxfoundation/speca

SPECA is a specification-anchored security audit framework that derives explicit typed security...

Tokens:100,858
Snippets:791
Trust Score:6.6
License:MIT
Update:1 month ago
Tokens:
Raw