ERCx

What is ERCx

ERCx applies formal methods to improve the safety, reliability, and correctness of computing systems.

What is ERCx?

ERCx is an essential platform for the Ethereum ecosystem, offering insights into ERC token standards like ERC-20, ERC-721, and ERC-1155. These standards guide smart contract creation for interoperability. While adherence is voluntary, ERCx provides a space for investors, developers, and auditors to access independent, reliable information on token standards and their compliance.

ERCx Alternatives:

ETH Lift
ETH Lift

A CLI toolkit that supports Foundry and Brownie projects.

Eth Tester
Eth Tester

A Python-built tool suite for testing Ethereum smart contracts.

anvil
anvil

anvil is a local Ethereum node, designed for development with Forge, akin to Ganache.

Harbor
Harbor

Harbor is building production-ready staging environments and infrastructure for Web3 startups.

Robot Framework Solidity Testing Toolkit
Robot Framework Solidity Testing Toolkit

Robot Framework Solidity Testing Toolkit combines smart contract testing and deployment libraries.

Solc Verify
Solc Verify

This is solc-verify, an auto-verifier compiler for Solidity.