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
Autonomous development for real products. Governed agents build from specs you approve, follow the rules you set, and nothing merges until a
18,1/gün ort. +5 son gün 7.277 commit 1 yazar JavaScript 07 Eki 2026 güncellendi 5 gün önce - 2
RobloxForge Docs 2026: Official MCP Vertical Slice Verification Layer for Studio
1,8/gün ort. +0 son gün — commit HTML 22 Eyl 2026 güncellendi bugün - 3
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 - 4
An open standard for agent-native software requirements.
0,8/gün ort. +0 son gün — commit Rust 09 Eki 2026 güncellendi dün - 5
Audits AUR PKGBUILD updates before you install: detects structural changes, suspicious commands, typosquatting, and novelty signals, then pr
0,4/gün ort. +0 son gün — commit Python 15 Tem 2026 güncellendi bugün - 6
Fast, deterministic verifier and gate for AI agents: exact math, claim and citation checks, shell/write policy, hash-chained step ledger and
0,4/gün ort. +0 son gün — commit Rust 15 Tem 2026 güncellendi 16 gün önce - 7
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 4 gün önce - 8
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 - 9
Redpen makes coding agents prove they are actually done.
0,4/gün ort. +0 son gün — commit TypeScript 12 Eyl 2026 güncellendi 29 gün önce - 10
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 - 11
AI agents should not make irreversible changes. TraceFold escrows the inverse before an effect lands, or refuses it, and issues receipts any
0,2/gün ort. +0 son gün — commit Rust 13 Ağu 2026 güncellendi 04 Eyl 2026 - 12
A local verification receipt for AI coding agents
0,2/gün ort. +0 son gün — commit Go 12 Ağu 2026 güncellendi 30 Ağu 2026 - 13
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. +1 son gün — commit Python 10 Haz 2026 güncellendi 7 gün önce - 14
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 — commit Python 21 Haz 2026 güncellendi 03 Tem 2026 - 15
🛡️ An open-source trust verification CLI to validate and verify real-world claims with @openapi®.
0,1/gün ort. +0 son gün — commit Shell 17 Haz 2026 güncellendi 17 Haz 2026