velvet
velvet is An auto-active program verifier in Lean. Contribute to verse-lab/velvet development by creating an account on GitHub.. It is ranked #3458 on the Dev Radar, in Testing & observability, first seen 28 days ago and shared in 1 post (4.5k views).
GitHub - verse-lab/velvet: An auto-active program verifier in Lean · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Repository navigation velvet Public Notifications You must be signed in to change notification settings Fork 12 ( 12 ) Star 129 ( 129 ) You must be signed in to star a repository About An auto-active program…
Alternatives to velvet
- Introducing Vercel CI — Vercel CI is in Beta. It runs only the checks your change affects, on compute sized to the push, using the Turborepo…
- Dagger — After five years of v0, Dagger 1.0 is in beta: official modules, test-native CI, remote execution and native GitHub…
- e2e — 300 stars left for 10k
- x18n — x18n reads the locale files of any project, finds where each key is used, and reports missing, unused and broken keys.…
- jam.dev — Google Tag Manager, Google Analytics, Amplitude, AppsFlyer, Segment, Plausible, Tinybird, Meta, TikTok, X, Reddit,…
- Signal65 PINNACLE — Gemini 4 Argon leads Signal65 PINNACLE ( ) at its default effort, and at Google's standard $4/$20 rate a correct task…
velvet in numbers
- Rank on the Dev Radar: #3458 of 8798
- Shared in 1 post by 1 account: @mizchi
- 4.5k views on those posts
- First seen 28 days ago, last shared 28 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Testing & observability
FAQ
What is velvet?
An auto-active program verifier in Lean. Contribute to verse-lab/velvet development by creating an account on GitHub. It was first shared on X 28 days ago and is ranked #3458 on the Dev Radar.
Is velvet free?
It is open source.
Who shared velvet?
1 account on X, including @mizchi, in 1 post totalling 4.5k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:27 UTC. Full method.