24301 sonuc
mcp
bscott/rdc
Remote Desktop Control for AI agents: screenshot, mouse, ke…
Basarisiz
agent
XiXian42/wtagent
Turn ChatGPT Web (including Pro) into Codex. Turn Claude We…
Basarisiz
agent
alphaparkinc/genpark-raft-distributed-consensus-state-machine-skill
GenPark AI Agent Skill - Raft distributed consensus state m…
Uyari
agent
imMamdouhaboammar/chatgpt-codex-plugin-autopilot
Self-hosting ChatGPT/Codex Plugin autopilot — copy-in, repo…
Gecti
mcp
alphaparkinc/genpark-hoare-logic-triplet-verifier-skill
GenPark AI Agent Skill - Deductive program verifier validat…
Uyari
mcp
Alpha-Park/genpark-hoare-logic-triplet-verifier-skill
GenPark AI Agent Skill - Deductive program verifier validat…
Uyari
mcp
alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-skill
GenPark AI Agent Skill - Dijkstra's Weakest Precondition (w…
Uyari
mcp
Alpha-Park/genpark-dijkstra-weakest-precondition-wp-calculus-skill
GenPark AI Agent Skill - Dijkstra's Weakest Precondition (w…
Uyari
mcp
alphaparkinc/genpark-loop-invariant-induction-prover-skill
GenPark AI Agent Skill - Loop invariant inductiveness and t…
Uyari
mcp
Alpha-Park/genpark-loop-invariant-induction-prover-skill
GenPark AI Agent Skill - Loop invariant inductiveness and t…
Uyari
mcp
alphaparkinc/genpark-presburger-arithmetic-linear-integer-solver-skill
GenPark AI Agent Skill - Presburger linear integer arithmet…
Uyari
mcp
Alpha-Park/genpark-presburger-arithmetic-linear-integer-solver-skill
GenPark AI Agent Skill - Presburger linear integer arithmet…
Uyari