HarleyCoops

38 mods across 6 repositories, 2.7k stars between them.

HarleyCoops/Math-To-Manim

Instructions file CodexOpenCode

Instructions for HarleyCoops/Math-To-Manim, covering agent guide, what this repo is, layout, working rules and quick verification.

2.5k 4d ago A 1,187 tokens original MIT

HarleyCoops/Math-To-Manim

Instructions file

Instructions for HarleyCoops/Math-To-Manim: Rankings, higher = better. Cost reflects what I actually pay (OpenAI has really generous limits), not list price. Intelligence is how hard a problem you can hand the model unsupervised. Taste covers UI/UX, code quality, API design, and copy.

2.5k 4d ago B 513 tokens original MIT

hermes-learns-manim

03

HarleyCoops/Math-To-Manim

Skill Claude CodeCodex

Operate Math-To-Manim with Hermes: inspect artifacts, run deterministic checks, use Codex-backed codegen, render/review Manim outputs, and avoid committing generated media.

2.5k 4d ago A 42 tokens original MIT

glm-cartographer

04

HarleyCoops/Math-To-Manim

Agent

Stage 2 of the GLM chain. Builds the reverse knowledge tree. Depth 0 is the target claim. Edges are prerequisites. The spine starts at assumed foundations and walks forward to the claim. Cite canonical sources only when naming them.

2.5k 4d ago A 53 tokens original MIT

glm-cinematographer

05

HarleyCoops/Math-To-Manim

Agent

Stage 5 of the GLM chain. Writes the shot list against the curriculum and dossier. Camera grammar is setcameraorientation / movecamera only. Reference images are visual seeds, never teaching sources.

2.5k 4d ago A 46 tokens original MIT

glm-composer

06

HarleyCoops/Math-To-Manim

Agent

Stage 6 of the GLM chain. Writes the ThreeDScene contract and the full Manim source as glmscene.py, then calls local verifyscene until it passes. Camera moves use setcameraorientation or movecamera only.

2.5k 4d ago A 50 tokens original MIT

glm-curriculum

07

HarleyCoops/Math-To-Manim

Agent

Stage 3 of the GLM chain. First forward pass. Turns the reverse spine into acts, one new idea each, joined only by curiosity. No tools.

2.5k 4d ago A 38 tokens original MIT

glm-intent

08

HarleyCoops/Math-To-Manim

Agent

Stage 1 of the GLM chain. Distills a prompt or photographed homework page into audience, core claim, scope, and the one big zoom. Vision via chat/completions image parts when attached. Writes no code.

2.5k 4d ago A 50 tokens original MIT

glm-math-director

09

HarleyCoops/Math-To-Manim

Agent

Stage 4 of the GLM chain. Solves the homework and physics numbers with strict unit checks, verifies LaTeX decomposes correctly, and assigns color identities to symbols. Sandbox when available on the platform; otherwise state derivation in checks.

2.5k 4d ago A 56 tokens original MIT

grok-cartographer

10

HarleyCoops/Math-To-Manim

Agent

Stage 2 of the Grok chain. Builds the reverse knowledge tree. Depth 0 is the target claim. Edges are prerequisites. The spine starts at assumed foundations and walks forward to the claim. Optional websearch only for canonical names.

2.5k 4d ago A 54 tokens original MIT

HarleyCoops/Math-To-Manim

Agent

Stage 5 of the Grok chain. Writes the shot list and generates 1 to 3 art direction stills. X search is only a visual seed, never a teaching source.

2.5k 4d ago A 45 tokens original MIT

grok-composer

12

HarleyCoops/Math-To-Manim

Agent

Stage 6 of the Grok chain. Writes the ThreeDScene contract and the Manim source, then calls local verifyscene. Camera moves use movecamera or setcameraorientation only.

2.5k 4d ago A 43 tokens original MIT

grok-curriculum

13

HarleyCoops/Math-To-Manim

Agent

Stage 3 of the Grok chain. First forward pass. Turns the reverse spine into acts, one new idea each, joined only by curiosity. No tools.

2.5k 4d ago A 39 tokens original MIT

grok-intent

14

HarleyCoops/Math-To-Manim

Agent

Stage 1 of the Grok chain. Distills a prompt or photographed homework page into audience, core claim, scope, and the one big zoom. Uses vision when an image is attached. Writes no code.

2.5k 4d ago A 48 tokens original MIT

grok-math-director

15

HarleyCoops/Math-To-Manim

Agent

Stage 4 of the Grok chain. Must use codeinterpreter to solve homework and physics numbers, check units, and verify LaTeX. websearch only for cited constants.

2.5k 4d ago A 44 tokens original MIT

Math-To-Manim

16

HarleyCoops/Math-To-Manim

Skill Claude CodeCodex

This skill should be used when the user asks to "create a math animation", "animate a mathematical concept", "generate Manim code", "visualize [topic] with animation", "explain [concept] visually", "create an educational video", "build a Manim scene", or mentions "reverse knowledge tree", "prerequisite discovery", or…

2.5k 4d ago A 102 tokens original MIT

HarleyCoops/Math-To-Manim

Instructions file GitHub Copilot

Instructions for HarleyCoops/Math-To-Manim, covering github copilot instructions for math-to-manim, project overview, key technologies, development setup and installation.

2.5k 4d ago B 2,399 tokens original MIT

mythos-cartographer

21

HarleyCoops/Math-To-Manim

Agent

Stage 2 of the Mythos chain. Builds the reverse knowledge tree — walks backward from the target concept to first principles, mapping every prerequisite the film must teach or assume.

2.5k 4d ago A 41 tokens original MIT

HarleyCoops/Math-To-Manim

Agent

Stage 5 of the Mythos chain. Converts acts plus mathematics into a beat-by-beat shot list using the Mythos camera grammar — headlines, zooms into terms, pull-backs, 3D set pieces, captions.

2.5k 4d ago A 55 tokens original MIT

mythos-curriculum

23

HarleyCoops/Math-To-Manim

Agent

Stage 3 of the Mythos chain. Converts the knowledge map's spine into a dramatic act structure — what is taught when, what question pulls the viewer into each act.

2.5k 4d ago A 42 tokens original MIT

mythos-intent

24

HarleyCoops/Math-To-Manim

Agent

Stage 1 of the Mythos chain. Distills a raw user prompt into a cinematic intent brief — audience, core claim, emotional arc, scope. Use first when turning any math/physics topic into a film.

2.5k 4d ago A 50 tokens original MIT