← 戻る
SourceShift/mini-ork
オープンソースAIツール状態: 公開中 — 重要項目まで検証済み・一部項目は未確認
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.
リスク
確認済みの範囲で既知のリスクはありません。
12
全項目
7
検証済み
0
空値 (検証)
5
未検証
オープンソースAIツールの詳細
リポジトリ
| リポジトリ | https://github.com/SourceShift/mini-ork |
| エコシステム | github |
| パッケージ | SourceShift/mini-ork |
| 公開者 | SourceShift |
| ライセンス | Apache-2.0 |
| 最新リリース | UNKNOWN |
| 状態 | ACTIVE |
| ホームページ | https://miniork.dev |
| ドキュメント | UNKNOWN |
実行環境
| 対応プラットフォーム | UNKNOWN |
| 実行要件 | UNKNOWN |
| 導入方法 | UNKNOWN |
重要項目の根拠
| 項目 | 状態 | 最終確認・観測 / 鮮度 | 確信度 | 根拠 |
|---|---|---|---|---|
| 料金 | UNKNOWN | 未取得 | 未取得 | 0 |
| 提供状況 | UNKNOWN | 未取得 | 未取得 | 0 |
| 対応言語 | UNKNOWN | 未取得 | 未取得 | 0 |
| 連携 | UNKNOWN | 未取得 | 未取得 | 0 |
| 導入形態 | UNKNOWN | 未取得 | 未取得 | 0 |
| 商用利用 | 検証済み | 2026-11-04 | 未取得 | 1 |
機能項目の根拠
| 項目 | 状態 | 最終確認・観測 / 鮮度 | 確信度 | 根拠 |
|---|---|---|---|---|
| 機能 | UNKNOWN | 未取得 | 未取得 | 0 |
| 自動化の動作 | UNKNOWN | 未取得 | 未取得 | 0 |
| 入力 | UNKNOWN | 未取得 | 未取得 | 0 |
| 出力 | UNKNOWN | 未取得 | 未取得 | 0 |
変更履歴
- 2026-11-04 公開（一部は未確認）
登録メタデータ
| 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 | なし |
| latest_release | UNKNOWN |
| license | Apache-2.0 |
| package_ecosystem | github |
| package_identifier | SourceShift/mini-ork |
| platforms | なし |
| publisher | SourceShift |
| runtime_requirements | なし |
項目ごとの確認状況（全 12 項目）
| 項目 | 状態 | 確信度 | 値 | 最終確認・観測 | 根拠 |
|---|---|---|---|---|---|
| archived | ✓ 検証済み | 未取得 | ACTIVE | 2026-11-04 | |
| canonical_repository | ✓ 検証済み | 未取得 | https://github.com/SourceShift/mini-ork | 2026-11-04 | |
| documentation_url | ? 未検証 | 未取得 | UNKNOWN | 2026-11-04 | 根拠なし |
| homepage_url | ✓ 検証済み | 未取得 | https://miniork.dev | 2026-11-04 | |
| installation | ? 未検証 | 未取得 | なし | 2026-11-04 | 根拠なし |
| latest_release | ? 未検証 | 未取得 | UNKNOWN | 2026-11-04 | 根拠なし |
| license | ✓ 検証済み | 未取得 | Apache-2.0 | 2026-11-04 | |
| package_ecosystem | ✓ 検証済み | 未取得 | github | 2026-11-04 | |
| package_identifier | ✓ 検証済み | 未取得 | SourceShift/mini-ork | 2026-11-04 | |
| platforms | ? 未検証 | 未取得 | なし | 2026-11-04 | 根拠なし |
| publisher | ✓ 検証済み | 未取得 | SourceShift | 2026-11-04 | |
| runtime_requirements | ? 未検証 | 未取得 | なし | 2026-11-04 | 根拠なし |