Free open-source tools for checking code before launch, for ATON first, then EVM chains

What it is made of

• Atheron Lens inside the code editors you already useBuilding
• Atheron Lens: a code analyser for Web3 contracts, starting with EVMBuilding
• A one-line setup to run Atheron Lens checks on every pull requestBuilt
• An Open source section on the Labs site and progress site, with a page for each toolShipped
• Automated testing that checks contract rules with millions of random transaction sequencesNext
• Checking that every version of Atheron handles the same data the same wayLater
• A checker that reviews how bridges and multisigs are set up, so users can see where setups fall shortLater
• A tool that proves a bad state can't be reached, or finds the input that reaches itLater
• A checker that flags common mistakes in zero-knowledge circuitsLater
• See what every function costs, line by line, including ATON feesLater
• One report that gathers findings from every tool, ready for auditsLater
• Ready-made checks to test tokens, vaults, staking, auctions and bridgesLater
• Safer upgrades: checks that nothing is lost or broken when Atheron updatesLater