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…
- 1
Reverify, AI agent’larının reverse engineering ve kod doğrulama iddialarını deterministik araçlarla sınayan, CLI ve MCP server sunan bir Python aracıdır.
Neden yükseliyor · Repo yalnızca 28 günlük olmasına rağmen 1.245 yıldıza ve son 28 günde 83 commit’e ulaşmış; AI agent’ları için doğrulanabilir çıktı ihtiyacıyla MCP entegrasyonu dikkat çekmiş olabilir. Dört farklı yazarın katkısı aktiviteyi destekliyor, ancak yıldızlar tek başına benimseme veya kalite kanıtı değil.
20,1/gün ort. +1 son gün 0 commit 0 yazar Python 31 Ağu 2026 güncellendi 4 gün önce - 2
From ticket to reviewed pull request. Free and open-source, on your machine.
3,5/gün ort. -4 son gün 21 commit 3 yazar Python 05 Ağu 2026 güncellendi 27 gün önce - 3
Automated Proof-of-Carrying Change Management for AIOps 2026
0,9/gün ort. +0 son gün 139 commit 2 yazar HTML 28 Haz 2026 güncellendi bugün - 4
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they
0,4/gün ort. +0 son gün — commit Rust 15 May 2026 güncellendi 6 gün önce - 5
From any API surface to verified AI agent tools: Go CLI + MCP + skills + SQLite + policy + proofs.
0,3/gün ort. +0 son gün — commit Go 08 May 2026 güncellendi 06 Tem 2026 - 6
Verifiable AI coding agent harness / 可验证的 AI 编码代理：evidence hash-chain · hollow-answer gate · manual verification checklist · 6 engines + MCP
0,4/gün ort. +0 son gün — commit Python 03 Haz 2026 güncellendi dün - 7
Codex harness for consistent AI-assisted development workflows, including agent instructions, standard setup/check/test/eval scripts, CI,
0,3/gün ort. +0 son gün — commit Shell 18 May 2026 güncellendi 30 May 2026 - 8
Fable-style verification gate for Claude Code: don't say done until it's verified. Port of the Codex plugin by Agent Korea (플라잉따릉이).
0,3/gün ort. +0 son gün — commit Python 14 Haz 2026 güncellendi 18 gün önce - 9
Click does not replace Nx, Bazel, pytest, or Jest. It sits above existing verification tools and manages which verification evidence remains
0,6/gün ort. +0 son gün — commit Python 27 Ağu 2026 güncellendi 5 gün önce