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

This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust

⚓ Solana Sealevel Framework

A tool for automatically generating system-level test cases

A tool for automatically generating system-level test cases. Currently targeting REST APIs.

RustyUnit - automated generator of test suites for Rust crates

JWT implementation in Crystal