Krum

Community

@pashov · On the Blockchain

1,098Followers

48Public Repos

5Published Skills

I manage teams of hackers @PashovAuditGroup

Agent Skills by Krum

Showing 5 vetted skills indexed across 1 GitHub repositories.

Generates pre-audit security reports for Solidity codebases including threat models, entry points, and invariants.

Audit Solidity contracts for security vulnerabilities and suggest fixes.

Generate and run fuzz tests for Solidity smart contracts using Echidna and Medusa.

Convert English properties from PROPERTIES.md into Solidity assertions and update checkboxes.

Synchronize the Fizz harness with changed Solidity source trees.