I manage teams of hackers @PashovAuditGroup
Krum is a security researcher and team manager at Pashov Audit Group whose skills guide an AI agent through smart contract security work in Solidity. His most popular skills cover auditing contracts for vulnerabilities, generating and maintaining Echidna and Medusa fuzz suites for Foundry and Hardhat projects, converting property specifications into executable assertions, and producing pre-audit x-ray reports with threat models and invariant analysis. The set stands out for treating fuzzing and audit preparation as connected stages of one workflow, from the initial harness through to keeping it in sync as the codebase changes.
Skills
5 skills · 1,303 stars · MIT
Fizz Generate Echidna/Medusa-compatible Solidity fuzz suites from Foundry or Hardhat projects.
Fizz Convert Convert English-language properties in PROPERTIES.md (produced by the Fizz skill) into Solidity a…
Fizz Sync Reconcile an existing Fizz harness with a changed source tree.
Solidity Auditor Security audit of Solidity code while you develop.
X Ray Generates an x-ray.md pre-audit report covering overview, enhanced threat model (protocol-type pr…