← Back
SourceShift/mini-ork
Open-source AI ToolStatus: Published — critical fields verified, some fields unverified
SourceShift/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.
- 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.
Request operator identity verification
Risk
No known risk within the verified fields.
12
All fields
7
Verified
0
Verified empty
5
Unverified
Open-source AI Tool details
Repository
| Repository | https://github.com/SourceShift/mini-ork |
| Ecosystem | github |
| Package | SourceShift/mini-ork |
| Publisher | SourceShift |
| License | Apache-2.0 |
| Latest release | UNKNOWN |
| Status | ACTIVE |
| Homepage | https://miniork.dev |
| Documentation | UNKNOWN |
Runtime
| Platforms | UNKNOWN |
| Runtime requirements | UNKNOWN |
| Installation | UNKNOWN |
Critical Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Pricing | UNKNOWN | Not obtained | Not obtained | 0 |
| Availability | UNKNOWN | Not obtained | Not obtained | 0 |
| Language | UNKNOWN | Not obtained | Not obtained | 0 |
| Integration | UNKNOWN | Not obtained | Not obtained | 0 |
| Deployment | UNKNOWN | Not obtained | Not obtained | 0 |
| Commercial use | Verified | 2026-11-04 | Not obtained | 1 |
Functional Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Capability | UNKNOWN | Not obtained | Not obtained | 0 |
| Automation behavior | UNKNOWN | Not obtained | Not obtained | 0 |
| Input | UNKNOWN | Not obtained | Not obtained | 0 |
| Output | UNKNOWN | Not obtained | Not obtained | 0 |
Change history
- 2026-11-04 Published (some fields unverified)
Registered metadata
| archived | ACTIVE |
| canonical_repository | https://github.com/SourceShift/mini-ork |
| documentation_url | UNKNOWN |
| entity_kind | OPEN_SOURCE_AI_TOOL |
| homepage_url | https://miniork.dev |
| installation | None |
| latest_release | UNKNOWN |
| license | Apache-2.0 |
| package_ecosystem | github |
| package_identifier | SourceShift/mini-ork |
| platforms | None |
| publisher | SourceShift |
| runtime_requirements | None |
Field verification (12 fields)
| Field | Status | Confidence | Value | Last checked / observed | Evidence |
|---|---|---|---|---|---|
| archived | ✓ Verified | Not obtained | ACTIVE | 2026-11-04 | |
| canonical_repository | ✓ Verified | Not obtained | https://github.com/SourceShift/mini-ork | 2026-11-04 | |
| documentation_url | ? Unverified | Not obtained | UNKNOWN | 2026-11-04 | No evidence |
| homepage_url | ✓ Verified | Not obtained | https://miniork.dev | 2026-11-04 | |
| installation | ? Unverified | Not obtained | None | 2026-11-04 | No evidence |
| latest_release | ? Unverified | Not obtained | UNKNOWN | 2026-11-04 | No evidence |
| license | ✓ Verified | Not obtained | Apache-2.0 | 2026-11-04 | |
| package_ecosystem | ✓ Verified | Not obtained | github | 2026-11-04 | |
| package_identifier | ✓ Verified | Not obtained | SourceShift/mini-ork | 2026-11-04 | |
| platforms | ? Unverified | Not obtained | None | 2026-11-04 | No evidence |
| publisher | ✓ Verified | Not obtained | SourceShift | 2026-11-04 | |
| runtime_requirements | ? Unverified | Not obtained | None | 2026-11-04 | No evidence |