18386 sonuc
mcp
ibrahimmian36/leanscreen
A calibrated faithfulness screen for informal↔Lean 4 pairs,…
Uyari
agent
Arch1eSUN/Arcgentic
Mechanical plan/dev/self-audit/external-audit gates for AI…
Basarisiz
agent
kaisers-io/refs
Gives coding agents the real source of your dependencies, n…
Uyari
agent
duanecilliers/atelier
A software factory where AI agents propose and deterministi…
Uyari
agent
evilstar2016/skill-doctor
Local CLI for auditing AI agent skills, conflicts, duplicat…
Basarisiz
agent
AnubhavChaturvedi-GitHub/PC-Automation
Give any AI agent real hands on your Mac. A stdlib-only Pyt…
Uyari
agent
AnubhavChaturvedi-GitHub/github-agent
Browser-native AI assistant for GitHub. Chat with your repo…
Basarisiz
mcp
ashfulcra/fulcra-tools
Long-running AI agents coordinating over their human's own…
Basarisiz
mcp
cxy2000111-art/theseus-brain
The Brain of Theseus — a plain-text roguelike written to be…
Gecti
mcp
ZeroPointRepo/youtube-mcp
The fastest YouTube transcript + YouTube search MCP for AI…
Uyari
mcp
SekaiBuilder/exodus-ia-firewall
🛡️ Local privacy firewall for AI coding agents — masks API…
Uyari
mcp
ukanwat/aaabench
A long-horizon benchmark harness: give a coding agent a rea…
Gecti