Search

By pashov

5 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: PassMIT5 days ago
2

Generates an x-ray.md pre-audit report covering overview, enhanced threat model (protocol-type profiling, git-weighted attack surfaces, temporal risk analysis, composability dependency mapping)…

pashov/skills1.2k1 repo~10kAutomated safety check: PassMIT5 days ago
3

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: PassMIT5 days ago
4

Reconcile an existing Fizz harness with a changed source tree.

pashov/skills1.2k2 repos~3.9kAutomated safety check: PassMIT5 days ago
5

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

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