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.
19,2/gün ort. -1 son gün 0 commit 0 yazar Python 31 Ağu 2026 güncellendi 7 gün önce - 2
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked
9,4/gün ort. +0 son gün 22 commit 1 yazar Python 08 Eki 2026 güncellendi 24 gün önce - 3
Open memory & reliability layer for AI agents + independent judging/verification (NACRE judge, caliber-bench meta-benchmark, preregistered c
6,4/gün ort. +0 son gün 742 commit 1 yazar Python 27 Nis 2026 güncellendi dün - 4
Give AI agents eyes, ears, and verifiable results. Watch Skill turns video, audio and screen activity into searchable, timestamped evidence
4,4/gün ort. +1 son gün 0 commit 0 yazar Python 05 Tem 2026 güncellendi 13 gün önce - 5
From ticket to reviewed pull request. Free and open-source, on your machine.
3,4/gün ort. +0 son gün 0 commit 0 yazar Python 05 Ağu 2026 güncellendi 09 Eki 2026 - 6
RobloxForge Docs 2026: Official MCP Vertical Slice Verification Layer for Studio
1,6/gün ort. +0 son gün — commit HTML 22 Eyl 2026 güncellendi bugün - 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 — commit JavaScript 23 Mar 2026 güncellendi 4 gün önce - 8
Minimal Ed25519-signed activity receipts for verifiable AI agents — self-attested, offline-verifiable, no blockchain.
1,1/gün ort. +0 son gün — commit JavaScript 26 Eyl 2026 güncellendi 26 gün önce - 9
Typed judgment tools for MCP agents. TypeSafe's Jev model as verify, screen, find, classify, rerank, decide, compare, extract, review, gate,
1/gün ort. +1 son gün — commit Python 23 Eyl 2026 güncellendi 13 gün önce - 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 0 commit 0 yazar TypeScript 24 May 2026 güncellendi 09 Eyl 2026 - 11
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 21 gün önce - 12
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 3 gün önce - 13
100 free AI skills for systems engineers: ECSS reviews, requirement flowdown, interfaces, budgets, verification and design reviews. Local MC
0,4/gün ort. +0 son gün — commit Python 02 Eki 2026 güncellendi 03 Eki 2026 - 14
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 - 15
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 - 16
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 28 gün önce - 17
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. +1 son gün — commit Rust 13 Ağu 2026 güncellendi 04 Eyl 2026 - 18
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 - 19
Open-source local MCP runtime that checks AI-agent tool calls, gates risky actions on approval, verifies results, and avoids blind retries a
0,1/gün ort. +0 son gün — commit TypeScript 28 Tem 2026 güncellendi 4 gün önce - 20
Evidence-backed proof of done for Claude Code, Codex, Cursor, and other AI coding agents. Run real checks, bind results to current Git state
0,1/gün ort. +0 son gün — commit Python 25 Haz 2026 güncellendi 6 gün önce