Argot Collective

Non-profit independent research and development collective maintaining critical Ethereum programming languages and developer tooling, including Solidity, hevm, Fe, Sourcify, and Act.

Dashboard

Services

Security (1)

View options

Tag

["Smart Contract Security", "Symbolic Execution", "Formal Verification", "EVM"]

Description

Open-source EVM execution engine that symbolically checks Solidity assertions, returns counterexamples, and proves bytecode equivalence.

Plan Type

Free