mcp

bscott/rdc

Remote Desktop Control for AI agents: screenshot, mouse, ke…

Fail

Owner: bscott Language: Rust Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

agent

alphaparkinc/genpark-raft-distributed-consensus-state-machine-skill

GenPark AI Agent Skill - Raft distributed consensus state m…

Warn

Owner: alphaparkinc Language: Python Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

agent

imMamdouhaboammar/chatgpt-codex-plugin-autopilot

Self-hosting ChatGPT/Codex Plugin autopilot — copy-in, repo…

Pass

Owner: imMamdouhaboammar Language: Python Stars: 13 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

mcp

alphaparkinc/genpark-hoare-logic-triplet-verifier-skill

GenPark AI Agent Skill - Deductive program verifier validat…

Warn

Owner: alphaparkinc Language: - Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

mcp

Alpha-Park/genpark-hoare-logic-triplet-verifier-skill

GenPark AI Agent Skill - Deductive program verifier validat…

Warn

Owner: Alpha-Park Language: Python Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

mcp

alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-skill

GenPark AI Agent Skill - Dijkstra's Weakest Precondition (w…

Warn

Owner: alphaparkinc Language: - Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

mcp

Alpha-Park/genpark-dijkstra-weakest-precondition-wp-calculus-skill

GenPark AI Agent Skill - Dijkstra's Weakest Precondition (w…

Warn

Owner: Alpha-Park Language: - Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

mcp

alphaparkinc/genpark-loop-invariant-induction-prover-skill

GenPark AI Agent Skill - Loop invariant inductiveness and t…

Warn

Owner: alphaparkinc Language: - Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

mcp

Alpha-Park/genpark-loop-invariant-induction-prover-skill

GenPark AI Agent Skill - Loop invariant inductiveness and t…

Warn

Owner: Alpha-Park Language: Python Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

mcp

alphaparkinc/genpark-presburger-arithmetic-linear-integer-solver-skill

GenPark AI Agent Skill - Presburger linear integer arithmet…

Warn

Owner: alphaparkinc Language: Python Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

mcp

Alpha-Park/genpark-presburger-arithmetic-linear-integer-solver-skill

GenPark AI Agent Skill - Presburger linear integer arithmet…

Warn

Owner: Alpha-Park Language: - Stars: 8 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026

agent

12errh/zen-proxy

Local OpenAI-compatible proxy that exposes opencode's free…

Fail

Owner: 12errh Language: JavaScript Stars: 14 Rating: 0.0

Last sync: Sep 9, 2026 GitHub: Sep 9, 2026