A zkVM for Decentralized Private Computations (DPC)
$ npx skills add ProvableHQ/snarkVMScenario Finance and quant · I need my agent to analyze markets, financial data, filings, portfolios, and quant strategies.
CLI + Codex · 4 targets
AI Agent Skill Repository
Browse reusable skills for Codex, Claude Code, Cursor, finance, research, web scraping, PPT, football analytics, data, marketing, design, and more.
Live registry search
Exact name and slug matches are checked against the live registry before ranked alternatives.
Decision filters
Showing 1-6 of 6 ranked candidates matching "polyhedral-computations"
Best blend of relevance, quality, freshness, and verified outcomes
A zkVM for Decentralized Private Computations (DPC)
$ npx skills add ProvableHQ/snarkVMScenario Finance and quant · I need my agent to analyze markets, financial data, filings, portfolios, and quant strategies.
CLI + Codex · 4 targets
V library to develop Artificial Intelligence and High-Performance Scientific Computations
$ npx skills add vlang/vslScenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.
CLI + Codex · 4 targets
Differentiable computations of the signature and logsignature transforms, on both CPU and GPU. (ICLR 2021)
$ npx skills add patrick-kidger/signatoryScenario Multimodal media · I need my agent to process images, video, or audio and extract useful information.
CLI + Codex · 4 targets
Pure Javascript manually written :ok_hand: implementation of BLAS, Many numerical software applications use BLAS computations, including Armadillo, LAPACK, LINPACK, GNU…
$ npx skills add R-js/blasjsScenario Multimodal media · I need my agent to process images, video, or audio and extract useful information.
CLI + Codex · 4 targets
Computator.NET is a special kind of numerical software that is fast and easy to use but not worse than others feature-wise. It's features include: - Real and complex fun…
$ npx skills add PawelTroka/Computator.NETScenario Data analysis · I need my agent to analyze CSV data, produce insights, and explain trends.
CLI + Codex · 4 targets
zenoh-flow aims at providing a zenoh-based data-flow programming framework for computations that span from the cloud to the device.
$ npx skills add eclipse-zenoh-flow/zenoh-flowScenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.
CLI + Codex · 4 targets
AI Agent Skill Repository
Browse reusable skills for Codex, Claude Code, Cursor, finance, research, web scraping, PPT, football analytics, data, marketing, design, and more.
Live registry search
Exact name and slug matches are checked against the live registry before ranked alternatives.
Decision filters
Showing 1-6 of 6 ranked candidates matching "polyhedral-computations"
Best blend of relevance, quality, freshness, and verified outcomes
A zkVM for Decentralized Private Computations (DPC)
$ npx skills add ProvableHQ/snarkVMScenario Finance and quant · I need my agent to analyze markets, financial data, filings, portfolios, and quant strategies.
CLI + Codex · 4 targets
V library to develop Artificial Intelligence and High-Performance Scientific Computations
$ npx skills add vlang/vslScenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.
CLI + Codex · 4 targets
Differentiable computations of the signature and logsignature transforms, on both CPU and GPU. (ICLR 2021)
$ npx skills add patrick-kidger/signatoryScenario Multimodal media · I need my agent to process images, video, or audio and extract useful information.
CLI + Codex · 4 targets
Pure Javascript manually written :ok_hand: implementation of BLAS, Many numerical software applications use BLAS computations, including Armadillo, LAPACK, LINPACK, GNU…
$ npx skills add R-js/blasjsScenario Multimodal media · I need my agent to process images, video, or audio and extract useful information.
CLI + Codex · 4 targets
Computator.NET is a special kind of numerical software that is fast and easy to use but not worse than others feature-wise. It's features include: - Real and complex fun…
$ npx skills add PawelTroka/Computator.NETScenario Data analysis · I need my agent to analyze CSV data, produce insights, and explain trends.
CLI + Codex · 4 targets
zenoh-flow aims at providing a zenoh-based data-flow programming framework for computations that span from the cloud to the device.
$ npx skills add eclipse-zenoh-flow/zenoh-flowScenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.
CLI + Codex · 4 targets