Tipus

Comprovació i generació de tipus

Skills: 865–888 de 6622
FStarLang

fstarverifier

FStarLang

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

Revisió de codi 3,1 k fa 8 mesos
kreuzberg-dev

MIME Detection & Routing

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.

Generació de codi 9,5 k fa 8 mesos
lobehub

debug

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.

Depuració 83,5 k fa 9 mesos
lobehub

recent-data

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.

Autenticació 83,5 k fa 8 mesos
lobehub

data-fetching

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.

Generació de codi 83,5 k fa 8 mesos
lukevella

prisma-upgrade-v7

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".

Generació de codi 5,3 k fa 8 mesos
rohitg00

deslop

rohitg00

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

Depuració 2,9 k fa 8 mesos
lukevella

logging

lukevella

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

Kubernetes 5,3 k fa 8 mesos
levnikolaevich

ln-130-tasks-docs-creator

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.

Automatització 583 fa 8 mesos
levnikolaevich

ln-623-code-principles-auditor

levnikolaevich

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

Generació de codi 583 fa 8 mesos
lukevella

prisma-database-setup

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".

Generació de codi 5,3 k fa 8 mesos
cyberkaida

deep-analysis

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.

Revisió de codi 879 fa 11 mesos
OneKeyHQ

1k-error-handling

OneKeyHQ

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

Processament de dades 2,5 k fa 7 mesos
levnikolaevich

ln-622-build-auditor

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.

Revisió de codi 583 fa 8 mesos
levnikolaevich

ln-601-semantic-content-auditor

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.

Operacions amb fitxers 583 fa 8 mesos
onmax

vue

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

Proves 724 fa 8 mesos
unitarylab

numpy-minimum-eigensolver

unitarylab

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

Tipus 42 fa 6 mesos
PBH-BTN

openspec-apply-change

PBH-BTN

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

Automatització 6,4 k fa 8 mesos
nuxt-modules

manage-mcp

nuxt-modules

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

Revisió de codi 181 fa 8 mesos
PBH-BTN

openspec-continue-change

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.

Generació de codi 6,4 k fa 8 mesos
levnikolaevich

ln-510-quality-coordinator

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 fa 8 mesos
shipshitdev

channel-validator

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.

Generació de codi 38 fa 9 mesos
shipshitdev

clerk-validator

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.

Autenticació 38 fa 9 mesos
pedronauck

drizzle-orm

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.

Bases de dades 641 fa 7 mesos