Live registry search

Results for “verifiable-computation”

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-16 of 35 ranked candidates matching "verifiable-computation"

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

Feldera

VERIFIEDEXCELLENT · 87TRUST · 80SAFE · REVIEWEDDATA

The Feldera Incremental Computation Engine

$ npx skills add feldera/feldera

1.9K stars62 quality80 trustReviewed with permission notes2mo since pushNeeds review

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustGood trust signals with a few areas worth checking before rollout.Review: License is unclear

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

Scenario Database and SQL · I need my agent to inspect database schemas, write SQL, and explain query results.

CLI + Codex · 4 targets

rustsql

by felderaDetailsQuick view

Hummingbird

VERIFIEDSTRONG · 70TRUST · 82SAFE · REVIEWEDCODING

Hummingbird compiles trained ML models into tensor computation for faster inference.

$ npx skills add microsoft/hummingbird

3.5K stars52 quality82 trustReviewed with permission notes1y since pushNeeds review

QualitySolid option that is likely worth shortlisting for production workflows.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 GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.

CLI + Codex · 4 targets

pythonmachine-learning

by microsoftDetailsQuick view

Linear Algebra With Python

VERIFIEDSTRONG · 74TRUST · 82SAFE · REVIEWEDDATA

Lecture Notes for Linear Algebra Featuring Python. This series of lecture notes will walk you through all the must-know concepts that set the foundation of data science…

$ npx skills add weijie-chen/Linear-Algebra-With-Python

2.6K stars51 quality82 trustReviewed with permission notesClaude Code2y since pushNeeds review

QualitySolid option that is likely worth shortlisting for production workflows.Check: Repository looks stale

TrustGood trust signals with a few areas worth checking before rollout.Review: Financial research output is not financial advice; require human review before…

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

Scenario Data analysis · I need my agent to analyze CSV data, produce insights, and explain trends.

Claude Code + CLI · 4 targets

jupyter-notebookdata-visualization

by weijie-chenDetailsQuick view

Volesti

PROMISING · 68TRUST · 77SAFE · REVIEWEDCODING

Practical volume computation and sampling in high dimensions

$ npx skills add GeomScale/volesti

187 stars47 quality77 trustReviewed with permission notes2mo since pushNeeds review

QualityUseful candidate, but compare it with alternatives before adopting.

TrustGood trust signals with a few areas worth checking before rollout.Review: Financial research output is not financial advice; require human review before…

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

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

CLI + Codex · 4 targets

c++scientific-computing

by GeomScaleDetailsQuick view

Blockchain Crypto Mpc

NEEDS REVIEW · 47TRUST · 71SAFE · EXPERIMENTALFINANCE

Protecting cryptographic signing keys and seed secrets with Multi-Party Computation.

$ npx skills add unboundsecurity/blockchain-crypto-mpc

480 stars37 quality71 trustExperimental4y 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

cblockchain

by unboundsecurityDetailsQuick view

Agile_v_skills

PROMISING · 68TRUST · 77SAFE · REVIEWEDCODING

🔬 Verifiable AI-Augmented Engineering Framework - Stop AI hallucinations with formal traceability (REQ→ART→TC). Agent Skills for Claude Code, Cursor, VS Code & Copilot.…

$ npx skills add Agile-V/agile_v_skills

51 stars45 quality77 trustReviewed with permission notesClaude Code + Cursor12d since pushNeeds review

QualityUseful candidate, but compare it with alternatives before adopting.

TrustGood trust signals with a few areas worth checking before rollout.Review: Quality score needs review

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

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

Claude Code + Cursor · 4 targets

javascript

by Agile-VDetailsQuick view

Catboost

VERIFIEDEXCELLENT · 99TRUST · 89SAFE · REVIEWEDDESIGN

A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python,…

$ npx skills add catboost/catboost

9.0K stars66 quality89 trustReviewed2mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

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

CLI + Codex · 4 targets

c++machine-learning

by catboostDetailsQuick view

Chainlink

VERIFIEDEXCELLENT · 94TRUST · 83SAFE · REVIEWEDCODING

node of the decentralized oracle network, bridging on and off-chain computation

$ npx skills add smartcontractkit/chainlink

8.2K stars66 quality83 trustReviewed with permission notes2mo since pushNeeds review

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustGood trust signals with a few areas worth checking before rollout.Review: License is unclear

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

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

CLI + Codex · 4 targets

goblockchain

by smartcontractkitDetailsQuick view

EsProc

VERIFIEDEXCELLENT · 96TRUST · 86SAFE · REVIEWEDDATA

esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.

$ npx skills add SPLWare/esProc

4.7K stars64 quality86 trustReviewed2mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

Scenario Database and SQL · I need my agent to inspect database schemas, write SQL, and explain query results.

CLI + Codex · 4 targets

javasql

by SPLWareDetailsQuick view

Linkis

VERIFIEDEXCELLENT · 95TRUST · 86SAFE · REVIEWEDDATA

Apache Linkis builds a computation middleware layer to facilitate connection, governance and orchestration between the upper applications and the underlying data engines.

$ npx skills add apache/linkis

3.4K stars63 quality86 trustReviewed2mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

Scenario Browser automation · I need my agent to control a browser, fill forms, and verify web app workflows.

CLI + Codex · 4 targets

javasql

by apacheDetailsQuick view

Cargo Crev

VERIFIEDEXCELLENT · 93TRUST · 86SAFE · REVIEWEDCODING

A cryptographically verifiable code review system for the cargo (Rust) package manager.

$ npx skills add crev-dev/cargo-crev

2.3K stars62 quality86 trustReviewed3mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

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

CLI + Codex · 4 targets

rustcode-review

by crev-devDetailsQuick view

Symforce

VERIFIEDEXCELLENT · 91TRUST · 87SAFE · REVIEWEDCODING

Fast symbolic computation, code generation, and nonlinear optimization for robotics

$ npx skills add symforce-org/symforce

1.6K stars61 quality87 trustReviewed3mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

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

CLI + Codex · 4 targets

c++computer-vision

by symforce-orgDetailsQuick view

Mars

VERIFIEDPROMISING · 69TRUST · 80SAFE · REVIEWEDDESIGN

Mars is a tensor-based unified framework for large-scale data computation which scales numpy, pandas, scikit-learn and Python functions.

$ npx skills add mars-project/mars

2.7K stars51 quality80 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 mars-projectDetailsQuick view

arboreto

EXCELLENT · 92TRUST · 85SAFE · REVIEWEDCODING

Infer gene regulatory networks (GRNs) from gene expression data using scalable algorithms (GRNBoost2, GENIE3). Use when analyzing transcriptomics data (bulk RNA-seq, sin…

$ npx skills add K-Dense-AI/scientific-agent-skills --skill arboreto

34.0K stars55 quality85 trustReviewedClaude Code3d since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustGood trust signals with a few areas worth checking before rollout.Review: Quality score needs review

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

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

Claude Code + CLI · 4 targets

by K-Dense-AIDetailsQuick view

agent-harness

EXCELLENT · 91TRUST · 80SAFE · REVIEWEDRESEARCH

Turn any domain folder of skills into a bounded agentic loop: compile a goal into a verifiable task plan, execute tasks with the domain's own tools, verify every task wi…

$ npx skills add alirezarezvani/claude-skills --skill agent-harness

24.8K stars54 quality80 trustReviewed with permission notesClaude Code1d since pushNeeds review

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.Check: The skill relies on external scripts (goal_compiler.py, loop_controller.py, etc…

TrustGood trust signals with a few areas worth checking before rollout.Review: The skill relies on external scripts (goal_compiler.py, loop_controller.py, etc…

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

Scenario Research agents · I need my agent to research a topic, compare sources, and produce a concise report.

Claude Code + CLI · 4 targets

by alirezarezvaniDetailsQuick view

Pytorch Kaldi

VERIFIEDPROMISING · 63TRUST · 76SAFE · EXPERIMENTALDESIGN

pytorch-kaldi is a project for developing state-of-the-art DNN/RNN hybrid speech recognition systems. The DNN part is managed by pytorch, while feature extraction, label…

$ npx skills add mravanelli/pytorch-kaldi

2.4K stars50 quality76 trustExperimental4y 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: License is unclear

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

pythonspeech

by mravanelliDetailsQuick view

Page 1

Showing the strongest 16 results to keep the registry fast for humans and agents. Refine by use case, platform, stars, or search query for a narrower shortlist.

Try the agent resolve API

Live registry search

Results for “verifiable-computation”

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-16 of 35 ranked candidates matching "verifiable-computation"

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

Feldera

VERIFIEDEXCELLENT · 87TRUST · 80SAFE · REVIEWEDDATA

The Feldera Incremental Computation Engine

$ npx skills add feldera/feldera

1.9K stars62 quality80 trustReviewed with permission notes2mo since pushNeeds review

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustGood trust signals with a few areas worth checking before rollout.Review: License is unclear

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

Scenario Database and SQL · I need my agent to inspect database schemas, write SQL, and explain query results.

CLI + Codex · 4 targets

rustsql

by felderaDetailsQuick view

Hummingbird

VERIFIEDSTRONG · 70TRUST · 82SAFE · REVIEWEDCODING

Hummingbird compiles trained ML models into tensor computation for faster inference.

$ npx skills add microsoft/hummingbird

3.5K stars52 quality82 trustReviewed with permission notes1y since pushNeeds review

QualitySolid option that is likely worth shortlisting for production workflows.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 GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.

CLI + Codex · 4 targets

pythonmachine-learning

by microsoftDetailsQuick view

Linear Algebra With Python

VERIFIEDSTRONG · 74TRUST · 82SAFE · REVIEWEDDATA

Lecture Notes for Linear Algebra Featuring Python. This series of lecture notes will walk you through all the must-know concepts that set the foundation of data science…

$ npx skills add weijie-chen/Linear-Algebra-With-Python

2.6K stars51 quality82 trustReviewed with permission notesClaude Code2y since pushNeeds review

QualitySolid option that is likely worth shortlisting for production workflows.Check: Repository looks stale

TrustGood trust signals with a few areas worth checking before rollout.Review: Financial research output is not financial advice; require human review before…

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

Scenario Data analysis · I need my agent to analyze CSV data, produce insights, and explain trends.

Claude Code + CLI · 4 targets

jupyter-notebookdata-visualization

by weijie-chenDetailsQuick view

Volesti

PROMISING · 68TRUST · 77SAFE · REVIEWEDCODING

Practical volume computation and sampling in high dimensions

$ npx skills add GeomScale/volesti

187 stars47 quality77 trustReviewed with permission notes2mo since pushNeeds review

QualityUseful candidate, but compare it with alternatives before adopting.

TrustGood trust signals with a few areas worth checking before rollout.Review: Financial research output is not financial advice; require human review before…

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

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

CLI + Codex · 4 targets

c++scientific-computing

by GeomScaleDetailsQuick view

Blockchain Crypto Mpc

NEEDS REVIEW · 47TRUST · 71SAFE · EXPERIMENTALFINANCE

Protecting cryptographic signing keys and seed secrets with Multi-Party Computation.

$ npx skills add unboundsecurity/blockchain-crypto-mpc

480 stars37 quality71 trustExperimental4y 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

cblockchain

by unboundsecurityDetailsQuick view

Agile_v_skills

PROMISING · 68TRUST · 77SAFE · REVIEWEDCODING

🔬 Verifiable AI-Augmented Engineering Framework - Stop AI hallucinations with formal traceability (REQ→ART→TC). Agent Skills for Claude Code, Cursor, VS Code & Copilot.…

$ npx skills add Agile-V/agile_v_skills

51 stars45 quality77 trustReviewed with permission notesClaude Code + Cursor12d since pushNeeds review

QualityUseful candidate, but compare it with alternatives before adopting.

TrustGood trust signals with a few areas worth checking before rollout.Review: Quality score needs review

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

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

Claude Code + Cursor · 4 targets

javascript

by Agile-VDetailsQuick view

Catboost

VERIFIEDEXCELLENT · 99TRUST · 89SAFE · REVIEWEDDESIGN

A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python,…

$ npx skills add catboost/catboost

9.0K stars66 quality89 trustReviewed2mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

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

CLI + Codex · 4 targets

c++machine-learning

by catboostDetailsQuick view

Chainlink

VERIFIEDEXCELLENT · 94TRUST · 83SAFE · REVIEWEDCODING

node of the decentralized oracle network, bridging on and off-chain computation

$ npx skills add smartcontractkit/chainlink

8.2K stars66 quality83 trustReviewed with permission notes2mo since pushNeeds review

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustGood trust signals with a few areas worth checking before rollout.Review: License is unclear

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

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

CLI + Codex · 4 targets

goblockchain

by smartcontractkitDetailsQuick view

EsProc

VERIFIEDEXCELLENT · 96TRUST · 86SAFE · REVIEWEDDATA

esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.

$ npx skills add SPLWare/esProc

4.7K stars64 quality86 trustReviewed2mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

Scenario Database and SQL · I need my agent to inspect database schemas, write SQL, and explain query results.

CLI + Codex · 4 targets

javasql

by SPLWareDetailsQuick view

Linkis

VERIFIEDEXCELLENT · 95TRUST · 86SAFE · REVIEWEDDATA

Apache Linkis builds a computation middleware layer to facilitate connection, governance and orchestration between the upper applications and the underlying data engines.

$ npx skills add apache/linkis

3.4K stars63 quality86 trustReviewed2mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

Scenario Browser automation · I need my agent to control a browser, fill forms, and verify web app workflows.

CLI + Codex · 4 targets

javasql

by apacheDetailsQuick view

Cargo Crev

VERIFIEDEXCELLENT · 93TRUST · 86SAFE · REVIEWEDCODING

A cryptographically verifiable code review system for the cargo (Rust) package manager.

$ npx skills add crev-dev/cargo-crev

2.3K stars62 quality86 trustReviewed3mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

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

CLI + Codex · 4 targets

rustcode-review

by crev-devDetailsQuick view

Symforce

VERIFIEDEXCELLENT · 91TRUST · 87SAFE · REVIEWEDCODING

Fast symbolic computation, code generation, and nonlinear optimization for robotics

$ npx skills add symforce-org/symforce

1.6K stars61 quality87 trustReviewed3mo since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…Review: Documentation summary is thin

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

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

CLI + Codex · 4 targets

c++computer-vision

by symforce-orgDetailsQuick view

Mars

VERIFIEDPROMISING · 69TRUST · 80SAFE · REVIEWEDDESIGN

Mars is a tensor-based unified framework for large-scale data computation which scales numpy, pandas, scikit-learn and Python functions.

$ npx skills add mars-project/mars

2.7K stars51 quality80 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 mars-projectDetailsQuick view

arboreto

EXCELLENT · 92TRUST · 85SAFE · REVIEWEDCODING

Infer gene regulatory networks (GRNs) from gene expression data using scalable algorithms (GRNBoost2, GENIE3). Use when analyzing transcriptomics data (bulk RNA-seq, sin…

$ npx skills add K-Dense-AI/scientific-agent-skills --skill arboreto

34.0K stars55 quality85 trustReviewedClaude Code3d since pushSafe to try

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.

TrustGood trust signals with a few areas worth checking before rollout.Review: Quality score needs review

Safety gateGood audit and safety signals with no high-risk permission hints in public metadata.

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

Claude Code + CLI · 4 targets

by K-Dense-AIDetailsQuick view

agent-harness

EXCELLENT · 91TRUST · 80SAFE · REVIEWEDRESEARCH

Turn any domain folder of skills into a bounded agentic loop: compile a goal into a verifiable task plan, execute tasks with the domain's own tools, verify every task wi…

$ npx skills add alirezarezvani/claude-skills --skill agent-harness

24.8K stars54 quality80 trustReviewed with permission notesClaude Code1d since pushNeeds review

QualityHigh-confidence pick with strong adoption and healthy maintenance signals.Check: The skill relies on external scripts (goal_compiler.py, loop_controller.py, etc…

TrustGood trust signals with a few areas worth checking before rollout.Review: The skill relies on external scripts (goal_compiler.py, loop_controller.py, etc…

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

Scenario Research agents · I need my agent to research a topic, compare sources, and produce a concise report.

Claude Code + CLI · 4 targets

by alirezarezvaniDetailsQuick view

Pytorch Kaldi

VERIFIEDPROMISING · 63TRUST · 76SAFE · EXPERIMENTALDESIGN

pytorch-kaldi is a project for developing state-of-the-art DNN/RNN hybrid speech recognition systems. The DNN part is managed by pytorch, while feature extraction, label…

$ npx skills add mravanelli/pytorch-kaldi

2.4K stars50 quality76 trustExperimental4y 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: License is unclear

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

pythonspeech

by mravanelliDetailsQuick view

Page 1

Showing the strongest 16 results to keep the registry fast for humans and agents. Refine by use case, platform, stars, or search query for a narrower shortlist.

Try the agent resolve API

AI Agent Skills Directory

Results for “verifiable-computation”

Choose by scenario, quality, and trust signals.

Feldera

Hummingbird

Linear Algebra With Python

Volesti

Blockchain Crypto Mpc

Agile_v_skills

Catboost

Chainlink

EsProc

Linkis

Cargo Crev

Symforce

Mars

arboreto

agent-harness

Pytorch Kaldi

AI Agent Skills Directory

Results for “verifiable-computation”

Choose by scenario, quality, and trust signals.

Feldera

Hummingbird

Linear Algebra With Python

Volesti

Blockchain Crypto Mpc

Agile_v_skills

Catboost

Chainlink

EsProc

Linkis

Cargo Crev

Symforce

Mars

arboreto

agent-harness

Pytorch Kaldi

AI Agent Skills Directory

Results for “verifiable-computation”

Choose by scenario, quality, and trust signals.

Feldera

Hummingbird

Linear Algebra With Python

Volesti

Blockchain Crypto Mpc

Agile_v_skills

Catboost

Chainlink

EsProc

Linkis

Cargo Crev

Symforce

Mars

arboreto

agent-harness

Pytorch Kaldi