mason-keller
/

vulnforge-mcp

Model card Files Files and versions

vulnforge-mcp / src /smartcontract

27.6 kB

Ctrl+K

Ctrl+K

2 contributors

History: 1 commit

mason-keller

feat(web3): implement smart contract bytecode fuzzing and static SMT gate (v1.26.0)

0ce9f66 16 days ago

smart_contract_audit.ts

27.6 kB
feat(web3): implement smart contract bytecode fuzzing and static SMT gate (v1.26.0) 16 days ago