Live registry search

Results for “category-theory”

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-7 of 7 ranked candidates matching "category-theory"

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

Milewski Ctfp Pdf

VERIFIEDEXCELLENT · 93TRUST · 84SAFE · REVIEWEDRESEARCH

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

$ npx skills add hmemcpy/milewski-ctfp-pdf

11.6K stars65 quality84 trustReviewed5mo 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: License is unclear

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

Scenario Document processing · I need my agent to read PDFs, extract tables, and turn documents into structured data.

CLI + Codex · 4 targets

texpdf

by hmemcpyDetailsQuick view

AiLearning Theory Applying

VERIFIEDEXCELLENT · 95TRUST · 84SAFE · REVIEWEDDESIGN

快速上手AI理论及应用实战：基础知识、Transformer、NLP、ML、DL、竞赛。含大量注释及数据集，力求每一位能看懂并复现。

$ npx skills add ben1234560/AiLearning-Theory-Applying

3.5K stars64 quality84 trustReviewed3mo 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: 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

jupyter-notebookmachine-learning

by ben1234560DetailsQuick view

Fieldtheory Cli

VERIFIEDEXCELLENT · 92TRUST · 82SAFE · REVIEWEDRESEARCH

Field Theory CLI for bookmarks, Library, commands, and agent workflows

$ npx skills add afar1/fieldtheory-cli

2.0K stars62 quality82 trustReviewed with permission notes2mo 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: Documentation summary is thin

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

Scenario Document processing · I need my agent to read PDFs, extract tables, and turn documents into structured data.

CLI + Codex · 4 targets

typescriptmarkdown

by afar1DetailsQuick view

Blockchain Guide

VERIFIEDEXCELLENT · 93TRUST · 86SAFE · REVIEWEDFINANCE

Introduce technologies on blockchain and distributed ledger, from theory to practice with bitcoin, ethereum and hyperledger.

$ npx skills add yeasy/blockchain_guide

7.1K stars66 quality86 trustReviewed with permission notes2mo since pushNeeds review

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

TrustStrong OpenAgentSkill Trust Score across adoption, recent maintenance, license clarity, documentation, dependency/…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 Finance and quant · I need my agent to analyze markets, financial data, filings, portfolios, and quant strategies.

CLI + Codex · 4 targets

gofintech

by yeasyDetailsQuick view

Ikos

VERIFIEDEXCELLENT · 89TRUST · 80SAFE · REVIEWEDCODING

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

$ npx skills add NASA-SW-VnV/ikos

3.2K stars63 quality80 trustReviewed with permission notes3mo 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 Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.

CLI + Codex · 4 targets

c++static-analysis

by NASA-SW-VnVDetailsQuick view

Manif

VERIFIEDEXCELLENT · 95TRUST · 86SAFE · REVIEWEDCODING

A small C++11 header-only library for Lie theory.

$ npx skills add artivis/manif

1.8K stars65 quality86 trustReviewed1mo 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 artivisDetailsQuick view

DevOps Learn By Doing

VERIFIEDSTRONG · 82TRUST · 84SAFE · REVIEWEDCODING

From Linux to Kubernetes: a curated, community-driven collection of free DevOps labs, challenges, and end-to-end projects—learn by doing and build real-world skills, not…

$ npx skills add deepakkumar-platform/DevOps-Learn-By-Doing

1.1K stars56 quality84 trustReviewedClaude Code6mo since pushSafe to try

QualitySolid option that is likely worth shortlisting for production workflows.

TrustGood trust signals with a few areas worth checking before rollout.Review: Documentation summary is thin

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

devops

by deepakkumar-platformDetailsQuick view

AI Agent Skills Directory

Results for “category-theory”

Choose by scenario, quality, and trust signals.

Milewski Ctfp Pdf

AiLearning Theory Applying

Fieldtheory Cli

Blockchain Guide

Ikos

Manif

DevOps Learn By Doing