A symbolic testing tool for EVM smart contracts

a vyper interpreter

Titanoboa-based vyper smart contract development framework

A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.

A Python package to clone a repo and automatically prepare it for audit report generation