Live registry search

Results for “bayes-theorem”

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-4 of 4 ranked candidates matching "bayes-theorem"

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

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

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

Stock Market Sentiment Analysis

NEEDS REVIEW · 48TRUST · 70SAFE · EXPERIMENTALFINANCE

Identification of trends in the stock prices of a company by performing fundamental analysis of the company. News articles were provided as training data-sets to the mod…

$ npx skills add gandalf1819/Stock-Market-Sentiment-Analysis

147 stars34 quality70 trustExperimental6y 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: Financial research output is not financial advice; require human review before…

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

Scenario Finance and quant · I need my agent to analyze markets, financial data, filings, portfolios, and quant strategies.

CLI + Codex · 4 targets

rmarket-data

by gandalf1819DetailsQuick view

Twitter Sentiment Analysis

VERIFIEDPROMISING · 67TRUST · 78SAFE · REVIEWEDDESIGN

Sentiment analysis on tweets using Naive Bayes, SVM, CNN, LSTM, etc.

$ npx skills add abdulfatir/twitter-sentiment-analysis

1.7K stars49 quality78 trustReviewed with permission notes3y 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 gateUsable candidate, but the agent should surface permission and audit notes before 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 abdulfatirDetailsQuick view

Live registry search

Results for “bayes-theorem”

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-4 of 4 ranked candidates matching "bayes-theorem"

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

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

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

Stock Market Sentiment Analysis

NEEDS REVIEW · 48TRUST · 70SAFE · EXPERIMENTALFINANCE

Identification of trends in the stock prices of a company by performing fundamental analysis of the company. News articles were provided as training data-sets to the mod…

$ npx skills add gandalf1819/Stock-Market-Sentiment-Analysis

147 stars34 quality70 trustExperimental6y 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: Financial research output is not financial advice; require human review before…

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

Scenario Finance and quant · I need my agent to analyze markets, financial data, filings, portfolios, and quant strategies.

CLI + Codex · 4 targets

rmarket-data

by gandalf1819DetailsQuick view

Twitter Sentiment Analysis

VERIFIEDPROMISING · 67TRUST · 78SAFE · REVIEWEDDESIGN

Sentiment analysis on tweets using Naive Bayes, SVM, CNN, LSTM, etc.

$ npx skills add abdulfatir/twitter-sentiment-analysis

1.7K stars49 quality78 trustReviewed with permission notes3y 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 gateUsable candidate, but the agent should surface permission and audit notes before 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 abdulfatirDetailsQuick view

AI Agent Skills Directory

Results for “bayes-theorem”

Choose by scenario, quality, and trust signals.

TheoremExplainAgent

ReProver

Stock Market Sentiment Analysis

Twitter Sentiment Analysis

AI Agent Skills Directory

Results for “bayes-theorem”

Choose by scenario, quality, and trust signals.

TheoremExplainAgent

ReProver

Stock Market Sentiment Analysis

Twitter Sentiment Analysis

AI Agent Skills Directory

Results for “bayes-theorem”

Choose by scenario, quality, and trust signals.

TheoremExplainAgent

ReProver

Stock Market Sentiment Analysis

Twitter Sentiment Analysis