Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Alpha-Park/genpark-monte-carlo-tree-search-agent-planner-skillGenPark AI Agent Skill - Monte Carlo Tree Search (MCTS) reasoning tree planner with UCB1 node selection, rollout simulation, and backpropagation.
alphaparkinc/genpark-monte-carlo-tree-search-agent-planner-skillGenPark AI Agent Skill - Monte Carlo Tree Search (MCTS) reasoning tree planner with UCB1 node selection, rollout simulation, and backpropagation.
uniskela/adhd-hubSelf-hosted source of truth for half-finished plans, migrations, and setups for coding agents.