CtrlK
BlogDocsLog inGet started
Tessl Logo

Discover skills

Discover and install skills to enhance your AI agent's capabilities.

AllSkillsDocsRules
NameContainsScore

library-advisor

ArabelaTso/Skills-4-SE

Recommend relevant Isabelle/HOL or Coq standard library theories, lemmas, and tactics based on proof goals. Use when: (1) Users need library lemmas for their proof, (2) Proof goals match standard library patterns, (3) Users ask what libraries to import, (4) Specific lemmas are needed for list/set/arithmetic operations, (5) Users are stuck and need to know what library support exists, or (6) Guidance on find_theorems/Search commands is needed. Supports both Isabelle/HOL and Coq standard libraries.

Skills

90

1.03x

ArabelaTso/Skills-4-SE

Automatically generates executable tests that reproduce reported bugs from issue reports and code repositories. Use when users need to: (1) Create a test that reproduces a bug described in an issue report, (2) Generate failing tests from bug descriptions, stack traces, or error messages, (3) Validate bug reports by creating reproducible test cases, (4) Convert issue reports into executable regression tests. Takes a repository and issue report as input and produces test code that reliably triggers the reported bug.

Skills

90

1.41x

ArabelaTso/Skills-4-SE

Recommends appropriate software design patterns based on problem descriptions, requirements, or code scenarios. Use when designing software architecture, refactoring code, solving common design problems, or choosing between design approaches. Analyzes the problem context and suggests suitable creational, structural, behavioral, architectural, or concurrency patterns with implementation guidance and trade-off analysis.

Skills

90

1.14x

ArabelaTso/Skills-4-SE

Translate C/C++ programs to equivalent Dafny code while preserving semantics and ensuring verification. Use when users ask to convert, translate, or port C/C++ code to Dafny, or when they need to formally verify C/C++ algorithms using Dafny's verification capabilities. Handles functions, structs, pointers, arrays, memory management, and ensures the generated Dafny code is well-typed, executable, verifiable, and can successfully run.

Skills

90

1.00x

sickn33/antigravity-awesome-skills

Master AngularJS to Angular migration, including hybrid apps, component conversion, dependency injection changes, and routing migration.

Skills

90

1.02x

Vonage/cloud-runtime-cli

Implements concurrent Go patterns using goroutines and channels, designs and builds microservices with gRPC or REST, optimizes Go application performance with pprof, and enforces idiomatic Go with generics, interfaces, and robust error handling. Use when building Go applications requiring concurrent programming, microservices architecture, or high-performance systems. Invoke for goroutines, channels, Go generics, gRPC integration, CLI tools, benchmarks, or table-driven testing.

Skills

90

1.29x

camunda/camunda

Use when migrating, porting, or rewriting frontend code from operate/client/ or tasklist/client/ to the orchestration cluster webapp. Trigger when migrating legacy pages/components, converting React Router to TanStack Router, replacing MobX with TanStack Query, rewriting styled-components as SCSS, converting legacy tests to Vitest browser mode, or asking how a legacy pattern maps to the new app.

Skills

90

1.85x

dash0hq/agent-skills

Expert guidance for configuring and deploying the OpenTelemetry Collector. Use when setting up a Collector pipeline, configuring receivers, exporters, or processors, deploying a Collector to Kubernetes or Docker, or forwarding telemetry to Dash0. Triggers on requests involving collector, pipeline, OTLP receiver, exporter, or Dash0 collector setup.

Skills

90

1.61x

hookdeck/webhook-skills

Hookdeck Event Gateway — webhook infrastructure that replaces your queue. Use when receiving webhooks and need guaranteed delivery, automatic retries, replay, rate limiting, filtering, or observability. Eliminates the need for your own message queue for webhook processing.

Skills

90

1.35x

jeremylongshore/claude-code-plugins-plus-skills

Apply production-ready Groq SDK patterns for TypeScript and Python. Use when implementing Groq integrations, refactoring SDK usage, or establishing team coding standards for Groq. Trigger with phrases like "groq SDK patterns", "groq best practices", "groq code patterns", "idiomatic groq".

Skills

90

1.26x

jeremylongshore/claude-code-plugins-plus-skills

Capture your first meeting with Granola and review AI-enhanced notes. Use when testing Granola setup, learning the notepad + transcript flow, or understanding how Enhance Notes and Granola Chat work. Trigger: "granola hello world", "first granola meeting", "try granola", "granola test".

Skills

90

2.08x

jeremylongshore/claude-code-plugins-plus-skills

Apply production-ready Firecrawl SDK patterns for TypeScript and Python. Use when implementing Firecrawl integrations, building reusable scraping services, or establishing team coding standards for Firecrawl. Trigger with phrases like "firecrawl SDK patterns", "firecrawl best practices", "firecrawl code patterns", "idiomatic firecrawl", "firecrawl wrapper".

Skills

90

1.43x

danielyan-consulting/skills

Perform a comprehensive code security review against the 2025 MITRE CWE Top 25 Most Dangerous Software Weaknesses (sourced from https://cwe.mitre.org/top25/). Use this skill every time the user asks for a code security review, security audit, vulnerability scan, CWE review, secure code review, source review, or any variant of "check my code for security issues". This skill runs 25 dedicated analysis passes -- one per CWE in the Top 25 -- each focused on finding ALL instances of its assigned weakness across the entire codebase. Results are risk-ranked from highest to lowest and every finding includes a specific, actionable remediation recommendation grounded in good software security engineering practice and principles.

Skills

90

2.78x

jeremylongshore/claude-code-plugins-plus-skills

Manage incident response for Evernote integration issues. Use when troubleshooting production incidents, handling outages, or responding to Evernote service issues. Trigger with phrases like "evernote incident", "evernote outage", "evernote emergency", "troubleshoot evernote production".

Skills

90

1.61x

jeremylongshore/claude-code-plugins-plus-skills

Create a minimal working Documenso example. Use when starting a new Documenso integration, testing your setup, or learning basic document signing patterns. Trigger with phrases like "documenso hello world", "documenso example", "documenso quick start", "simple documenso code", "first document".

Skills

90

1.92x

jbaruch/spring-security-ai

v0.2.0

Secure AI agent APIs with Spring Security 7 - RBAC, method security, OAuth2, and per-user agent access control

Contains:

spring-security-ai

Secure Spring AI agent endpoints with Spring Security 7. Use when implementing RBAC for AI agents, per-user tool access, OAuth2 authentication, method-level security on tool methods, or securing ChatClient endpoints.

Skills

90

1.24x

TypeScript project structure, strict tsconfig, module resolution, path aliases, shared types, and monorepo patterns

Contains:

typescript-project-structure

TypeScript project structure, tsconfig configuration, and build setup. Use when starting any TypeScript project, setting up tsconfig.json, configuring path aliases, separating src from config, setting up ESM modules, creating build/dev scripts, or when seeing "cannot find module" errors. Triggers on: new TypeScript project, tsconfig setup, module resolution issues, path alias configuration, project scaffolding, "strict mode", barrel exports, type-only imports, monorepo setup, or build configuration.

Skills

90

1.09x

Go project structure -- cmd/internal layout, handler/service/repository layers, Makefile, config from environment, domain error types, test placement, dependency injection

Contains:

go-project-structure

Go project structure for web APIs and microservices -- cmd/internal/pkg layout, handler/service/repository layers, Makefile with standard targets, go.mod management, configuration from environment, proper test file placement, dependency injection, and domain error types. Use when starting a new Go web service, restructuring a Go project, or when code is in one main.go. Triggers on: new Go microservice, Go API project setup, "set up a Go project", monolithic main.go, missing internal/ package, Go project scaffolding, handler separation, Go configuration management.

Skills

90

1.02x

Proactive error handling for React and vanilla JS frontends — every data-fetching component gets loading, error, and empty states, error boundaries, fetch error handling, form validation, optimistic rollback

Contains:

frontend-error-handling

Proactive error handling for React and vanilla JS frontends. Every component that fetches or displays data MUST have loading, error, and empty states. Every React app needs error boundaries. Every fetch needs network + HTTP + parse error handling. Apply these patterns automatically whenever building frontend components — even when the user does not ask for error handling.

Skills

90

1.38x

Agent skills for iOS, iPadOS, Swift, SwiftUI, and modern Apple framework development.

Contains:

accessorysetupkit

Discover and configure Bluetooth and Wi-Fi accessories using AccessorySetupKit. Use when presenting a privacy-preserving accessory picker, defining discovery descriptors for BLE or Wi-Fi devices, handling accessory session events, migrating from CoreBluetooth permission-based scanning, or setting up accessories without requiring broad Bluetooth permissions.

activitykit

Implement, review, or improve Live Activities and Dynamic Island experiences in iOS apps using ActivityKit. Use when building real-time updating widgets for the Lock Screen and Dynamic Island — delivery tracking, sports scores, ride-sharing status, workout timers, media playback, or any time-sensitive information that updates in real time. Also use when working with ActivityKit, ActivityAttributes, Activity lifecycle (request/update/end), Dynamic Island layouts (compact/minimal/expanded), push-to-update Live Activities, or Lock Screen live widgets.

adattributionkit

Measure ad effectiveness with privacy-preserving attribution using AdAttributionKit. Use when registering ad impressions, handling attribution postbacks, updating conversion values, implementing re-engagement attribution, configuring publisher or advertiser apps, or replacing SKAdNetwork with AdAttributionKit for ad measurement.

Skills

90

Can't find what you're looking for? Evaluate a missing skill.