Depo ayrıntısı

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.

Python Apache-2.0 01 Haziran 2026 son push 02 Kasım 2026 10 fork

agent-framework agentic-ai ai-agents ai-code-review ai-verification claude-code code-verification codex grpo llm llm-orchestration llmops mcp metamorphic-testing multi-agent recursive-self-improvement self-improving swe-bench

GitHub'da aç Site

Yıldız

32+4 · 59 gün

Commit · 28g

—

son 28 günde

Yazar · 28g

—

farklı katkıcı

Detaylı değerlendirme

Bu repo için detaylı değerlendirme henüz yapılmadı. Analiz, Ayarlar'daki uyum profilini hesaba katarak "bu işime yarar mı" sorusunu cevaplıyor. Bir kez çalışır; günlük koşular buna dokunmaz. Saatlik sınır var — bir kaynaktan en fazla 3 analiz.