Automated Formal Verification Assistant
7.8
A developer tool that assists software engineers in applying formal verification techniques, automated by AI, reducing errors and improving software reliability, particularly important given commentary on transitioning Ethereum. It integrates with existing IDEs.
320h
mvp estimate
7.8
viability grade
17
views
technology stack
Rust
Python
Difficult
inspired by
Vitalik says Ethereum may undergo major changes