Star200+

TheoremExplainAgent

REVIEW · 75
Community indexed

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

Downloads0
Stars1.5K
Version1.0.0
Quality76/100 · Strong
Trust75/100 · Sandbox only
Audit77/100 · Needs review

Supply asset profile

Research and knowledge work

Deep research, source comparison, literature review, RAG, knowledge search, and reports.

Browse track

Scenario

RAG and knowledge

I need my agent to build a RAG workflow over documents and retrieve reliable context.

Agent fit

Claude Code + CLI + Codex

Codex, Claude Code, Cursor, CLI, or custom agents.

Install

Ready

npx skills add TIGER-AI-Lab/TheoremExplainAgent

Maintenance

stale

1y since push

Risk

Needs review

Repository appears stale

GitHub quality

1.5K

76/100 Quality · 83/100 Trust

Coverage tags

ResearchRAG and knowledgerag-knowledgeragretrieval

Review notes

Repository appears stale · Repository looks stale

Agent adoption scorecard

Trust, audit, and install readiness at a glance

These scores combine public repository metadata, OpenAgentSkill review signals, maintenance freshness, and install readiness. They are a shortlist signal, not a replacement for human review.

Quality

Strong
76

Solid option that is likely worth shortlisting for production workflows.

Trust

Sandbox only
75

Useful candidate with missing or mixed trust signals. Keep it in an isolated workspace until the outcome loop proves task fit.

Audit

Needs review
77

A machine-readable review of install readiness, security metadata, maintenance, and adoption risk.

OpenAgentSkill Trust Score v5

Human review before install

Run only in a sandbox and compare close alternatives before using it for real work.

PythonRAGCodexClaude CodeCursor

Stars

1.5K GitHub stars

Repo activity

1.5K stars, 197 forks

Maintenance

1y since push

License

MIT

Install

npx skills add TIGER-AI-Lab/TheoremExplainAgent

Install safety

standard package or runtime install path

Permission surface

filesystem or document access

Agent outcomes

No agent outcome data yet

Docs

Strong README/SKILL.md context

Risk summary

Review before production

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

Install readiness

Install path available

  • Install path is available
  • Repository evidence is available
  • License is declared
  • No Agent Proven outcome evidence yet

Agent-readable metadata

Machine-readable decision data for this skill.

Use this block or the embedded JSON to decide whether an agent should install this skill, choose an alternative, or ask for human review first.

Open JSON

Suited tasks

  • RAG and knowledge workflows
  • Claude Code teams
  • teams that value GitHub adoption signals
  • Chunk documents

Suited agents

PythonRAGCodexClaude CodeCursorOpenAgentSkill CLICLI

Install decision

Command
npx skills add TIGER-AI-Lab/TheoremExplainAgent
Policy
review
Human review
yes

Trust and risk

Trust
75/100
Audit
77/100
Risk level
Needs review

Outcome loop

Endpoint
/api/agent/outcome
Event ID
resolve
Outcomes
5

Install command

npx skills add TIGER-AI-Lab/TheoremExplainAgent
Public auditEval reportResolve APIInstall handoff

Do not use when

  • teams that require actively maintained dependencies
  • production agents without a repository review
  • Repository looks stale
  • Repository appears stale
  • Quality score needs review

Alternative

Generative AI For Beginners

112.2K Stars

npx skills add microsoft/generative-ai-for-beginners

Alternative

Graphify

91.0K Stars

npx skills add safishamsi/graphify

Alternative

Elasticsearch

77.0K Stars

npx skills add elastic/elasticsearch

Alternative

Understand Anything

75.1K Stars

npx skills add Egonex-AI/Understand-Anything

Agent safety v2

61/100 · Review before install

Reviewed with permission notesreview

Usable candidate, but the agent should surface permission and audit notes before installation.

Require human approval before installing into a real workspace.

Resolve via API

medium

Network access

Skill likely fetches remote pages, APIs, repositories, or external services.

medium

Filesystem access

Skill may read or write project files, documents, generated artifacts, or local workspace state.

  • Repository appears stale

Install targets

Install this skill in your agent workflow

Use the public install endpoint to fetch the command, safety checklist, target prompts, and canonical links for this skill.

skill install

OpenAgentSkill CLI

Use the registry command when your workflow supports the OpenAgentSkill installer.

$ npx skills add TIGER-AI-Lab/TheoremExplainAgent

Agent resolve plan

Let an agent verify fit before installing.

The Resolve API returns the selected skill, alternatives, safety policy, audit notes, install target, and copy-paste prompt an agent can follow without scraping this page.

Open text plan

Open JSON

/api/agent/resolve?task=Use%20TheoremExplainAgent%20for%20an%20agent%20workflow&agent=codex&max_risk=medium

Resolve text

/api/agent/resolve?task=Use%20TheoremExplainAgent%20for%20an%20agent%20workflow&agent=codex&max_risk=medium&format=text

Install handoff

/api/skills/tiger-ai-lab-theoremexplainagent/install

Agent should check

  • Task fit and alternatives from Resolve API.
  • Audit score, trust score, and safety policy warnings.
  • Install target compatibility for Codex, Claude Code, Cursor, or CLI.

Copy prompt

Task: Use TheoremExplainAgent in this workspace.
Resolve first: https://www.openagentskill.com/api/agent/resolve?task=Use%20TheoremExplainAgent%20for%20an%20agent%20workflow&agent=codex&max_risk=medium
Review install handoff: https://www.openagentskill.com/api/skills/tiger-ai-lab-theoremexplainagent/install
Install command: npx skills add TIGER-AI-Lab/TheoremExplainAgent
Before running it, summarize audit warnings, required permissions, and the fallback skill if install is risky.

Agent handoff

Give an agent the install path, not another directory page.

Use the public install endpoint to fetch the command, safety checklist, target prompts, and canonical links for this skill.

Open install API

Install handoff

/api/skills/tiger-ai-lab-theoremexplainagent/install

LLM text format

/api/skills/tiger-ai-lab-theoremexplainagent/install?format=text

Find alternatives

/api/skills/search?q=TheoremExplainAgent&limit=3

Agent prompt

Use TheoremExplainAgent for this task. Review https://www.openagentskill.com/api/skills/tiger-ai-lab-theoremexplainagent/install, then install with: npx skills add TIGER-AI-Lab/TheoremExplainAgent

Registry metadata

Agent-readable profile for automatic skill selection.

This page exposes the same decision, trust, audit, use-case, and install signals through the Registry API, so agents can rank this skill without scraping the UI.

Open manifest

Manifest

/api/registry/manifest/tiger-ai-lab-theoremexplainagent

LLM text

/api/registry/manifest/tiger-ai-lab-theoremexplainagent?format=text

Install alias

/api/registry/install/tiger-ai-lab-theoremexplainagent

Recommend

/api/registry/recommend?task=Use%20TheoremExplainAgent%20in%20an%20agent%20workflow&limit=3

Agent fit

81/100

RAG and knowledge

Use-case tags

RAG and knowledgeGitHub automationCoding agents

Platforms

Python, RAG, Claude Code

Audit report

Needs review · 77/100

A machine-readable review of install readiness, security metadata, maintenance, and adoption risk.

View audit reportView eval report

Agent decision cockpit

Companion skill for RAG and knowledge

Shortlist this skill and compare it with close alternatives before production adoption.

81
Readiness
Shortlist
Stage

Role in stack

Companion skill

Primary fit

RAG and knowledge

Trust label

Strong shortlist

Install path

Command ready

Use when

  • RAG and knowledge workflows
  • Claude Code teams
  • teams that value GitHub adoption signals

Evidence

  • 1,494 GitHub stars
  • install command or GitHub repo available
  • 76/100 quality profile
  • 10 OpenAgentSkill engagement events

review first

  • Repository looks stale

Implementation path

  1. 1Install it in a sandbox agent and run one RAG and knowledge task end to end.
  2. 2Compare output quality, latency, and failure behavior against at least one alternative.
  3. 3Promote it into production only after reviewing repository permissions, license, and maintenance signals.

Trust profile

Sandbox only

Useful candidate with missing or mixed trust signals. Keep it in an isolated workspace until the outcome loop proves task fit.

75
OpenAgentSkill Trust Score

GitHub adoption

PASS

1.5K GitHub stars

Stars/forks activity

INFO

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

Recent maintenance

FIX

1y since push

License clarity

PASS

MIT

Good signals

  • Manually verified listing
  • AI review approved
  • Install path is available
  • Repository evidence is available
  • Meaningful GitHub adoption signal
  • Install command has no obvious high-risk pattern
  • Outcome loop is ready but needs first real agent run

Review before install

  • Repository looks stale
  • Quality score needs review
  • Recent maintenance: 1y since push
  • No real agent outcome reports yet
  • Human review required before unattended installation

Recommended action

Run only in a sandbox and compare close alternatives before using it for real work.

Quality profile

Strong candidate for agent workflows

Solid option that is likely worth shortlisting for production workflows.

76
GitHub stars
1.5K
Freshness
1y ago
Install ready
Yes
License
MIT
Review before install: Repository looks stale

Workflow fit

Use this skill in these scenarios

Search private knowledge

RAG and knowledge

I need my agent to build a RAG workflow over documents and retrieve reliable context.

Manage repositories

GitHub automation

I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.

Build and ship code

Coding agents

I need a coding agent that can understand a repository, edit code, and review pull requests.

Workflow fit

Add it to a complete workflow

Ingest, retrieve, and cite

RAG knowledge base

A workflow for document-heavy agents that ingest files, create searchable knowledge, retrieve relevant context, and answer with grounded sources.

Turn skills into distribution

Content growth agent

A workflow for turning newly indexed skills into SEO briefs, social drafts, comparison pages, and reusable publishing workflows.

Inspect, patch, and verify code

Coding review agent

A workflow for software agents that inspect repositories, review pull requests, generate tests, and turn findings into shippable patches.

Alternative shortlist

Compare before you install

Similar skills that may fit this task.

Compare all

Generative AI For Beginners

21 Lessons, Get Started Building with Generative AI

Adopt
Ready100
Quality100
Stars112.2K

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.

Adopt
Ready100
Quality100
Stars91.0K

Elasticsearch

Free and Open Source, Distributed, RESTful Search Engine

Adopt
Ready100
Quality100
Stars77.0K

Understand Anything

Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini CLI, and more.

Adopt
Ready100
Quality100
Stars75.1K

Overview

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

Imported by the skill-only GitHub discovery pipeline because it matches agent skill, automation, domain workflow, RAG, document-processing, data, finance, security, or developer-tool signals. Protocol-server projects are excluded from automated imports.

Platform compatibility

pythonFULL
ragFULL

Technical details

Version
1.0.0
License
MIT
Last updated
Jun 13, 2026
Published
May 24, 2026

Frameworks & tools

PythonRAG

Decision snapshot

Companion skill

81
Ready
Shortlist
Stage

1,494 GitHub stars

Audit

Install review

Install and adoption review

77
Needs review
Security
89/100
Maintenance
38/100
Install
92/100
Open full auditView eval report

Agent-proven evidence

Agent-proven evidence

Outcome reports after resolve, review, install, and one narrow run.

0
Proven
Needs first agent runAuto-install: review firstLast: Unknown
Success rate
—
Recent failure
—
Outcomes
0
Output quality
—
Failed
0
Not relevant
0
Installs
0
Risk blocked
0
Setup needed
0
Production
0

No agent outcome data yet. The first agent run can report success, setup needs, risk blocks, failure, or not-relevant through /api/agent/outcome.

Agent-Proven rankingOutcome contract

Install

Add to agent workflow

Free and open source. Review the report before installing into production agents.

Compare AlternativesAuto-resolve PlanView on GitHubDocumentation

Growth loop

Share kit

X

Scenario-led draft for TheoremExplainAgent, ready for a manual X post.

Curator note
TheoremExplainAgent: Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM T...

1.5K stars

https://www.openagentskill.com/skills/tiger-ai-lab-theoremexplainagent?ref=x
Open X draft
Optional reply with install command
Listing + install path for TheoremExplainAgent:
https://www.openagentskill.com/skills/tiger-ai-lab-theoremexplainagent?ref=x

Install: npx skills add TIGER-AI-Lab/TheoremExplainAgent
Open reply draft

Listing source

Community indexed

Claimable

This listing was indexed from public sources and is not marked official until a maintainer claim is approved.

Indexed by
OpenAgentSkill community index

Attribution links to the public repository or creator profile. Creators can claim the listing to update ownership signals.

Claim this skill

Owner claim

Claim this skill listing

This Community indexed listing is attributed to TIGER-AI-Lab but is not marked official yet. Claim it to add a verified owner signal and make future launch, install, and audit updates easier to trust.

Creator backlink kit

Add the evidence badges to your README

Show the canonical listing, current trust and audit signals, and real Agent-Proven evidence where developers evaluate the repository.

[![Listed on OpenAgentSkill](https://www.openagentskill.com/api/badge/tiger-ai-lab-theoremexplainagent?metric=listed&label=Listed)](https://www.openagentskill.com/skills/tiger-ai-lab-theoremexplainagent)
[![OpenAgentSkill Trust](https://www.openagentskill.com/api/badge/tiger-ai-lab-theoremexplainagent?metric=trust&label=Trust)](https://www.openagentskill.com/skills/tiger-ai-lab-theoremexplainagent)
[![OpenAgentSkill Audit](https://www.openagentskill.com/api/badge/tiger-ai-lab-theoremexplainagent?metric=audit&label=Audit)](https://www.openagentskill.com/skills/tiger-ai-lab-theoremexplainagent/audit)
[![Agent Proven](https://www.openagentskill.com/api/badge/tiger-ai-lab-theoremexplainagent?metric=proven&label=Agent%20Proven)](https://www.openagentskill.com/skills/tiger-ai-lab-theoremexplainagent)
Preview badge Open audit Creator kit

Author

T

TIGER-AI-Lab✓

@tiger-ai-lab

Tags

ragretrievalknowledgellm-agentsmanimmanim-animationsmanim-videopythongithub

Platform fit

Claude Code

Health signals

GitHub stars
1.5K
Quality score
53/100
Last GitHub push
Jul 27, 2025
Framework hints
2
OpenAgentSkill views
6
Install copies
0
Outbound clicks
0

Community signal

Share whether this skill looks useful for your agent workflow. Aggregated feedback improves rankings over time.

Trust & safety

Sandbox only

75
  • GitHub adoption1.5K GitHub starsPASS
  • Stars/forks activity1.5K stars, 197 forks; issue activity unavailable in current metadataINFO
  • Recent maintenance1y since pushFIX
  • License clarityMITPASS
  • README/SKILL.md completenessMetadata includes enough usage and workflow contextPASS
  • Dependency/runtime riskno major dependency risk hints in public metadataPASS

Related skills

Generative AI For Beginners

21 Lessons, Get Started Building with Generative AI

112.2K Stars · 0 Installs

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.

91.0K Stars · 0 Installs

Elasticsearch

Free and Open Source, Distributed, RESTful Search Engine

77.0K Stars · 0 Installs

Understand Anything

Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini CLI, and more.

75.1K Stars · 0 Installs