Star200+

AI Agent Skill Repository

AI Agent Skills Directory

Browse reusable skills for Codex, Claude Code, Cursor, finance, research, web scraping, PPT, football analytics, data, marketing, design, and more.

Finance Stock analysisQuant Trading researchSlides PPT generationDocs PDF parsingExtract Web scraping
0
Matches
10
Tracks
48
Targets
Resolve APITask in, selected skill and install plan out.Skills APIMachine-readable shortlist with trust and safety signals.llms.txtA crawler-friendly entry point for agent surfaces.

Live registry search

Results for “rocq prover”

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.

Showing 0-0 of 0 ranked candidates matching "rocq prover"

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

No exact or relevant skills found.

Clear filters