agent

imMamdouhaboammar/chatgpt-codex-plugin-autopilot

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

Gecti

Sahibi: imMamdouhaboammar Dil: Python Yildiz: 13 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

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

GenPark AI Agent Skill - Deductive program verifier validat…

Uyari

Sahibi: alphaparkinc Dil: - Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

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

GenPark AI Agent Skill - Deductive program verifier validat…

Uyari

Sahibi: Alpha-Park Dil: Python Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

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

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

Uyari

Sahibi: alphaparkinc Dil: - Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

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

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

Uyari

Sahibi: Alpha-Park Dil: - Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

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

GenPark AI Agent Skill - Loop invariant inductiveness and t…

Uyari

Sahibi: alphaparkinc Dil: - Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

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

GenPark AI Agent Skill - Loop invariant inductiveness and t…

Uyari

Sahibi: Alpha-Park Dil: Python Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

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

GenPark AI Agent Skill - Presburger linear integer arithmet…

Uyari

Sahibi: alphaparkinc Dil: Python Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

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

GenPark AI Agent Skill - Presburger linear integer arithmet…

Uyari

Sahibi: Alpha-Park Dil: - Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

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

GenPark AI Agent Skill - Concolic testing and symbolic bran…

Uyari

Sahibi: alphaparkinc Dil: - Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

mcp

Alpha-Park/genpark-concolic-symbolic-execution-branch-inverter-skill

GenPark AI Agent Skill - Concolic testing and symbolic bran…

Uyari

Sahibi: Alpha-Park Dil: - Yildiz: 8 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026

agent

12errh/zen-proxy

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

Basarisiz

Sahibi: 12errh Dil: JavaScript Yildiz: 14 Puan: 0.0

Son senkron: 9 Eyl 2026 GitHub: 9 Eyl 2026