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.
21/gün ort. +0 son gün 0 commit 0 yazar Python 31 Ağu 2026 güncellendi 2 gün önce - 2
Autonomous development for real products. Governed agents build from specs you approve, follow the rules you set, and nothing merges until a
18,6/gün ort. +8 son gün 7.330 commit 1 yazar JavaScript 07 Eki 2026 güncellendi 5 gün önce - 3
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked
11,8/gün ort. +0 son gün 56 commit 3 yazar Python 08 Eki 2026 güncellendi 19 gün önce - 4
Open memory & reliability layer for AI agents + independent judging/verification (NACRE judge, caliber-bench meta-benchmark, preregistered c
6,6/gün ort. +0 son gün 952 commit 1 yazar Python 27 Nis 2026 güncellendi 2 gün önce - 5
Give AI agents eyes, ears, and verifiable results. Watch Skill turns video, audio and screen activity into searchable, timestamped evidence
4,5/gün ort. -1 son gün 0 commit 0 yazar Python 05 Tem 2026 güncellendi 8 gün önce - 6
From ticket to reviewed pull request. Free and open-source, on your machine.
3,7/gün ort. +0 son gün 21 commit 3 yazar Python 05 Ağu 2026 güncellendi 25 gün önce - 7
Governed execution layer for AI coding assistants: clarify intent, route capabilities, review evidence, verify results, and write back lesso
1,3/gün ort. +0 son gün 80 commit 2 yazar JavaScript 23 Mar 2026 güncellendi 2 gün önce - 8
Subagent Verification for Claude AI Code Networks 2026
0,9/gün ort. +0 son gün — commit HTML 28 Haz 2026 güncellendi dün - 9
Automated Proof-of-Carrying Change Management for AIOps 2026
0,9/gün ort. +0 son gün — commit HTML 28 Haz 2026 güncellendi dün - 10
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, J
0,8/gün ort. +0 son gün — commit Python 09 Nis 2026 güncellendi 16 Tem 2026 - 11
22 production-grade skills for AI coding agents — setup, scope, discipline, code review, security, session management, governance, ops, and
0,7/gün ort. +0 son gün — commit Python 07 Nis 2026 güncellendi 13 gün önce - 12
OpenCode++: a Coding Agent Reliability Harness for OpenCode, adding context, edit boundaries, command evidence, verification gates, impact a
0,7/gün ort. +0 son gün — commit TypeScript 24 May 2026 güncellendi 09 Eyl 2026 - 13
Turns AI agents from chaotic code generators into disciplined engineers. 12-stage workflow from research to production.
0,7/gün ort. +0 son gün — commit 21 Mar 2026 güncellendi 21 Mar 2026 - 14
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +2 son gün — commit TypeScript 30 Mar 2026 güncellendi 4 gün önce