LEAN4 AUTO YOUTUBE LIVING
Latest release v0.1.1 · 2 Apr 2026
28 files for Claude Code: codex-worker, lean4-analyst, lean4-claude-formalizer, lean4-codex-consultant and 24 more — 1,960 tokens loaded in every session.
CLAUDE.md A 1,960 tok .claude/settings.json A — .claude/skills/killo-golden/SKILL.md A 33 tok .claude/skills/scientific-writing/SKILL.md A 57 tok .claude/commands/community-outreach.md A — .claude/commands/lean4-claude-formalize.md A — .claude/commands/lean4-codex-formalize.md A — .claude/commands/lean4-formalize.md A — .claude/commands/oracle.md A — .claude/commands/pub-advance.md A — .claude/agents/codex-worker.md A 30 tok .claude/agents/lean4-analyst.md A 31 tok .claude/agents/lean4-claude-formalizer.md A 30 tok .claude/agents/lean4-codex-consultant.md A 36 tok .claude/agents/lean4-codex-reviewer.md A 37 tok .claude/agents/lean4-formalizer.md A 28 tok .claude/agents/lean4-optimizer.md A 34 tok .claude/agents/lean4-orchestrator.md A 28 tok .claude/agents/lean4-registrar.md A 23 tok .claude/agents/lean4-reviewer.md A 27 tok .claude/agents/pub-biblio.md A 20 tok .claude/agents/pub-editorial.md A 19 tok .claude/agents/pub-integrator.md A 18 tok .claude/agents/pub-journal-rewrite.md A 23 tok .claude/agents/pub-lean-sync.md A 26 tok .claude/agents/pub-orchestrator.md A 20 tok .claude/agents/pub-research.md A 24 tok .claude/agents/pub-submission.md A 20 tok These files are the-omega-institute/automath's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.