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-16 of 44 ranked candidates matching "formal-verification"
Best blend of relevance, quality, freshness, and verified outcomes
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
$ npx skills add Certora/CertoraProverScenario Browser automation · I need my agent to control a browser, fill forms, and verify web app workflows.
CLI + Codex · 4 targets
:white_check_mark: A Go library for email verification without sending any emails.
$ npx skills add AfterShip/email-verifierScenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.
CLI + Codex · 4 targets
Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System,…
$ npx skills add PaddlePaddle/PaddleSpeechScenario Multimodal media · I need my agent to process images, video, or audio and extract useful information.
CLI + Codex · 4 targets
PostgreSQL backup tool with Point-In-Time-Recovery and restore verification
$ npx skills add databasus/databasusScenario Database and SQL · I need my agent to inspect database schemas, write SQL, and explain query results.
CLI + Codex · 4 targets
The verification layer for coding agents
$ npx skills add VibiumDev/vibiumScenario Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.
CLI + Codex · 4 targets
📚 Two books on harness engineering — the design philosophies behind Claude Code & Codex: constraints, query loops, context governance, multi-agent verification. harness…
$ npx skills add wquguru/harness-booksScenario Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.
Claude Code + OpenAI Agents · 4 targets
[验证码识别-训练] This project is based on CNN/ResNet/DenseNet+GRU/LSTM+CTC/CrossEntropy to realize verification code identification. This project is only for training the mode…
$ npx skills add kerlomz/captcha_trainerScenario Document processing · I need my agent to read PDFs, extract tables, and turn documents into structured data.
CLI + Codex · 4 targets
A simple command line tool using which you can skip phone number based SMS verification by using a temporary phone number that acts like a proxy.
$ npx skills add Narasimha1997/fake-smsScenario Legal and compliance · I need my agent to review contracts, privacy policies, or compliance documents and summarize risks.
CLI + Codex · 4 targets
Plan, execute, and document validation, verification, and transfer of analytical procedures under the governing framework - ICH Q2(R2) and Q14, USP <1220>/<1225>/<1226>,…
$ npx skills add K-Dense-AI/scientific-agent-skills --skill analytical-method-validationScenario Research agents · I need my agent to research a topic, compare sources, and produce a concise report.
Claude Code + CLI · 4 targets
Embeddable and Secure PHP Authentication System with Login, Signup, User Profiles, Profile Editing, Account Verification via Email, Password Reset System, Remember-Me Fe…
$ npx skills add msaad1999/PHP-Login-SystemScenario Database and SQL · I need my agent to inspect database schemas, write SQL, and explain query results.
CLI + Codex · 4 targets
Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.
$ npx skills add larlarua/AutoCVEScenario Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.
CLI + Codex · 4 targets
The open-source Playwright library for AI browser regression testing with intelligent caching, auto-healing, and multi-model verification.
$ npx skills add bug0inc/passmarkScenario Testing and QA · I need my agent to test a web app, reproduce bugs, and verify fixes.
Browser agents + CLI · 4 targets
Enterprise-grade deep research skill for Claude Code with 8-phase pipeline, source credibility scoring, and automated validation. Outperforms OpenAI, Gemini, and Claude…
$ npx skills add 199-biotechnologies/claude-deep-research-skillScenario Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.
Claude Code + OpenAI Agents · 4 targets
Human-guided Research Agent Skill for Master and PhD students in CS, AI, math, and engineering: literature grounding, novelty gates, math formalization, experiment plann…
$ npx skills add ngtiendong/Academic-Research-Agent-SkillScenario Research agents · I need my agent to research a topic, compare sources, and produce a concise report.
Claude Code + CLI · 4 targets
A framework for smart contract verification in Coq
$ npx skills add AU-COBRA/ConCertScenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.
CLI + Codex · 4 targets
Free open-source Multilogin/Incogniton/Kameleo alternative for fingerprint spoofing (Canvas/WebGL/User-Agent). Perfect for Selenium/Playwright/Puppeteer automation, web…
$ npx skills add itbrowser-net/undetectable-fingerprint-browserScenario Testing and QA · I need my agent to test a web app, reproduce bugs, and verify fixes.
Browser agents + CLI · 4 targets
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 APIAI 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-16 of 44 ranked candidates matching "formal-verification"
Best blend of relevance, quality, freshness, and verified outcomes
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
$ npx skills add Certora/CertoraProverScenario Browser automation · I need my agent to control a browser, fill forms, and verify web app workflows.
CLI + Codex · 4 targets
:white_check_mark: A Go library for email verification without sending any emails.
$ npx skills add AfterShip/email-verifierScenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.
CLI + Codex · 4 targets
Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System,…
$ npx skills add PaddlePaddle/PaddleSpeechScenario Multimodal media · I need my agent to process images, video, or audio and extract useful information.
CLI + Codex · 4 targets
PostgreSQL backup tool with Point-In-Time-Recovery and restore verification
$ npx skills add databasus/databasusScenario Database and SQL · I need my agent to inspect database schemas, write SQL, and explain query results.
CLI + Codex · 4 targets
The verification layer for coding agents
$ npx skills add VibiumDev/vibiumScenario Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.
CLI + Codex · 4 targets
📚 Two books on harness engineering — the design philosophies behind Claude Code & Codex: constraints, query loops, context governance, multi-agent verification. harness…
$ npx skills add wquguru/harness-booksScenario Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.
Claude Code + OpenAI Agents · 4 targets
[验证码识别-训练] This project is based on CNN/ResNet/DenseNet+GRU/LSTM+CTC/CrossEntropy to realize verification code identification. This project is only for training the mode…
$ npx skills add kerlomz/captcha_trainerScenario Document processing · I need my agent to read PDFs, extract tables, and turn documents into structured data.
CLI + Codex · 4 targets
A simple command line tool using which you can skip phone number based SMS verification by using a temporary phone number that acts like a proxy.
$ npx skills add Narasimha1997/fake-smsScenario Legal and compliance · I need my agent to review contracts, privacy policies, or compliance documents and summarize risks.
CLI + Codex · 4 targets
Plan, execute, and document validation, verification, and transfer of analytical procedures under the governing framework - ICH Q2(R2) and Q14, USP <1220>/<1225>/<1226>,…
$ npx skills add K-Dense-AI/scientific-agent-skills --skill analytical-method-validationScenario Research agents · I need my agent to research a topic, compare sources, and produce a concise report.
Claude Code + CLI · 4 targets
Embeddable and Secure PHP Authentication System with Login, Signup, User Profiles, Profile Editing, Account Verification via Email, Password Reset System, Remember-Me Fe…
$ npx skills add msaad1999/PHP-Login-SystemScenario Database and SQL · I need my agent to inspect database schemas, write SQL, and explain query results.
CLI + Codex · 4 targets
Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.
$ npx skills add larlarua/AutoCVEScenario Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.
CLI + Codex · 4 targets
The open-source Playwright library for AI browser regression testing with intelligent caching, auto-healing, and multi-model verification.
$ npx skills add bug0inc/passmarkScenario Testing and QA · I need my agent to test a web app, reproduce bugs, and verify fixes.
Browser agents + CLI · 4 targets
Enterprise-grade deep research skill for Claude Code with 8-phase pipeline, source credibility scoring, and automated validation. Outperforms OpenAI, Gemini, and Claude…
$ npx skills add 199-biotechnologies/claude-deep-research-skillScenario Coding agents · I need a coding agent that can understand a repository, edit code, and review pull requests.
Claude Code + OpenAI Agents · 4 targets
Human-guided Research Agent Skill for Master and PhD students in CS, AI, math, and engineering: literature grounding, novelty gates, math formalization, experiment plann…
$ npx skills add ngtiendong/Academic-Research-Agent-SkillScenario Research agents · I need my agent to research a topic, compare sources, and produce a concise report.
Claude Code + CLI · 4 targets
A framework for smart contract verification in Coq
$ npx skills add AU-COBRA/ConCertScenario GitHub automation · I need my agent to triage GitHub issues, review pull requests, and summarize repository changes.
CLI + Codex · 4 targets
Free open-source Multilogin/Incogniton/Kameleo alternative for fingerprint spoofing (Canvas/WebGL/User-Agent). Perfect for Selenium/Playwright/Puppeteer automation, web…
$ npx skills add itbrowser-net/undetectable-fingerprint-browserScenario Testing and QA · I need my agent to test a web app, reproduce bugs, and verify fixes.
Browser agents + CLI · 4 targets
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