Live registry search

Results for “theorem-proving”

Exact name and slug matches are checked against the live registry before ranked alternatives.

Clear search

Decision filters

Choose by scenario, quality, and trust signals.

Use casePlatform fitQuality tierTrust profileSafety gateGitHub adoption

Showing 1-2 of 2 ranked candidates matching "theorem-proving"

Best blend of relevance, quality, freshness, and verified outcomes

ReProver

NEEDS REVIEW · 45TRUST · 71SAFE · EXPERIMENTALDESIGN

Retrieval-Augmented Theorem Provers for Lean

$ npx skills add lean-dojo/ReProver

326 stars36 quality71 trustExperimental2y since pushNeeds review

QualityInspect the repository carefully before adding it to an agent workflow.Check: Repository looks stale

TrustPotentially useful, but at least one trust signal needs human inspection.Review: Repository looks stale

Safety gateSparse or mixed signals. Useful for discovery, but not for autonomous installation.

Scenario Multimodal media · I need my agent to process images, video, or audio and extract useful information.

CLI + Codex · 4 targets

pythonmachine-learning

by lean-dojoDetailsQuick view

TheoremExplainAgent

VERIFIEDPROMISING · 66TRUST · 80SAFE · EXPERIMENTALCODING

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

$ npx skills add TIGER-AI-Lab/TheoremExplainAgent

1.5K stars49 quality80 trustExperimental1y since pushNeeds review

QualityUseful candidate, but compare it with alternatives before adopting.Check: Repository looks stale

TrustGood trust signals with a few areas worth checking before rollout.Review: Repository looks stale

Safety gateSparse or mixed signals. Useful for discovery, but not for autonomous installation.

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

CLI + Codex · 4 targets

pythonrag

by TIGER-AI-LabDetailsQuick view

Live registry search

Results for “theorem-proving”

Exact name and slug matches are checked against the live registry before ranked alternatives.

Clear search

Decision filters

Choose by scenario, quality, and trust signals.

Use casePlatform fitQuality tierTrust profileSafety gateGitHub adoption

Showing 1-2 of 2 ranked candidates matching "theorem-proving"

Best blend of relevance, quality, freshness, and verified outcomes

ReProver

NEEDS REVIEW · 45TRUST · 71SAFE · EXPERIMENTALDESIGN

Retrieval-Augmented Theorem Provers for Lean

$ npx skills add lean-dojo/ReProver

326 stars36 quality71 trustExperimental2y since pushNeeds review

QualityInspect the repository carefully before adding it to an agent workflow.Check: Repository looks stale

TrustPotentially useful, but at least one trust signal needs human inspection.Review: Repository looks stale

Safety gateSparse or mixed signals. Useful for discovery, but not for autonomous installation.

Scenario Multimodal media · I need my agent to process images, video, or audio and extract useful information.

CLI + Codex · 4 targets

pythonmachine-learning

by lean-dojoDetailsQuick view

TheoremExplainAgent

VERIFIEDPROMISING · 66TRUST · 80SAFE · EXPERIMENTALCODING

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

$ npx skills add TIGER-AI-Lab/TheoremExplainAgent

1.5K stars49 quality80 trustExperimental1y since pushNeeds review

QualityUseful candidate, but compare it with alternatives before adopting.Check: Repository looks stale

TrustGood trust signals with a few areas worth checking before rollout.Review: Repository looks stale

Safety gateSparse or mixed signals. Useful for discovery, but not for autonomous installation.

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

CLI + Codex · 4 targets

pythonrag

by TIGER-AI-LabDetailsQuick view

AI Agent Skills Directory

Results for “theorem-proving”

Choose by scenario, quality, and trust signals.

ReProver

TheoremExplainAgent

AI Agent Skills Directory

Results for “theorem-proving”

Choose by scenario, quality, and trust signals.

ReProver

TheoremExplainAgent

AI Agent Skills Directory

Results for “theorem-proving”

Choose by scenario, quality, and trust signals.

ReProver

TheoremExplainAgent