Havuz
Takip ettiğimiz konularda yükselen açık kaynak projeler — yıldız ivmesi, gerçek geliştirme aktivitesi ve AI değerlendirmesiyle.
Yalnız hareketli, son 28 günde commit almamış repoları gizler (yıldızı olan ama bırakılmış projeler). Commit sayısı henüz ölçülmemiş repolar da gizlenir.
EtiketTüm GitHub etiketleri — repo sahiplerinin koyduğu topic'lergöster
Etiketler yükleniyor…
- 51
Chinese template for designing Multica multi-agent + skill workflows around task type, budget, models, and verification gates.
0,1/gün ort. +0 son gün +0 son 7g — commit 05 May 2026 güncellendi 18 May 2026 - 52
Beginner-friendly Sol-led orchestration for Codex with pinned Luna and Terra workers and verified review.
0,2/gün ort. +0 son gün +0 son 7g — commit Python 02 Ağu 2026 güncellendi 23 Eyl 2026 - 53
Gatemole compiles human-owned intent into obligations, links evidence artifacts to those obligations, and produces deterministic release dec
0,1/gün ort. +0 son gün +0 son 7g — commit Go 06 May 2026 güncellendi 4 gün önce - 54
Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)
0,1/gün ort. +0 son gün +0 son 7g — commit Python 01 Haz 2026 güncellendi 14 Tem 2026 - 55
Proof-of-done for AI coding agents. Local evidence receipts for Codex, Claude Code, Cursor, and GitHub Actions.
0,1/gün ort. +0 son gün +0 son 7g — commit Python 21 Haz 2026 güncellendi 03 Tem 2026 - 56
For an organization to trust AI with its code, three things must hold — trust, traceability, and stability at scale. cladding wraps your AI
0,1/gün ort. +0 son gün +0 son 7g — commit TypeScript 18 May 2026 güncellendi 11 Eyl 2026 - 57
A small, vetted, self-evolving harness for Claude Code — curated, not dumped. Skills, safety guards, and a self-improvement loop.
0,1/gün ort. +0 son gün +0 son 7g — commit 28 Haz 2026 güncellendi 07 Eyl 2026 - 58
A self-correcting system of nested engineering loops: plan & execute repo work; safely implement audit findings; design greenfield & improve
0,1/gün ort. +0 son gün +0 son 7g — commit Python 19 May 2026 güncellendi bugün - 59
"make", but for correctness claims. Decides when a coding agent's work is actually done, and un-decides it when you edit the code.
0,3/gün ort. +0 son gün +0 son 7g — commit Python 09 Eyl 2026 güncellendi bugün - 60
A local verification receipt for AI coding agents
0,2/gün ort. +0 son gün +0 son 7g — commit Go 12 Ağu 2026 güncellendi 30 Ağu 2026 - 61
A small, file-first verification harness that turns an AI agent's "I'm done" claim into an auditable admission decision. 100% offline & zero
0,1/gün ort. +0 son gün +0 son 7g — commit Go 21 May 2026 güncellendi 13 Ağu 2026 - 62
Task control for AI coding agents: explicit scope, bounded verification, durable state, safe recovery. Codex · Claude Code · DeepSeek · ZCod
0,2/gün ort. +0 son gün +0 son 7g — commit Go 14 Ağu 2026 güncellendi bugün - 63
🛡️ An open-source trust verification CLI to validate and verify real-world claims with @openapi®.
0,1/gün ort. +0 son gün +0 son 7g — commit Shell 17 Haz 2026 güncellendi 17 Haz 2026 - 64
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked
10,4/gün ort. -2 son gün -0,1 son 7g — commit Python 08 Eki 2026 güncellendi 21 gün önce - 65
Agent workflow for deadline-bound execution with evidence gates
1,2/gün ort. +0 son gün -0,1 son 7g — commit 26 Ağu 2026 güncellendi 27 Ağu 2026 - 66
From ticket to reviewed pull request. Free and open-source, on your machine.
3,5/gün ort. -4 son gün -1 son 7g 21 commit 3 yazar Python 05 Ağu 2026 güncellendi 27 gün önce