Search

Security · aviggiano/security

2 skills found.
Product:
Search results
#SkillRepositoryStarsUsed inTokensAuto-checkLicenceUpdated
1

Build metric-driven Chimera/create-chimera-app stateful invariant testing campaigns for Solidity projects.

aviggiano/security144—~2.8kAutomated safety check: PassMIT25 days ago
2

Turn smart-contract audit findings and source evidence into a submission-ready Markdown report with an issue index, ordered finding IDs, actor-based scenarios, self-contained unit-test proofs of…

aviggiano/security144—~2.4kAutomated safety check: PassMIT25 days ago