OpenAgentSkill Registry Manifest
Skill: TheoremExplainAgent
Slug: tiger-ai-lab-theoremexplainagent
Category: rag-knowledge
Description: Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]

Agent fit:
- Decision: 78/100 Strong shortlist
- Primary fit: RAG and knowledge
- Role: Companion skill

Supply profile:
- Track: Research and knowledge work
- Scenario: RAG and knowledge
- Applicable agents: Claude Code, CLI, Codex, Cursor, Python
- Maintenance: 1y since push
- Risk: Needs review

Trust:
- Trust score: 83/100 Strong shortlist
- Audit: 77/100 Needs review

Attribution:
- Status: Community indexed
- Source: GitHub star discovery
- Creator: TIGER-AI-Lab
- Claim URL: https://www.openagentskill.com/skills/tiger-ai-lab-theoremexplainagent#claim-this-skill

Install:
npx skills add TIGER-AI-Lab/TheoremExplainAgent

URLs:
- Web: https://www.openagentskill.com/skills/tiger-ai-lab-theoremexplainagent
- API: https://www.openagentskill.com/api/agent/skills/tiger-ai-lab-theoremexplainagent
- Install API: https://www.openagentskill.com/api/skills/tiger-ai-lab-theoremexplainagent/install
- Repository: https://github.com/TIGER-AI-Lab/TheoremExplainAgent