pashov

pashov/skills

Instructions file

Claude Code instructions for pashov/skills, covering claude.md, what this repo is, structure and rules.

pashov/skills

Skill Claude CodeCodex

Generate Echidna/Medusa-compatible Solidity fuzz suites from Foundry or Hardhat projects. Trigger on "fizz", "generate fuzz suite", "build fuzz harness", "stateful fuzzing", "fuzzing harness", "property testing", and "invariant suite".

pashov/skills

Agent

Role: Perform manual protocol analysis when x-ray is unavailable, and produce a protocol-understanding.md file that downstream steps (4, 6, 7, 9) can read back as their protocol context.

pashov/skills

Agent

Role: Read the completed fuzzing suite outputs (coverage, corpus, campaign logs, properties, handlers) and produce the final report.md. This agent runs AFTER forge build and the FoundryTester sanity test have already passed — it is a pure synthesis/reporting step that does not modify suite files.

pashov/skills

Skill Claude CodeCodex

Convert English-language properties in PROPERTIES.md (produced by the Fizz skill) into Solidity assertions inside the existing fuzz harness, then flip their checkboxes. Trigger on "fizz-convert", "convert properties", "implement properties from PROPERTIES.md", "convert PROPERTIES.md to Solidity".

pashov/skills

Skill Claude CodeCodex

Reconcile an existing Fizz harness with a changed source tree. Detects added/removed/changed contract functions, quarantines stale properties, regenerates drifted handler stubs, and refreshes the snapshot. Trigger on "fizz-sync", "resync fuzzing", "sync fuzz harness", "refresh fuzzing properties", "fuzzing drift…

pashov/skills

Skill Claude CodeCodex

Security audit of Solidity code while you develop. Trigger on "audit", "check this contract", "review for security". Modes - default (full repo) or a specific filename.

pashov/skills

Skill Claude CodeCodex

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), invariants, integrations, docs quality, test analysis, and developer/git history. Triggers on 'x-ray', 'audit readiness'…