SourceShift/mini-ork

PythonApache-2.0active

Health

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.

Stars30

Forks9

Open Issues6

Contributors9

Last Push0d ago

Health Breakdown

Activity

Community

Maintenance

View on GitHub ↗Issues (6) ↗Pull Requests ↗Wiki ↗

Should you contribute to SourceShift/mini-ork?

SourceShift/mini-ork has a FoundDev health score of 79/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Python, so prior Python experience will shorten ramp-up.

Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.