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

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

mcp

alphaparkinc/genpark-concolic-symbolic-execution-branch-inverter-skill

GenPark AI Agent Skill - Concolic testing and symbolic bran…

Warn

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

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