Last commit on July 9, 2026·Created on February 23, 2026
pashov/skills
“Automates the generation of fuzz suites and security audits for Solidity smart contracts.”
Combined rank
#265
across all skills
Stars
1.1k
7d change unavailable
Forks
207
Watchers
17
Traction scoreGitHub stars can be faked, so popularity alone can be misleading. Traction Score looks for broader signs of real attention, adoption, and active maintenance.
TL;DR
This collection provides a structured pipeline for verifying Solidity code. It enables developers to move from high-level property definitions in English to executable assertions and comprehensive fuzzing harnesses compatible with Echidna and Medusa.
Beyond property testing, the toolkit includes a security auditor that reviews contracts during development to identify vulnerabilities across specific files or entire repositories.
WHO IT'S FOR
Smart contract security auditors
perform automated security audits of Solidity code
Blockchain security engineers
generate Echidna or Medusa compatible fuzz suites
Solidity developers
convert English properties into Solidity assertions
Smart contract developers
synchronize fuzz harnesses with source code changes
Want to install it?
Manual CopyRepository instructions