Search

Security · Solidity · By pashov

3 skills found.
Search results
#SkillRepositoryStarsUsed inTokensAuto-checkLicenceUpdated
1

Generate Echidna/Medusa-compatible Solidity fuzz suites from Foundry or Hardhat projects.

pashov/skills1.2k2 repos~11kAutomated safety check: PassMIT6 days ago
2

Convert English-language properties in PROPERTIES.md (produced by the Fizz skill) into Solidity assertions inside the existing fuzz harness, then flip their checkboxes.

pashov/skills1.2k2 repos~3.7kAutomated safety check: PassMIT6 days ago
3

Security audit of Solidity code while you develop. An agent skill from pashov/skills.

pashov/skills1.2k—~9.9kAutomated safety check: PassMIT6 days ago