Star200+

Skill audit report

TheoremExplainAgent Audit report.

Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]

REVIEWED · REVIEWNeeds reviewGenerated Aug 3, 2026Heuristic metadata audit
77
Audit
83
Trust
76
Quality
89
Security
38
Maintain
92
Install

OpenAgentSkill Trust Score

83
Strong shortlist

OpenAgentSkill Trust Score

The Trust Score helps an agent decide whether a skill is safe enough to shortlist before installation.

GitHub adoption

PASS

86

1.5K GitHub stars

Stars/forks activity

INFO

77

1.5K stars, 197 forks; issue activity unavailable in current metadata

Recent maintenance

FAIL

38

1y since push

License clarity

PASS

86

MIT

README/SKILL.md completeness

PASS

90

Metadata includes enough usage and workflow context

Dependency/runtime risk

PASS

90

no major dependency risk hints in public metadata

Install availability

PASS

92

npx skills add TIGER-AI-Lab/TheoremExplainAgent

Install command safety

PASS

92

standard package or runtime install path

Permission surface

PASS

86

filesystem or document access

Repository evidence

PASS

86

https://github.com/TIGER-AI-Lab/TheoremExplainAgent

Review status

PASS

88

AI review data available

Agent Proven outcomes

INFO

54

No agent outcome data yet

Checks

Install and adoption review

9 Passed · 6 Needs review

Install path

92

PASS

npx skills add TIGER-AI-Lab/TheoremExplainAgent

Repository

88

PASS

https://github.com/TIGER-AI-Lab/TheoremExplainAgent

License

86

PASS

MIT

Maintenance

38

FIX

1y since push

AI review

88

PASS

Approved with no listed issues

README/SKILL.md completeness

90

PASS

Usable description available

Dependency risk

90

PASS

no major dependency risk hints in public metadata

Install command safety

92

PASS

standard package or runtime install path

Permission surface

86

PASS

filesystem or document access

Stars/forks activity

77

CHECK

1.5K stars, 197 forks; issue activity unavailable in current metadata

Adoption

88

PASS

1.5K GitHub stars

Warnings

  • Repository appears stale
  • Repository looks stale
  • Quality score needs review
  • Recent maintenance: 1y since push

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

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.

91K Stars · Audit report

Elasticsearch

Free and Open Source, Distributed, RESTful Search Engine

77K Stars · Audit report