Skill audit report
TheoremExplainAgent audit report.
Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
OpenAgentSkill Trust Score
Stars, maintenance, license, docs, dependency risk, and installability.
The Trust Score is OpenAgentSkill's adoption layer. It is designed to help an agent decide whether a skill is safe enough to shortlist before installation.
GitHub adoption
PASS86
1.5K GitHub stars
Recent maintenance
INFO62
11mo since push
License clarity
PASS86
MIT
README/SKILL.md completeness
PASS90
Metadata includes enough usage and workflow context
Dependency risk
PASS90
no major dependency risk hints in public metadata
Install availability
PASS92
npx skills add TIGER-AI-Lab/TheoremExplainAgent
Repository evidence
PASS86
https://github.com/TIGER-AI-Lab/TheoremExplainAgent
Review status
PASS88
AI review data available
Checks
Install and adoption review
Install path
92
npx skills add TIGER-AI-Lab/TheoremExplainAgent
Repository
88
https://github.com/TIGER-AI-Lab/TheoremExplainAgent
License
86
MIT
Maintenance
62
11mo since push
AI review
88
Approved with no listed issues
README/SKILL.md completeness
90
Usable description available
Dependency risk
90
no major dependency risk hints in public metadata
Adoption
88
1.5K GitHub stars
Warnings
- Quality score needs review
Method
This report combines public metadata, AI review output, repository freshness, install readiness, OpenAgentSkill events, quality scoring, trust checks, and the agent safety gate. It is not a full source-code security review.
Compare nearby options
Related skills to audit next
Generative AI For Beginners
21 Lessons, Get Started Building with Generative AI
112K stars · Audit report
Elasticsearch
Free and Open Source, Distributed, RESTful Search Engine
77K stars · Audit report
Graphify
AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a queryable knowledge graph. App code + database schema + infrastructure in one graph.
67K stars · Audit report