485 sonuc
agent
alphaparkinc/genpark-raft-distributed-consensus-state-machine-skill
GenPark AI Agent Skill - Raft distributed consensus state m…
Uyari
mcp
alphaparkinc/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
alphaparkinc/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
alphaparkinc/genpark-concolic-symbolic-execution-branch-inverter-skill
GenPark AI Agent Skill - Concolic testing and symbolic bran…
Uyari
mcp
alphaparkinc/genpark-instrumental-variable-two-stage-estimator-skill
GenPark AI Agent Skill - Instrumental Variable (IV) Two-Sta…
Uyari
mcp
alphaparkinc/genpark-propensity-score-inverse-probability-weighting-skill
GenPark AI Agent Skill - Propensity score matching and Inve…
Uyari
mcp
alphaparkinc/genpark-vickrey-clarke-groves-vcg-auction-mechanism-skill
GenPark AI Agent Skill - Truthful Vickrey-Clarke-Groves (VC…
Uyari
mcp
alphaparkinc/genpark-shapley-value-cooperative-game-allocator-skill
GenPark AI Agent Skill - Cooperative game theory Shapley va…
Uyari
mcp
alphaparkinc/genpark-nash-equilibrium-bimatrix-support-enumeration-skill
GenPark AI Agent Skill - Bimatrix normal-form game solver i…
Uyari
mcp
alphaparkinc/genpark-rubinstein-alternating-offers-bargaining-skill
GenPark AI Agent Skill - Infinite-horizon Rubinstein altern…
Uyari