Types

Type checking and type generation

Showing 865-888 of 6622 skills
FStarLang

fstarverifier

by FStarLang

Use fstar.exe to verify F* code and interpret the errors reported

Code Review 3.1K 8mo ago
kreuzberg-dev

MIME Detection & Routing

by kreuzberg-dev

A polyglot document intelligence framework with a Rust core. Extract text, metadata, and structured information from PDFs, Office documents, images, and 76+ formats. Available for Rust, Python, Ruby, Java, Go, PHP, Elixir, C#, TypeScript (Node/Bun/Wasm/Deno)- or use via CLI, REST API, or MCP server.

Code Gen 9.5K 8mo ago
lobehub

debug

by lobehub

Debug package usage guide. Use when adding debug logging, understanding log namespaces, or implementing debugging features. Triggers on debug logging requests or logging implementation.

Debugging 83.5K 9mo ago
lobehub

recent-data

by lobehub

Guide for using Recent Data (topics, resources, pages). Use when working with recently accessed items, implementing recent lists, or accessing session store recent data. Triggers on recent data usage or implementation tasks.

Auth 83.5K 8mo ago
lobehub

data-fetching

by lobehub

Data fetching architecture guide using Service layer + Zustand Store + SWR. Use when implementing data fetching, creating services, working with store hooks, or migrating from useEffect. Triggers on data loading, API calls, service creation, or store data fetching tasks.

Code Gen 83.5K 8mo ago
lukevella

prisma-upgrade-v7

by lukevella

Complete migration guide from Prisma ORM v6 to v7 covering all breaking changes. Use when upgrading Prisma versions, encountering v7 errors, or migrating existing projects. Triggers on "upgrade to prisma 7", "prisma 7 migration", "prisma-client generator", "driver adapter required".

Code Gen 5.3K 8mo ago
rohitg00

deslop

by rohitg00

Remove AI-generated code slop, unnecessary comments, and over-engineering from the current branch diff. Use after completing changes and before committing.

Debugging 2.9K 8mo ago
lukevella

logging

by lukevella

Wide events logging pattern and conventions for this project. Use when writing logging code, adding observability, or implementing request tracing.

Kubernetes 5.3K 8mo ago
levnikolaevich

ln-130-tasks-docs-creator

by levnikolaevich

Creates task management documentation (docs/tasks/README.md + kanban_board.md). L2 Worker in ln-100-documents-pipeline. Sets up Linear integration and task tracking rules.

Automation 583 8mo ago
levnikolaevich

ln-623-code-principles-auditor

by levnikolaevich

"Code principles audit worker (L3). Checks DRY (10 types), KISS/YAGNI, error handling, DI patterns. Returns findings with severity, location, effort, pattern_signature."

Code Gen 583 8mo ago
lukevella

prisma-database-setup

by lukevella

Guides for configuring Prisma with different database providers (PostgreSQL, MySQL, SQLite, MongoDB, etc.). Use when setting up a new project, changing databases, or troubleshooting connection issues. Triggers on "configure postgres", "connect to mysql", "setup mongodb", "sqlite setup".

Code Gen 5.3K 8mo ago
cyberkaida

deep-analysis

by cyberkaida

Performs focused, depth-first investigation of specific reverse engineering questions through iterative analysis and database improvement. Answers questions like "What does this function do?", "Does this use crypto?", "What's the C2 address?", "Fix types in this function". Makes incremental improvements (renaming, retyping, commenting) to aid understanding. Returns evidence-based answers with new investigation threads. Use after binary-triage for investigating specific suspicious areas or when user asks focused questions about binary behavior.

Code Review 879 11mo ago
OneKeyHQ

1k-error-handling

by OneKeyHQ

Error handling patterns — try/catch, async errors, error boundaries, useAsyncCall, and toast messages.

Processing 2.5K 7mo ago
levnikolaevich

ln-622-build-auditor

by levnikolaevich

Build health audit worker (L3). Checks compiler/linter errors, deprecation warnings, type errors, failed tests, build configuration issues. Returns findings with severity (Critical/High/Medium/Low), location, effort, and recommendations.

Code Review 583 8mo ago
levnikolaevich

ln-601-semantic-content-auditor

by levnikolaevich

Semantic content auditor (L3 Worker). Verifies document content matches stated SCOPE, aligns with project goals, and reflects actual codebase state. Called by ln-600 for each project document. Returns scope_alignment and fact_accuracy scores with findings.

File Ops 583 8mo ago
onmax

vue

by onmax

Use when editing .vue files, creating Vue 3 components, writing composables, or testing Vue code - provides Composition API patterns, props/emits best practices, VueUse integration, and reactive destructuring guidance

Testing 724 8mo ago
unitarylab

numpy-minimum-eigensolver

by unitarylab

NumPyMinimumEigensolver skill for deterministic minimum-eigenvalue computation in qiskit_algorithms.minimum_eigensolvers.

Types 42 6mo ago
PBH-BTN

openspec-apply-change

by PBH-BTN

Implement tasks from an OpenSpec change. Use when the user wants to start implementing, continue implementation, or work through tasks.

Automation 6.4K 8mo ago
nuxt-modules

manage-mcp

by nuxt-modules

Manage MCP servers in Nuxt - setup, create, customize with middleware, review, and troubleshoot

Code Review 181 8mo ago
PBH-BTN

openspec-continue-change

by PBH-BTN

Continue working on an OpenSpec change by creating the next artifact. Use when the user wants to progress their change, create the next artifact, or continue their workflow.

Code Gen 6.4K 8mo ago
levnikolaevich

ln-510-quality-coordinator

by levnikolaevich

"Coordinates code quality checks: ln-511 code quality, ln-512 tech debt cleanup, ln-513 agent review, ln-514 regression. Sequential pipeline, returns results to ln-500."

Agents 583 8mo ago
shipshitdev

channel-validator

by shipshitdev

Use this skill when users need to validate their marketing channel strategy, assess channel focus, or determine lead gen priorities. Activates for "validate my channels," "am I on the right platforms," "should I focus on X or Y channel," or when assessing marketing spread.

Code Gen 38 9mo ago
shipshitdev

clerk-validator

by shipshitdev

Validate Clerk authentication configuration and detect deprecated patterns. Ensures proper proxy.ts usage (Next.js 16), ClerkProvider setup, and modern auth patterns. Use before any Clerk work or when auditing existing auth implementations.

Auth 38 9mo ago
pedronauck

drizzle-orm

by pedronauck

Expert guide for Drizzle ORM best practices, including schema definitions, queries, mutations, transactions, migrations, and performance optimization. Use when working with Drizzle ORM, database schemas, queries, or migrations.

Database 641 7mo ago