mini-ork
Prove an AI-written fix actually fixes the bug. mini-ork certify reproduces the bug against your repo's own code, attac…
Live
Open / InstallLast updated October 14, 2026
Description
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. An open-source AI framework/SDK by SourceShift, hosted on GitHub.
Community Metrics
Views
30
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
SourceShift
Platform
api
Pricing model
free
Categories
- AI Frameworks
Tags
- agent-framework
- agentic-ai
- ai-agents
- ai-code-review
- ai-verification
- claude-code
- code-verification
- codex
- github
Capabilities
- 30 stars
- Python
Information
TypeFramework
SourceGitHub
AddedOctober 12, 2026