Rethlas-OSV

A desktop workflow combining Rethlas proof generation with OSVerify review.

• Developer / Organization: OSVerify and Rethlas teams; desktop integration by Shurui Liu
• Category: Open-source research & review agents
• Purpose: Make proof generation and review accessible through a desktop workflow.
• Key features: An integrated proof-generation and review workflow, also available as a beta desktop app.
• Availability: Open-source software; Apache-2.0
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://github.com/OSVerify/Rethlas-OSV (opens in a new tab)
• Version: GitHub release v1.1.1
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01