mini-ork
Prove an AI-written fix actually fixes the bug. mini-ork certify reproduces the bug against your repo's own code, attacks the patch with generated invariants in a Docker sandbox, and returns PROVEN / REFUTED / UNVERIFIED with a JSON certificate. Part of a verifier-gated, multi-model agent runtime.
Back to catalogSigned-out saves stay in this browser. Sign in to use account saves.
Loading catalog…카탈로그를 불러오는 중…
RECENT CHANGE
What changed
Loading recent changes…
Per-day rates divide a measured star count by the days it covers: the interval between two snapshots for Rising fastest, the age of the repository for New and fast. They are not fixed 24-hour changes, and stars show interest, not quality.