Who is melvin-verifier for?

melvin-verifier is an open-source project built for developers.

What platforms does melvin-verifier run on?

melvin-verifier runs on the command line. It can also be self-hosted.

Is melvin-verifier still active?

The GitHub repository shows 83 commits in the last 90 days.

What projects are similar to melvin-verifier?

Similar projects tracked by PulseGate include Track Debug, ZenPress, and StarPulse.

Who develops melvin-verifier?

melvin-verifier is developed by Stephen Freund.

How long has melvin-verifier been around?

melvin-verifier first shipped in 2026.

Back to the index

melvin-verifier

Name: melvin-verifier
Author: Stephen Freund

PyPIInfrastructure

Melvin is a verifier for Mover Logic, a reduction-based rely-guarantee approach to reasoning about concurrent programs. It is built on top of the Boogie verification engine and performs static analysis to check correctness of concurrent code. The tool is available as a Python package on PyPI under the Apache-2.0 license.

Open SourceApache-2.0CLISelf-hosted

Visit PyPI

Overview

4 features

melvin-verifier is a Developer Tools project. Formally verifying concurrent programs that use reduction-based rely-guarantee reasoning. It is built as an open-source project for developers. melvin-verifier is open source under the Apache-2.0 license. melvin-verifier is available on the command line, and it can be self-hosted.

Stephen Freund builds and maintains melvin-verifier, and it first shipped in 2026. The project is developed in the open on GitHub with 83 commits in the last 90 days. Key capabilities include Static Analysis, Concurrency Verification, and Rely-Guarantee Reasoning.

Summary written by a language model from the project’s public pages.

Static Analysis
Concurrency Verification
Rely-Guarantee Reasoning
Boogie Integration

Built with & integrations

Framework

FastAPI

Runs on

CLISelf-hosted

Trust & compliance

License

Apache-2.0

Verified signals

HTTPSOpen Source GitHubActive maintenance

Indexing history

What PulseGate has recorded for this listing

Indexed25 Jul · 11:33 UTC
melvin-verifier verified against its public source
Source: PulseGate · Open

Frequently asked questions about melvin-verifier

What is melvin-verifier?: Formally verifying concurrent programs that use reduction-based rely-guarantee reasoning. It is catalogued under Developer Tools on PulseGate.
Who is melvin-verifier for?: melvin-verifier is an open-source project built for developers.
Is melvin-verifier free?: Yes — melvin-verifier is open source under the Apache-2.0 license and free to use.
What platforms does melvin-verifier run on?: melvin-verifier runs on the command line. It can also be self-hosted.
Is melvin-verifier still active?: The GitHub repository shows 83 commits in the last 90 days.
What projects are similar to melvin-verifier?: Similar projects tracked by PulseGate include Track Debug, ZenPress, and StarPulse.Track Debug ZenPress StarPulse
Who develops melvin-verifier?: melvin-verifier is developed by Stephen Freund.
How long has melvin-verifier been around?: melvin-verifier first shipped in 2026.

At a glance

Platforms: Cli
Languages: English
Open source: Yes (GitHub)
License: Apache-2.0
First seen: 25 Jul 2026
Built for: developers
Model: Open source
Solves: Formally verifying concurrent programs that use reduction-based rely-guarantee reasoning.

Registered as

GitHub: stephenfreund/Melvin
PyPI: melvin-verifier

Developer

Stephen Freund

Solo developer

GitHub

Open source

View on GitHub

Stars: 0
Forks: 0
Open issues: 0
Last commit: 25 Jul 2026
Commits 90d: 83
Contributors: 1
Authorship: Solo
Default branch: main
Latest release: v0.1.0 · 25 Jul 2026

Live coverage

Identity confidence: Low · 64
Indexed: 25 Jul 2026
Lifecycle: Alive
First seen: Jul 2026
Last seen: 25 Jul 2026

Identity audit (13)

Slug: melvin-verifier-pypi-org
Lifecycle state recorded: 25 Jul 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 25 Jul 2026
Timeline basis: Indexed-at chronology (no inferred launch/funding milestones).
Name from: Written by a language model from the project's public pages.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model from page content.
Last updated: 25 Jul 2026
Canonical URL: https://pypi.org/project/melvin-verifier

Ship this? Send a correction — no account, and you get a link to follow it.

Also in Developer Tools

Same category — not a similarity match