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
Language
Python
Last activity
Oct 15, 2026
Stars193Measured · Oct 19, 2026
Momentum78.57 days · Measured · +66.38% relative change
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
Language
Python
Last activity
Oct 9, 2026
Stars44Measured · Oct 18, 2026
Momentum31.77 days · Measured · +7.32% relative change
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
Language
Python
Last activity
Oct 11, 2026
Stars38Measured · Oct 18, 2026
Momentum56.37 days · Measured · +40.74% relative change
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
Language
TypeScript
Last activity
Oct 13, 2026
Stars13Measured · Oct 19, 2026
Momentum36.27 days · Measured · +18.18% relative change