Manticore | Smartcontracts Audit Checklist | |
---|---|---|
Stars | 3,535 | 638 |
Downloads | ||
Dependent Packages | 1 | |
Dependent Repos | 1 | |
Most Recent Commit | a year ago | a year ago |
Total Releases | 1,137 | |
Latest Release | December 09, 2023 | |
Open Issues | 264 | |
License | agpl-3.0 | mit |
Programming Language | Python |