Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Quelle
GitHub
Sprache
Python
Letzte Aktivität
15.10.2026
Sterne219Gemessen · 20.10.2026
Momentum83,87 Tage · Gemessen · +88,79% relative Änderung
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.
Quelle
GitHub
Sprache
Python
Letzte Aktivität
09.10.2026
Sterne45Gemessen · 20.10.2026
Momentum31,67 Tage · Gemessen · +7,14% relative Änderung
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.
Quelle
GitHub
Sprache
Python
Letzte Aktivität
11.10.2026
Sterne47Gemessen · 20.10.2026
Momentum58,87 Tage · Gemessen · +42,42% relative Änderung
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
Quelle
GitHub
Sprache
TypeScript
Letzte Aktivität
13.10.2026
Sterne14Gemessen · 20.10.2026
Momentum35,57 Tage · Gemessen · +16,67% relative Änderung