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,4/gün ort. +1 son gün — commit Python 31 Ağu 2026 güncellendi 3 gün önce - 2
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. +3 son gün — commit Python 05 Tem 2026 güncellendi 9 gün önce - 3
From ticket to reviewed pull request. Free and open-source, on your machine.
3,6/gün ort. +1 son gün — commit Python 05 Ağu 2026 güncellendi 26 gün önce - 4
Governed execution layer for AI coding assistants: clarify intent, route capabilities, review evidence, verify results, and write back lesso
1,3/gün ort. +1 son gün — commit JavaScript 23 Mar 2026 güncellendi bugün - 5
Agent workflow for deadline-bound execution with evidence gates
1,2/gün ort. +0 son gün — commit 26 Ağu 2026 güncellendi 27 Ağu 2026 - 6
Subagent Verification for Claude AI Code Networks 2026
0,9/gün ort. +0 son gün — commit HTML 28 Haz 2026 güncellendi bugün - 7
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 bugün - 8
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 - 9
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 bugün - 10
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 - 11
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 - 12
Covert Coder — a local-first sovereign AI development environment for governed models, workflows, execution, evidence, and verification.
0,6/gün ort. +0 son gün — commit TypeScript 10 Ağu 2026 güncellendi 9 gün önce - 13
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +1 son gün — commit TypeScript 30 Mar 2026 güncellendi 5 gün önce - 14
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 4 gün önce - 15
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 5 gün önce - 16
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 bugün - 17
From any API surface to verified AI agent tools: Go CLI + MCP + skills + SQLite + policy + proofs.
0,3/gün ort. +1 son gün — commit Go 08 May 2026 güncellendi 06 Tem 2026 - 18
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 - 19
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 - 20
The orchestration layer under your coding agent. Turns work into a typed graph, runs one model per node, and takes the verdict from outside
0,3/gün ort. +0 son gün — commit TypeScript 04 Haz 2026 güncellendi 24 gün önce - 21
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 17 gün önce - 22
"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 - 23
Fable-inspired verification-first workflow skill for Codex
0,2/gün ort. +0 son gün — commit 10 Haz 2026 güncellendi 15 Haz 2026 - 24
A living standard for a web stack that AI agents can verify, not just generate
0,2/gün ort. +0 son gün — commit 11 Haz 2026 güncellendi 28 Ağu 2026 - 25
Detect hallucinations in LLM responses. Verify every claim against source documents using hybrid STS + NLI. Works with LangChain, LlamaIndex
0,2/gün ort. +0 son gün — commit Python 01 Nis 2026 güncellendi 13 gün önce