25469 sonuc
mcp
alphaparkinc/genpark-agent-codebase-ast-dependency-slicer-skill
Multi-file AST dependency graph parser & minimum context sl…
Uyari
agent
makinotes/elab-trading-skills
EdgeLab Trading Skills｜给 AI Agent 用的投研与交易复盘工具集 · 11 Skills…
Uyari
mcp
alphaparkinc/genpark-dpll-sat-solver-cnf-backtracking-skill
Davis-Putnam-Logemann-Loveland (DPLL) Boolean satisfiabilit…
Uyari
mcp
Alpha-Park/genpark-dpll-sat-solver-cnf-backtracking-skill
Davis-Putnam-Logemann-Loveland (DPLL) Boolean satisfiabilit…
Uyari
mcp
alphaparkinc/genpark-binary-decision-diagram-bdd-canonicity-skill
Reduced Ordered Binary Decision Diagram (ROBDD) engine with…
Uyari
mcp
Alpha-Park/genpark-binary-decision-diagram-bdd-canonicity-skill
Reduced Ordered Binary Decision Diagram (ROBDD) engine with…
Uyari
mcp
alphaparkinc/genpark-first-order-logic-resolution-refutation-skill
First-Order Logic Robinson syntactic unifier with occurs-ch…
Uyari
mcp
Alpha-Park/genpark-first-order-logic-resolution-refutation-skill
First-Order Logic Robinson syntactic unifier with occurs-ch…
Uyari
mcp
alphaparkinc/genpark-horn-clause-forward-backward-chaining-skill
Definite Horn clause deductive engine supporting forward ch…
Uyari
mcp
Alpha-Park/genpark-horn-clause-forward-backward-chaining-skill
Definite Horn clause deductive engine supporting forward ch…
Uyari
mcp
lamemustafa/bridge
Local desktop app and MCP server connecting TallyPrime to A…
Uyari
agent
risukisu/marketing-skills
Marketing skills for Claude Code: SEO audits, content strat…
Basarisiz