25592 results
mcp
alphaparkinc/genpark-agent-json-schema-auto-repair-skill
Instant zero-LLM deterministic JSON extractor & schema auto…
Warn
mcp
Alpha-Park/genpark-agent-json-schema-auto-repair-skill
Instant zero-LLM deterministic JSON extractor & schema auto…
Warn
mcp
alphaparkinc/genpark-agent-codebase-ast-dependency-slicer-skill
Multi-file AST dependency graph parser & minimum context sl…
Warn
agent
makinotes/elab-trading-skills
EdgeLab Trading Skills｜给 AI Agent 用的投研与交易复盘工具集 · 11 Skills…
Warn
mcp
alphaparkinc/genpark-dpll-sat-solver-cnf-backtracking-skill
Davis-Putnam-Logemann-Loveland (DPLL) Boolean satisfiabilit…
Warn
mcp
Alpha-Park/genpark-dpll-sat-solver-cnf-backtracking-skill
Davis-Putnam-Logemann-Loveland (DPLL) Boolean satisfiabilit…
Warn
mcp
alphaparkinc/genpark-binary-decision-diagram-bdd-canonicity-skill
Reduced Ordered Binary Decision Diagram (ROBDD) engine with…
Warn
mcp
Alpha-Park/genpark-binary-decision-diagram-bdd-canonicity-skill
Reduced Ordered Binary Decision Diagram (ROBDD) engine with…
Warn
mcp
alphaparkinc/genpark-first-order-logic-resolution-refutation-skill
First-Order Logic Robinson syntactic unifier with occurs-ch…
Warn
mcp
Alpha-Park/genpark-first-order-logic-resolution-refutation-skill
First-Order Logic Robinson syntactic unifier with occurs-ch…
Warn
mcp
alphaparkinc/genpark-horn-clause-forward-backward-chaining-skill
Definite Horn clause deductive engine supporting forward ch…
Warn
mcp
Alpha-Park/genpark-horn-clause-forward-backward-chaining-skill
Definite Horn clause deductive engine supporting forward ch…
Warn