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

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

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

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

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

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

mcp

alphaparkinc/genpark-instrumental-variable-two-stage-estimator-skill

GenPark AI Agent Skill - Instrumental Variable (IV) Two-Sta…

Warn

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

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

mcp

alphaparkinc/genpark-propensity-score-inverse-probability-weighting-skill

GenPark AI Agent Skill - Propensity score matching and Inve…

Warn

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

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

mcp

alphaparkinc/genpark-vickrey-clarke-groves-vcg-auction-mechanism-skill

GenPark AI Agent Skill - Truthful Vickrey-Clarke-Groves (VC…

Warn

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

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

mcp

alphaparkinc/genpark-shapley-value-cooperative-game-allocator-skill

GenPark AI Agent Skill - Cooperative game theory Shapley va…

Warn

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

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

mcp

alphaparkinc/genpark-nash-equilibrium-bimatrix-support-enumeration-skill

GenPark AI Agent Skill - Bimatrix normal-form game solver i…

Warn

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

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

mcp

alphaparkinc/genpark-rubinstein-alternating-offers-bargaining-skill

GenPark AI Agent Skill - Infinite-horizon Rubinstein altern…

Warn

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

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