{"owner":"Certora","github":"https://github.com/Certora","claimed":false,"inventory":[],"indexed":[{"repo":"Certora/CertoraProver","github":"https://github.com/Certora/CertoraProver","description":"The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar","language":"Kotlin","stars":326,"topics":["blockchain","certora","certora-prover","ethereum","formal-verification","security-tools","smart-contracts","solana","stellar","web3"],"license":"GPL-3.0","category":"blockchain-web3"},{"repo":"Certora/SecurityReports","github":"https://github.com/Certora/SecurityReports","description":"Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.","language":null,"stars":33,"topics":["blockchain","certora","formal-verification","security-audits","smart-contracts","web3","certora-prover","solana","stellar","ethereum"],"license":null,"category":"blockchain-web3"},{"repo":"Certora/wala-solidity","github":"https://github.com/Certora/wala-solidity","description":"WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressions, and calls.","language":"Java","stars":20,"topics":["blockchain","certora","ethereum","solidity","static-analysis","rounding"],"license":"EPL-2.0","category":"blockchain-web3"}],"how_to_buy":"GET /r/Certora/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}