类型

类型检查与类型生成

显示 1249-1272 / 共 6622 个技能
fmind

MLOps Validation

fmind

Guide to implement rigorous validation layers including static analysis, automated testing, structured logging, and security scanning.

数据处理 1420 9个月前
zrt-ai-lab

mcp-builder

zrt-ai-lab

Guide for creating high-quality MCP (Model Context Protocol) servers that enable LLMs to interact with external services through well-designed tools. Use when building MCP servers to integrate external APIs or services, whether in Python (FastMCP) or Node/TypeScript (MCP SDK).

数据处理 294 9个月前
JoelLewis

stp-automation

JoelLewis

"Straight-through processing and automation: STP design, exception-based workflow, STP rate metrics, integration patterns, process automation, and operational efficiency for securities operations."

代码评审 218 8个月前
instantdb

instantdb

instantdb

Build complete, functional apps with InstantDB as the backend. Use when creating React/vanilla JS or expo applications. Triggers on requests for building apps.

认证鉴权 8 8个月前
JoelLewis

reg-bi

JoelLewis

"SEC Regulation Best Interest (Reg BI): disclosure, care, conflict of interest, and compliance obligations for broker-dealer recommendations."

金融 218 8个月前
mikeyobrien

tui-validate

mikeyobrien

Validates Terminal User Interface (TUI) output using freeze for screenshot capture and LLM-as-judge for semantic validation. Supports both visual (PNG/SVG) and text-based validation modes.

CLI 工具 3185 9个月前
mikeyobrien

ralph-operations

mikeyobrien

Use when managing Ralph orchestration loops, analyzing diagnostic data, debugging hat selection, investigating backpressure, or performing post-mortem analysis

认证鉴权 3185 8个月前
oyi77

content-publisher

oyi77

Automates drafting and publishing articles to Substack and Medium with Apify and Notion integration

CLI 工具 17 8个月前
oyi77

self-improving-agent

oyi77

Agent that learns from feedback and improves its own performance over time

智能体 17 8个月前
https-deeplearning-ai

craftedwell-brand

https-deeplearning-ai

CraftedWell brand guidelines for presentations and documents. Use this skill whenever creating or styling documents (docx, pdf) or presentations (pptx) for CraftedWell. Apply warm, artisanal aesthetic with chocolate/caramel color palette, Georgia headings, and Arial body text.

设计 1422 9个月前
angular

reference-signal-forms

angular

Explains the mental model and architecture of the code under packages/forms/signals. You MUST use this skill any time you plan to work with code in packages/forms/signals

API 开发 10.1万 8个月前
https-deeplearning-ai

Practice Question Generator

https-deeplearning-ai

数据处理 1422 9个月前
whawkinsiv

validate

whawkinsiv

"Use this skill when the user needs to validate a business idea, test demand before building, run a smoke test, create an MVP experiment, or decide whether an idea is worth pursuing. Covers demand validation, smoke tests, fake-door tests, landing page experiments, and go/no-go decision frameworks for bootstrapped founders."

代码生成 260 8个月前
whawkinsiv

technical-seo

whawkinsiv

"Use this skill to perform comprehensive SEO audits, implement technical optimizations, improve on-page SEO, optimize for Core Web Vitals, and implement GEO (Generative Engine Optimization) for AI search engines."

代码评审 260 8个月前
Tristan578

api-middleware-migrate

Tristan578

Migrate API routes from raw authenticateRequest to withApiMiddleware pattern. Takes a route file path, reads current auth/billing/validation, generates the middleware wrapper. Use when working on #7431, #7430, #7434.

类型 12 1个月前
Tristan578

mcp-commands

Tristan578

Add MCP commands and chat handlers for SpawnForge AI parity. Use when adding engine capabilities to the AI vocabulary, writing chat handlers, updating the commands.json manifest, or auditing AI-human feature parity.

游戏开发 12 1个月前
ag-grid

technology-stack

ag-grid

'Technology stack and architectural constraints. Use when choosing technologies, adding dependencies, or understanding zero-dependency requirements.'

测试 486 9个月前
giuseppe-trisciuoglio

spring-boot-rest-api-standards

giuseppe-trisciuoglio

Provides REST API design standards and best practices for Spring Boot projects. Use when creating or reviewing REST endpoints, DTOs, error handling, pagination, security headers, HATEOAS and architecture patterns.

API 开发 363 8个月前
dotnet

running-unit-tests

dotnet

Guide for running MSBuild unit tests efficiently. Use when running, scoping, filtering, or speeding up unit tests in this repository, or when finalizing a change with a heavier validation pass. Covers xUnit v3 + Microsoft.Testing.Platform (MTP) specifics and which dotnet test flags do and don't apply.

测试 5552 3个月前
oldwinter

mdbase

oldwinter

Manage mdbase collections — folders of markdown files with YAML frontmatter treated as typed, queryable data. Use when working in a project that contains an mdbase.yaml file, or when the user asks to initialize, create, query, or validate an mdbase collection.

代码生成 10 8个月前
oldwinter

supabase-postgres-best-practices

oldwinter

Postgres performance optimization and best practices from Supabase. Use this skill when writing, reviewing, or optimizing Postgres queries, schema designs, or database configurations.

数据库 10 7个月前
ArabelaTso

code-completion-semantic-constraints

ArabelaTso

Automatically complete partial code snippets while satisfying semantic constraints including variable types, invariants, pre/post-conditions, interface contracts, and expected input/output behavior. Use when users provide incomplete code with specific requirements like "complete this function that takes a list and returns sorted unique elements" or "fill in this method body that must maintain the invariant that x stays positive" or "implement this interface method with these type constraints." Produces compilable, executable code with tests and a constraint satisfaction report.

分析 259 8个月前
ArabelaTso

c-cpp-to-lean4-translator

ArabelaTso

Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully. Use when the user asks to convert C/C++ code to Lean4, port C/C++ programs to Lean4, translate imperative code to functional Lean4, or create Lean4 versions of C/C++ algorithms.

性能 259 8个月前
MakFly

symfony:interfaces-and-autowiring

MakFly

Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for interfaces and autowiring tasks.

智能体 226 8个月前