Toolbox
RPCs
Subgraphs
Load Balancer
Contributor
Providers
EAS
ToolboxRPCsSubgraphsLoad BalancerContributorProvidersEASOthers
Providers/Argot Collective
Refreshing provider data...
Argot Collective

Argot Collective

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

DashboardX

Services

SDKs (1)

View options

Tool Type

Library

Programming Language

JavaScript

Tag

["Solidity", "Compiler", "CLI"]

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
chain.love

chain.love

LinkedInXTelegramGitHub
DocumentationWhitepaper

©2024-2026 CHAIN.LOVE