15445 results

mcp

ibrahimmian36/leanscreen

A calibrated faithfulness screen for informal↔Lean 4 pairs,…

Warn
Owner: ibrahimmian36 Language: Python Stars: 6 Rating: 0.0
agent

Arch1eSUN/Arcgentic

Mechanical plan/dev/self-audit/external-audit gates for AI…

Fail
Owner: Arch1eSUN Language: Python Stars: 32 Rating: 0.0
agent

kaisers-io/refs

Gives coding agents the real source of your dependencies, n…

Warn
Owner: kaisers-io Language: TypeScript Stars: 6 Rating: 0.0
agent

duanecilliers/atelier

A software factory where AI agents propose and deterministi…

Warn
Owner: duanecilliers Language: TypeScript Stars: 5 Rating: 0.0
agent

evilstar2016/skill-doctor

Local CLI for auditing AI agent skills, conflicts, duplicat…

Fail
Owner: evilstar2016 Language: TypeScript Stars: 5 Rating: 0.0
agent

AnubhavChaturvedi-GitHub/PC-Automation

Give any AI agent real hands on your Mac. A stdlib-only Pyt…

Warn
Owner: AnubhavChaturvedi-GitHub Language: Python Stars: 28 Rating: 0.0
agent

AnubhavChaturvedi-GitHub/github-agent

Browser-native AI assistant for GitHub. Chat with your repo…

Fail
Owner: AnubhavChaturvedi-GitHub Language: JavaScript Stars: 8 Rating: 0.0
mcp

ashfulcra/fulcra-tools

Long-running AI agents coordinating over their human's own…

Fail
Owner: ashfulcra Language: Python Stars: 7 Rating: 0.0
mcp

cxy2000111-art/theseus-brain

The Brain of Theseus — a plain-text roguelike written to be…

Pass
Owner: cxy2000111-art Language: Python Stars: 10 Rating: 0.0
mcp

ZeroPointRepo/youtube-mcp

The fastest YouTube transcript + YouTube search MCP for AI…

Warn
Owner: ZeroPointRepo Language: - Stars: 7 Rating: 0.0
mcp

SekaiBuilder/exodus-ia-firewall

🛡️ Local privacy firewall for AI coding agents — masks API…

Warn
Owner: SekaiBuilder Language: Python Stars: 5 Rating: 0.0
mcp

ukanwat/aaabench

A long-horizon benchmark harness: give a coding agent a rea…

Pass
Owner: ukanwat Language: Shell Stars: 13 Rating: 0.0