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…
- 51
Interactive physics & CAE simulators. 1600+ educational tools with live demos at https://novasolver.jp
0,1/gün ort. +0 son gün — commit HTML 05 Haz 2026 güncellendi 30 Ağu 2026 - 52
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 25 gün önce - 53
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 - 54
Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)
0,1/gün ort. +0 son gün — commit Python 01 Haz 2026 güncellendi 14 Tem 2026 - 55
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 - 56
A small, file-first verification harness that turns an AI agent's "I'm done" claim into an auditable admission decision. 100% offline & zero
0,1/gün ort. +0 son gün — commit Go 21 May 2026 güncellendi 13 Ağu 2026 - 57
Catalogue of languages designed for Agents
0,1/gün ort. +0 son gün — commit TypeScript 20 May 2026 güncellendi bugün - 58
A self-correcting system of nested engineering loops: plan & execute repo work; safely implement audit findings; design greenfield & improve
0,1/gün ort. +0 son gün — commit Python 19 May 2026 güncellendi bugün - 59
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 - 60
Claude Code / Codex CLI skill that scaffolds a runnable UVM testbench (APB / AHB-Lite / AXI4-Lite + generic-bus fallback) from an IP spec
0,2/gün ort. +0 son gün — commit Python 18 May 2026 güncellendi 14 Tem 2026 - 61
For an organization to trust AI with its code, three things must hold — trust, traceability, and stability at scale. cladding wraps your AI
0,1/gün ort. +0 son gün — commit TypeScript 18 May 2026 güncellendi 11 Eyl 2026 - 62
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 6 gün önce - 63
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 - 64
Gatemole compiles human-owned intent into obligations, links evidence artifacts to those obligations, and produces deterministic release dec
0,1/gün ort. +1 son gün — commit Go 06 May 2026 güncellendi 4 gün önce - 65
Chinese template for designing Multica multi-agent + skill workflows around task type, budget, models, and verification gates.
0,1/gün ort. +0 son gün — commit 05 May 2026 güncellendi 18 May 2026 - 66
Open memory & reliability layer for AI agents + independent judging/verification (NACRE judge, caliber-bench meta-benchmark, preregistered c
6,5/gün ort. +1 son gün 824 commit 1 yazar Python 27 Nis 2026 güncellendi bugün - 67
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 - 68
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 0 commit 0 yazar Python 09 Nis 2026 güncellendi 16 Tem 2026 - 69
22 production-grade skills for AI coding agents — setup, scope, discipline, code review, security, session management, governance, ops, and
0,7/gün ort. +1 son gün — commit Python 07 Nis 2026 güncellendi dün - 70
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 14 gün önce - 71
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +0 son gün — commit TypeScript 30 Mar 2026 güncellendi dün - 72
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 dün - 73
Turns AI agents from chaotic code generators into disciplined engineers. 12-stage workflow from research to production.
0,7/gün ort. +1 son gün — commit 21 Mar 2026 güncellendi 21 Mar 2026