Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Source
GitHub
Langage
Python
Dernière activité
15 oct. 2026
Étoiles193Mesuré · 19 oct. 2026
Momentum78,57 jours · Mesuré · +66,38% d’évolution relative
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.
Source
GitHub
Langage
Python
Dernière activité
9 oct. 2026
Étoiles44Mesuré · 18 oct. 2026
Momentum31,77 jours · Mesuré · +7,32% d’évolution relative
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.
Source
GitHub
Langage
Python
Dernière activité
11 oct. 2026
Étoiles38Mesuré · 18 oct. 2026
Momentum56,37 jours · Mesuré · +40,74% d’évolution relative
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
Source
GitHub
Langage
TypeScript
Dernière activité
13 oct. 2026
Étoiles13Mesuré · 19 oct. 2026
Momentum36,27 jours · Mesuré · +18,18% d’évolution relative