skills
Security skills for auditing Solidity smart contracts, built by Pashov Audit Group. Includes tools to convert English properties into fuzz test assertions and to reconcile a fuzz harness with a changed source tree.
2 skills1.3k
@pashovPlugins
1@pashovSkills
2fizz-convert
Convert English-language properties in PROPERTIES.md (produced by the Fizz skill) into Solidity assertions inside the existing…
@pashovfizz-sync
Reconcile an existing Fizz harness with a changed source tree. Detects added/removed/changed contract functions, quarantines…
@pashovAgents
10adversarial-profit-max…
Agent**Discovery approach**: Think like an attacker. What would maximize extracted value? What sequence breaks liveness? What edge…
@pashovconservation-auditor
Agent**Discovery approach**: For every aggregate/total variable, write a "sum of individual parts = tracked whole" property. This is…
@pashovglobal-property-implem…
Agent**Role**: Implement global properties into Properties.sol, wire ghost variables into Base.sol, and populate Snapshots.sol. These…
@pashovprotocol-analyzer
Agent**Role**: Perform manual protocol analysis when `x-ray` is unavailable, and produce a `protocol-understanding.md` file that…
@pashovprotocol-type-speciali…
Agent**Discovery approach**: Auto-detect the protocol type from PROTOCOL_CONTEXT, then apply battle-tested property templates specific…
@pashovreport-writer
Agent**Role**: Read the completed fuzzing suite outputs (coverage, corpus, campaign logs, properties, handlers) and produce the final…
@pashovroundtrip-rounding-ana…
Agent**Discovery approach**: For every paired operation and conversion function, verify that round-trips don't create value and…
@pashovspecific-property-impl…
Agent**Role**: Implement specific (per-handler) properties into Properties.sol and wire ghost updates + snapshot calls + property…
@pashovstate-transition-mappe…
Agent**Discovery approach**: Map the state machine, verify operation postconditions, check paired-operation symmetry, and ensure…
@pashovsynthesizer
Agent**Role**: Merge outputs from 5 specialized invariant discovery agents into a consolidated property plan that maps to the Fizz…
@pashovIs this you? Claim your profilePut a plugin at the top of Plugins, from $9