


BoyD (rtrd/acc)
7K posts

@0xDestinyae
i find bugs, i trade occasionally | alt : @boydestinyae






















Today we're finally dropping v1.0 of AutoCertora! 🚀 It's our open-source CLI tool that uses AI to autonomously draft @Certora formal verification suites for your Solidity projects. Just point it at your repo and it outputs the CVL specs and configs. What it does out of the box: • Built-in extensive CVL knowledge & best practices • Built-in protocol-specific invariant knowledge • AI code-analysis to discover codebase-specific custom invariants • Automatic AI-driven compile repair • Local certora validation before cloud submission ✅ It’s very much an early version, so expect a few bugs! We're putting it out there to get community feedback. Take it for a spin and drop an issue if something breaks! Try it out: pipx install autocertora Repo: github.com/NoemaXLabs/Aut…
