Math-To-Manim: Instructions file for Codex

AGENTS.md

Math-To-Manim AGENTS.md is an instructions file for Codex, OpenCode from HarleyCoops/Math-To-Manim. It costs 842 tokens per session, scanned A, original, MIT.

Repository instructions for Math-To-Manim, a project containing separate video-making pipelines for several AI providers.

In plain words
What is it for?
Working on the Grok, GLM, GPT-based Sol, or Anthropic-based Mythos pipelines without routing one provider through another's system.
Why use it?
They keep each provider's pipeline independent and explain the repository layout and verification rules.

Instructions file for CodexOpenCode

Written for Codex and OpenCode: the file is AGENTS.md. Also seen: mentions Codex.

This is HarleyCoops/Math-To-Manim's own configuration. It tells Codex and OpenCode how to work on Math-To-Manim itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything Math-To-Manim configures →

About the project

Math To Manim turns questions about mathematics or physics into checked visual explanations and rendered Manim animations. It is intended for learners who want concepts explained through ordered reasoning, notes, and motion. Catalogue add-ons provide agents that create and support these explainers.

HarleyCoops/Math-To-Manim · 2,804 stars · on GitHub

Reuse

Borrowing it

Nothing to install: this file belongs to HarleyCoops/Math-To-Manim. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/HarleyCoops/Math-To-Manim/main/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/HarleyCoops/Math-To-Manim

Made for: Codex, OpenCode.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for Math-To-Manim AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/harleycoops/math-to-manim/agents-md/github.svg)](https://agentmods.dev/instructions/harleycoops/math-to-manim/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/harleycoops/math-to-manim/agents-md"><img src="https://agentmods.dev/badge/instructions/harleycoops/math-to-manim/agents-md/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for Math-To-Manim AGENTS.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/harleycoops/math-to-manim/agents-md"><img src="https://agentmods.dev/badge/instructions/harleycoops/math-to-manim/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 842 This file is loaded in full into every session.
When invoked 842 The same file — it is already loaded in full.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00842 $0.00842
Opus 5.5 $0.00337 $0.00337
Sonnet 5.5 $0.00168 $0.00168
Haiku 4.5 $0.00084 $0.00084

Measured 7d ago against content hash 1860116814ee, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

Math-To-Manim AGENTS.md scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 7d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

AGENTS.md · 64 lines

How it starts

The opening of the file, as written. The whole thing — 64 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Agent guide

Math-To-Manim's primary product is the Astra-native Codex SDK chain in astra/. The user's September 24, 2026 direction supersedes the former multi-provider homepage and requirement to preserve its featured GIF block. Keep the star chart and older showcase files; feature new verified films on the homepage from any pipeline (Astra, Mythos or another provider). The user corrected this on September 25, 2026: the homepage is not limited to Astra films.

Architecture

  • astra/cli.py: primary math-to-manim, m2m, math-to-manim-astra commands.
  • astra/pipeline.py: brief -> mathematics -> storyboard -> scene -> render, with advisory Jev reviews by default; strict gates are explicitly opt-in.
  • astra/bridge.mjs: official Codex SDK, GPT-6 Astra, cached ChatGPT login.
  • astra/prompts.py: specialist and evaluator charters.
  • astra/rendering.py: static source checks, local Manim and frame extraction.
  • docs/JEV.md, docs/ASTRA_PIPELINE.md: evaluation and architecture contracts.
  • mythos/, sol/, grok/, glm/, mimo/: compatibility pipelines, accessed by explicit provider commands; do not route Astra through their orchestration.
  • scripts/operate_mythos_chain.py: runs the Mythos chain with a session as the model backend; the harness validates every reply (see docs/showcase/every-orbit-great-circle/).

Working rules

  1. Use Codex login, never an API-key fallback, for the Astra chain. Remove API credentials from model and renderer child environments; never print secrets.
  2. Authors and evidence auditors use gpt-6-astra. Real TypeSafe Jev uses jev-1.13.0 through typesafe-sdk with TYPESAFE_API_KEY. Never substitute Astra for Jev or claim that Jev sees images; it receives text observations.
  3. Keep failed attempts, review feedback and actual render evidence in runs/astra/. Do not claim success without a completed manifest and MP4.
  4. Use move_camera and set_camera_orientation for ThreeDScene cameras.
  5. Jev approval is scoped to evidence. Stills do not prove continuous motion.
  6. The user's later instruction removes Jev blockers to control costs. Default reviews are advisory, without Jev-triggered retries or investigations. Use render-existing for saved scenes with zero model calls. Preserve old verdicts and label such output not_reviewed, never Jev-approved. Gated mode is opt-in.
  7. Local Manim execution is not an OS/container sandbox. Do not describe static source screening as a complete security boundary.
  8. Test offline with python -m pytest. Live model/render runs need explicit task authorization; the current full-film request provides it.
  9. Do not modify archive/ or legacy/. Preserve other providers' implementation boundaries and their existing explicit commands.

Read the full file on GitHub · 64 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 7d ago Changed · +8 lines · +130 tokens per session 1860116814ee
  2. 29d ago Changed · +5 lines · +84 tokens per session f411e484870f
  3. 1mo ago Changed · -28 lines · -657 tokens per session 2526bd301ae0
  4. 1mo ago Changed · +4 lines · +98 tokens per session 56336a0fb898
  5. 1mo ago First seen · 75 lines · 1,187 tokens per session scan A 308fcf79b783

Subscribe to this mod's changes

Math-To-Manim AGENTS.md is an instructions file published in the GitHub repository HarleyCoops/Math-To-Manim (2,804 stars, last pushed 2d ago), licensed MIT. It adds 842 tokens to every session, about $0.0034 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

Other instructions, from other repositories

vscode buildNext.instructions.md

Working notes and architecture documentation for the new esbuild-based build system in build/next. Use when making changes to the new build pipeline (transpile/bundle commands, NLS plugin, source-map handling, resource copying, or self-hosting watch tasks).

microsoft/vscode · 9,715 tokens

next.js AGENTS.md

AGENTS.md instructions for vercel/next.js, covering next.js development guide, codebase structure, monorepo overview, core package: packages/next and other important packages.

vercel/next.js · 7,581 tokens

vscode oss-third-party-notices.instructions.md

Instructions for microsoft/vscode, covering vs code oss third-party-notices pipeline, architecture, pipeline flow in ci, cache eligibility and rollout and applying the notice (cutover).

microsoft/vscode · 5,262 tokens

langchain AGENTS.md

AGENTS.md instructions for langchain-ai/langchain, covering global development guidelines for the langchain monorepo, corridor security analysis, project architecture and context, monorepo structure and development tools & commands.

langchain-ai/langchain · 4,680 tokens

vscode copilot-instructions.md

Copilot instructions for microsoft/vscode, covering vs code copilot instructions, project overview, root folders, core architecture (src/ folder) and built-in extensions (extensions/ folder).

microsoft/vscode · 2,731 tokens

deepseek-harness AGENTS.md

AGENTS.md instructions for deepseek-ai/deepseek-harness, covering agents.md, pre-stable apis and released session data, repository layout, commands and host sandbox failures.

deepseek-ai/deepseek-harness · 4,261 tokens