mcp

epfl-lara/LeanProbe

Fast Lean 4 proof feedback for coding agents. CLI, Python l…

Warn

Owner: epfl-lara Language: Python Stars: 5 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

mcp

SourceShift/InterLock

In-process guardrails for AI agents. Block or rewrite tool,…

Fail

Owner: SourceShift Language: Python Stars: 7 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

mcp

akira-init1/ChannelTerm

Shared terminal sessions for humans and AI agents, starting…

Fail

Owner: akira-init1 Language: Go Stars: 7 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

skill

asafofer/perch

Where you left off, in the notch. A macOS app for people ru…

Fail

Owner: asafofer Language: Swift Stars: 6 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

mcp

gugamistri/gflow

Editor e player de tours com captura de tela e narração.

Fail

Owner: gugamistri Language: JavaScript Stars: 31 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

mcp

caiopizzol/tres-pinos

A tomada brasileira para agentes de IA: conectores para o q…

Warn

Owner: caiopizzol Language: JavaScript Stars: 5 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

agent

cv-superding/dsh-webin

Unofficial DSH plugin: drive AI web UIs (DeepSeek/Qwen/...)…

Fail

Owner: cv-superding Language: JavaScript Stars: 6 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

mcp

runpod/runpod-plugins-official

Official Runpod plugin for AI coding agents. Skills plus th…

Pass

Owner: runpod Language: Python Stars: 46 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

mcp

desktop-commander/remote-desktop-commander

Official remote MCP server for Desktop Commander — connect…

Pass

Owner: desktop-commander Language: - Stars: 161 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

agent

solongate/agent-security

Local-first, open-source security gateway for AI coding age…

Fail

Owner: solongate Language: Go Stars: 65 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

agent

New1Direction/korgex

The verifiable AI coding agent : provider-agnostic, MCP-nat…

Warn

Owner: New1Direction Language: Python Stars: 5 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026

mcp

czcdr/dsh-plugin-rea

第三方适配插件：把上游 REA（逆向一切，github.com/morluto/rea）的 MCP 服务注册进 Dee…

Fail

Owner: czcdr Language: PowerShell Stars: 5 Rating: 0.0

Last sync: Oct 13, 2026 GitHub: Oct 13, 2026