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.
Mini Ork is an MCP server published by SourceShift in the Agents category: 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.
The repository has 29 stars and 0 forks, with the last commit 16 days ago. Recent commit activity is the strongest signal that reported issues will get attention.
Install
From source
git clone https://github.com/SourceShift/mini-ork
This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.
Ask AI
✦
Ask AI about Mini Ork
Powered by Claude · Grounded in docs
I know everything about Mini Ork. Ask me about installation, configuration, usage, or troubleshooting.
Security checks
6 checks have not been run yet.
Releases
v0.9.0v0.9.0 — mini-ork certify · 1 Oct 2026Headline: **`mini-ork certify`** — judge whether a change really fixes the bug it claims to fix, by running code against the repository. Measured results, sample sizes and the misses are in…
v0.8.0v0.8.0 · 18 Sep 2026What's Changed feat(cn_client): planner graph pack — neighbours + path over the CN graph routes by @amirkhakshour in https://github.com/SourceShift/mini-ork/pull/203 feat(learning): project mini-ork learning entities into CN's graph by…
v0.7.0v0.7.0 · 30 Jul 2026What's Changed feat(dispatch): pre-dispatch lane-health gate — fail fast, no silent stall by @amirkhakshour in https://github.com/SourceShift/mini-ork/pull/45 feat(isolation): protect mini-ork from cross-repo corruption (cwd + ref guards)…
v0.6.0v0.6.0 · 30 Jun 2026What's Changed feat: live control plane — detached run-launch (U1) + HTTP steering (U2) + HITL checkpoint (U3) by @amirkhakshour in https://github.com/SourceShift/mini-ork/pull/34 fix(codex): pass codex stream via file path, not env/argv…
v0.5.0v0.5.0 · 28 Jun 2026mini-ork v0.5.0 — Fleet Routing + Side-Effect Credit + Coordination Plane Two new subsystems, built and hardened through an adversarial multi-model review (kimi/codex/opus) — see `docs/frc-critic-report.md`. Track A — per-code-region…
No package has been published for this server, so install it from source: clone the repository and follow its README.
Is Mini Ork safe to use with an AI agent?
Its trust score is 39 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.
Is Mini Ork still maintained?
Yes — the latest release is v0.9.0 (1 Oct 2026), and the last commit was 16 days ago. The repository has 29 stars.