🎯
Skills
Loading...
Showing 30 of 119811 results
Translates Mermaid sequenceDiagrams of cryptographic protocols into ProVerif (.pv) formal verification models to check properties like secrecy, authentication, forward secrecy, and replay resistance. Takes annotated message flows (Sign, Verify, DH, HKDF, Enc, Dec) and emits a model ready to pass to the ProVerif verifier.
AI-powered adversarial UI testing skill from the Browserbase plugin — analyzes git diffs to test only the changed paths, or explores the whole app to find bugs by generating realistic user flows. Uses Browserbase remote sessions with anti-bot stealth, CAPTCHA solving, and residential proxies.
Uses mutation testing to find gaps in cryptographic test vector coverage, then generates new vectors that specifically exercise the escaped mutants. Compares before/after mutation kill rates to prove the new vectors actually improve coverage — useful for building Wycheproof-style cross-implementation test suites.
A legal page generator skill from Marketing Skills, a collection of AI-powered marketing skills for content creation, SEO, social media, and campaign management.
A comprehensive developer toolkit providing Claude Code skills and plugins for software development workflows, code quality, and productivity.
Operates OBLITERATUS, an open-source toolkit that locates refusal directions in LLM hidden states via SVD/PCA and projects them out of the weights to remove guardrails while preserving language capability. Ships with Gradio UI, CLI (basic/advanced/informed/LoRA methods, strength sweeps), Python API, and Colab.
Rust code navigator from Rust Skills, an AI-powered Rust development assistant plugin with meta-cognition framework for domain-correct architectural solutions
Helps developers design, validate, and implement federated GraphQL schemas by providing guidance on creating subgraphs, defining entity keys, and managing schema composition across distributed services.
A Claude Code skill for automating video editing in JianYing Pro (剪映), providing a Python API wrapper for tasks like recording, media import, subtitle generation, web effects, and project export.
Skill for managing local Airflow environments with Astro CLI, covering start/stop/restart, log viewing, container troubleshooting, and environment issue fixing
Comprehensive Mapbox Agent Skills for building fast, secure Mapbox applications across Web, iOS, and Android. Covers performance optimization, cartographic design, framework integration, search, geospatial operations, and security best practices.
A comprehensive developer toolkit providing Claude Code skills and plugins for software development workflows, code quality, and productivity.
Audit an AI agent codebase against the OWASP Agentic Security Initiative (ASI) Top 10 — prompt injection (ASI-01), tool-use governance (ASI-02), excessive agency (ASI-03), unauthorized escalation (ASI-04), trust boundary violation (ASI-05), insufficient logging (ASI-06), insecure identity (ASI-07), policy bypass (ASI-08), supply-chain integrity (ASI-09), behavioral anomaly (ASI-10). Ships per-check Python scanners that look for positive controls (PolicyEvaluator, allowlists, DIDs, chain-hashed audit trails) and anti-patterns (`eval`, `subprocess.run(shell=True)`, `@latest`).
Part of Binance Skills Hub, an open skills marketplace giving AI agents native access to cryptocurrency operations including token search, trade execution, wallet tracking, signal monitoring, and DeFi protocol interaction across centralized and decentralized platforms.
A terms page generator skill from Marketing Skills, a collection of AI-powered marketing skills for content creation, SEO, social media, and campaign management.
A collection of Claude Code skills covering framework-specific development expertise including FastAPI, Python, and other technologies with best practices.
A content strategy skill from Marketing Skills, a collection of AI-powered marketing skills for content creation, SEO, social media, and campaign management.
Part of the PM Skills Marketplace providing 65 skills and 36 chained workflows for product management. Offers guided PRD writing and other PM workflows including discovery, strategy, launch planning, and metrics definition, with skills that chain together for end-to-end processes.
Customizes FlipOff, a zero-build vanilla HTML/CSS/JS web app that emulates mechanical split-flap (airport board) displays with authentic scramble animations and clacking audio. Covers grid size, colors, messages, sounds, keyboard controls, and embedding — all editable through `js/constants.js`.
Generates frontend design templates and boilerplate code for web applications, providing ready-to-use UI components and layout structures.
Guidelines for implementing JWT authentication with security best practices, covering token creation with asymmetric signing (RS256, ES256, EdDSA), proper claim structure, key rotation with kid headers, short-lived token strategies, and refresh mechanisms.
Part of the PM Skills Marketplace offering 65 product management skills across 8 plugins. Provides structured frameworks for product strategy, discovery, assumption mapping, and prioritization, encoding proven methodologies from Teresa Torres, Marty Cagan, and Alberto Savoia.
A source-first research CLI that hydrates resources (git repos, local directories, npm packages) into searchable context and answers questions grounded in those sources. Supports configured and anonymous one-off resources, multi-resource queries, and project/global configuration.
A content optimization skill from Marketing Skills, a collection of AI-powered marketing skills for content creation, SEO, social media, and campaign management.
Dify is an open-source platform for building AI application workflows including RAG pipelines, AI agents, and model management with visual orchestration, supporting self-hosting and cloud deployment.