25468 results
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
mcp
lamemustafa/bridge
Local desktop app and MCP server connecting TallyPrime to A…
Warn
agent
risukisu/marketing-skills
Marketing skills for Claude Code: SEO audits, content strat…
Fail
mcp
alphaparkinc/genpark-convolutional-2d-forward-backward-skill
2D spatial convolution layer forward pass with stride, padd…
Warn