Rust Verification

Open-source Rust projects categorized as Verification
Edit details
Rust Formal Verification rust-lang Formal Methods deductive-reasoning
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 10 Rust Verification Projects

Rust logo
Verification

  1. kani

    Kani Rust Verifier

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  3. prusti-dev

    A static verifier for Rust, based on the Viper verification infrastructure.

  4. creusot

    Creusot helps you prove your Rust code is correct.

    Project mention: Creusot helps you prove your Rust code is correct | news.ycombinator.com | 2026-05-28

  5. ed25519-dalek

    ARCHIVED/MOVED: please visit the new location

  6. CreuSAT

    CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  7. anvil

    Anvil is an experimental framework to build practical, formally verified, cluster management controllers. (by anvil-verifier)

  8. pyrustify

    A Python package written in Rust for email verification without sending any emails.

  9. lincheck

    A linearizability checker for concurrent data structures (by SmnTin)

  10. phonton-cli

    Open-source Phonton CLI: a local-first agentic development terminal with context packs, source handles, and verification gates.

    Project mention: Building Phonton: a local-first AI coding CLI that verifies diffs before review | dev.to | 2026-05-02

  11. gemma-witness

    Offline multimodal evidence capture that emits a signed, locally verifiable .witness bundle. Tauri + Rust + Gemma 4 + Ed25519. Static HTML verifier runs with no server.

    Project mention: Gemma.Witness - Offline Multimodal Evidence Capture with Gemma 4 | dev.to | 2026-05-16
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Rust Verification discussion

Log in or Post with

Rust Verification related posts

Index

What are some of the best open-source Verification projects in Rust? This list will help you:

# Project Stars
1 kani 3,119
2 prusti-dev 1,776
3 creusot 1,759
4 ed25519-dalek 703
5 CreuSAT 685
6 anvil 178
7 pyrustify 17
8 lincheck 12
9 phonton-cli 0
10 gemma-witness 0

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com

Did you know that Rust is
the 3rd most popular programming language
based on number of references?

Loading...