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
TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.
1,1/gün ort. +0 son gün — commit JavaScript 01 Eki 2026 güncellendi 3 gün önce - 2
Builds up to a goal in a field you have no expertise in: splits it into the foundations that goal actually needs, mobilizes what you already
1/gün ort. +0 son gün — commit JavaScript 13 Ağu 2026 güncellendi 25 Ağu 2026 - 3
Click does not replace Nx, Bazel, pytest, or Jest. It sits above existing verification tools and manages which verification evidence remains
0,5/gün ort. +0 son gün 0 commit 0 yazar Python 27 Ağu 2026 güncellendi dün - 4
Overnight experiment: can an AI agent make money, and can you trust what it reports? The agent produces claims; a separate verifier it canno
0,3/gün ort. +0 son gün — commit Python 16 Tem 2026 güncellendi 27 Tem 2026 - 5
Give any AI agent a disposable email inbox in one tool call. MCP server for email verification, auth flows, and testing.
0,3/gün ort. +0 son gün — commit JavaScript 10 Nis 2026 güncellendi 10 Nis 2026 - 6
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 21 gün önce - 7
"Done" means nothing — a menhera-style completion gate for Claude Code that blocks empty completion claims until tests actually ran green an
0,2/gün ort. +0 son gün — commit JavaScript 04 Tem 2026 güncellendi 11 Tem 2026 - 8
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
0,1/gün ort. +0 son gün — commit Python 10 Haz 2026 güncellendi 12 gün önce - 9
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 — commit 28 Haz 2026 güncellendi 07 Eyl 2026