mcp

Hehejie1/NoteMeld

NoteMeld 是一个自托管的 AI 知识工作台，用来把网页、视频、文件和对话自动整理成结构化笔记，并持续沉淀为可查…

Fail

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

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

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

XiXian42/wtagent

Turn ChatGPT Web (including Pro) into Codex. Turn Claude We…

Fail

Owner: XiXian42 Language: JavaScript Stars: 12 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