Skill ディレクトリ

AI Agent のための再利用可能な Skill を見つける。

タスクで実際の GitHub Skill を検索し、利用前に Stars、Trust、監査、カテゴリ、インストール経路を確認できます。

すべての推奨は、リポジトリ、監査、インストール経路に明確につながっています。

検索結果: abstract-interpretation

英語版ディレクトリ

AI skill for OpenClaw & Claude Code — recommend from 10000+ Nano Banana Pro (Gemini) image prompts. Smart search by use case, content remix, sample images.

1.8K
Stars
77/100
信頼
カテゴリ: development監査

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

3.2K
Stars
74/100
信頼
カテゴリ: development監査

A cross-agent research paper toolkit that transforms papers into learning environments with summaries, code demos, and a local web viewer for Claude Code, Codex, OpenCode, and DeepSeek Harness.

290
Stars
76/100
信頼
カテゴリ: research監査

An agent skill that transforms AI assistants into expert economics paper writers by synthesizing best practices from over 50 authoritative guides.

470
Stars
78/100
信頼
カテゴリ: research監査

Create a global market conditions report spanning equities, rates, FX, commodities, risk appetite, and sector rotation.

2.7K
Stars
72/100
信頼
カテゴリ: Finance監査

cvpr2024/cvpr2023/cvpr2022/cvpr2021/cvpr2020/cvpr2019/cvpr2018/cvpr2017 论文/代码/解读/直播合集,极市团队整理

12K
Stars
71/100
信頼
カテゴリ: ml-automation監査

A python library for decision tree visualization and model interpretation.

3.1K
Stars
75/100
信頼
カテゴリ: ml-automation監査

Autonomously improve a real artifact (code, training recipe, agent harness, data pipeline, prompt) against an objective and an evaluator, using Hypothesis Tree Refinement (HTR) from the Arbor paper. Use this whenever someone wants to iteratively optimize something over many experiments without overfitting — e.g. "get my model's eval score up", "improve this agent/harness", "tune this pipeline", "beat the baseline on this benchmark", "run a search over approaches and keep the best", "do an MLE-bench / Kaggle-style optimization", or any long-horizon "make this artifact better and don't just memorize the dev set" task. Trigger it even when the user doesn't say "Arbor" or "hypothesis tree" but describes repeated experiment-and-evaluate loops, branching exploration of competing ideas, or worries about a dev/test gap. Runs Claude itself as the coordinator with subagent executors in isolated git worktrees; for the standalone `arbor` CLI tool see references/arbor-upstream.md.

34K
Stars
77/100
信頼
カテゴリ: research監査

Infer gene regulatory networks (GRNs) from gene expression data using scalable algorithms (GRNBoost2, GENIE3). Use when analyzing transcriptomics data (bulk RNA-seq, single-cell RNA-seq) to identify transcription factor-target gene relationships and regulatory interactions. Supports distributed computation for large-scale datasets.

34K
Stars
77/100
信頼
カテゴリ: data-analysis監査

Generate highly simplified personified IP mascot logos with Flat-first geometry, rounded heavy forms, two IP colors plus one background color by default, and extremely subtle neo-skeuomorphic shading. Use when creating an animal, creature, robot, ghost, plant, object, or other character as a minimal square logo or app-icon artwork, including when the agent should infer three distinct IP directions from product-repository context.

2.0K
Stars
73/100
信頼
カテゴリ: automation監査

When the user wants to plan, design, or implement an A/B test or experiment. Also use when the user mentions "A/B test," "split test," "experiment," "test this change," "variant copy," "multivariate test," "hypothesis," "conversion experiment," "statistical significance," or "test this." For tracking implementation, see analytics-tracking.

25K
Stars
77/100
信頼
カテゴリ: design-creative監査