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

mcp

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

GenPark AI Agent Skill - Concolic testing and symbolic bran…

Warn

Owner: Alpha-Park Language: - Stars: 8 Rating: 0.0

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

agent

12errh/zen-proxy

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

Fail

Owner: 12errh Language: JavaScript Stars: 14 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

hydra-db/hydradb-mcp

MCP server enabling HydraDB memory operations (store, recal…

Fail

Owner: hydra-db Language: TypeScript Stars: 5 Rating: 0.0

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

mcp

Alpha-Park/genpark-instrumental-variable-two-stage-estimator-skill

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

Warn

Owner: Alpha-Park Language: - 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

Alpha-Park/genpark-propensity-score-inverse-probability-weighting-skill

GenPark AI Agent Skill - Propensity score matching and Inve…

Warn

Owner: Alpha-Park Language: - Stars: 8 Rating: 0.0

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