Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Fonte
GitHub
Linguaggio
Python
Ultima attività
15 ott 2026
Stelle193Misurato · 19 ott 2026
Momentum78,57 giorni · Misurato · +66,38% variazione relativa
An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is proved, refuted, conjectured and still dark, proof tiers, independent referees and campaigns of agents.
Fonte
GitHub
Linguaggio
Python
Ultima attività
9 ott 2026
Stelle44Misurato · 18 ott 2026
Momentum31,77 giorni · Misurato · +7,32% variazione relativa
Claude Code skill that produces Korean motion-graphics videos end to end: brief, research, script, ElevenLabs narration, music, images, deterministic HTML render, mix and automated QA.
Fonte
GitHub
Linguaggio
Python
Ultima attività
11 ott 2026
Stelle38Misurato · 18 ott 2026
Momentum56,37 giorni · Misurato · +40,74% variazione relativa
Run Claude Code tasks in parallel without losing track: each in its own worktree and ports, followed from ticket to PR to CI to teardown. By nanosite.ai
Fonte
GitHub
Linguaggio
TypeScript
Ultima attività
13 ott 2026
Stelle13Misurato · 19 ott 2026
Momentum36,27 giorni · Misurato · +18,18% variazione relativa