Results for “type-safe”

Build cloud backend applications with Encore — type-safe backend framework with built-in infrastructure. Use when someone asks to "build a backend", "Encore", "type-safe API framework", "backend with built-in infra", "auto-provision cloud resources", or "backend framework with databases built-in". Covers API definition, databases, pub/sub, cron, and auto-provisioned infrastructure.

The English summary is being prepared. Showing the original description.

Write, review, and refactor Kotlin code using established conventions. Covers safe handling of missing values, immutable data, coroutines for asynchronous work, and type-safe configuration builders, helping keep application code readable and maintainable.

• Reviewing Kotlin code for unsafe null handling
• Refactoring mutable data and deeply nested code
• Designing asynchronous work with coroutines and Flow

Implement Kotlin applications with asynchronous tasks, shared code across platforms, Android interfaces, and servers. The skill covers state modeling, cancellation handling, tests, and code checks, with guidance for Compose, Ktor, and Flow data streams.

• Implement asynchronous tasks with coroutines and Flow
• Design shared code for Kotlin Multiplatform
• Build Android interfaces with Jetpack Compose

Implement type-safe Jetpack Navigation Compose routes using Kotlin serialization. Use only when defining typed Compose destinations and arguments; defer XML navigation, deep links, animations, and generic auth or bottom-navigation work.

The English summary is being prepared. Showing the original description.

| Type-safe ORM for Cloudflare D1 databases using Drizzle. Use when: building D1 database schemas, writing type-safe SQL queries, managing migrations with Drizzle Kit, defining table relations, implementing prepared statements, using D1 batch API, or encountering D1_ERROR, transaction errors, foreign key constraint failures, or schema inference issues.

The English summary is being prepared. Showing the original description.

Build robust TypeScript applications with Effect — type-safe error handling, concurrency, dependency injection, and streaming. Use when someone asks to "handle errors without try-catch", "type-safe error handling in TypeScript", "dependency injection without classes", "concurrent TypeScript", "Effect library", "replace try-catch with typed errors", or "functional programming in TypeScript". Covers Effect, Layer, Schedule, Stream, and Schema.

The English summary is being prepared. Showing the original description.

Build high-performance APIs with Elysia on Bun. Use when someone asks to "create an API with Bun", "build a REST API with Elysia", "set up WebSocket server on Bun", "type-safe API with Eden Treaty", "Elysia plugin", or "fastest TypeScript HTTP framework". Covers REST routes, WebSocket, validation with TypeBox, Eden Treaty type-safe client, plugins, auth guards, and OpenAPI/Swagger generation.

The English summary is being prepared. Showing the original description.

Actix Web is a powerful, high-performance web framework for Rust. It provides async handlers, type-safe extractors, middleware, and integrates with the Rust ecosystem for building fast, reliable, and memory-safe web services.

The English summary is being prepared. Showing the original description.

Expert guide for type-safe Python AI agent development with Pydantic AI — dependency injection, structured outputs, model-agnostic routing, and graph workflows / Panduan ahli pengembangan agen AI Python type-safe dengan Pydantic AI.

The English summary is being prepared. Showing the original description.

Expert guide for TypeScript 5.8+ advanced type system, strict mode, generics, utility types, branded types, inferred type predicates, isolated declarations, and type-safe architectural patterns / Panduan ahli untuk sistem tipe TypeScript 5.8+, mode strict, generics, utility types, branded types, inferred type predicates, isolated declarations, dan pola arsitektur type-safe.

The English summary is being prepared. Showing the original description.

TanStack Router best practices for type-safe routing, file-based routing, data loading, search params, and navigation in React. Use when building React SPAs with complex routing, implementing type-safe search params, setting up route loaders, integrating with TanStack Query, or configuring code splitting and preloading.

The English summary is being prepared. Showing the original description.

Use when needing 100% type-safe, schema-valid data extraction from LLMs. Keywords: structured output, JSON schema, Pydantic, Zod, type-safe, constrained decoding, validation, tool use.

The English summary is being prepared. Showing the original description.

Jetpack Compose navigation expert with type-safe routes, Hilt DI, and MVVM/MVI architecture. Activate on: Jetpack Compose navigation, Compose type-safe routes, Hilt dependency injection, MVVM Android, MVI pattern, Compose state management, NavHost, ViewModel. NOT for: XML layouts (use frontend-architect), iOS SwiftUI (use swiftui-data-flow-expert), React Native (use react-native-architect).

The English summary is being prepared. Showing the original description.

Implements type-safe reactive SQL persistence in Flutter using Drift v2.32 (formerly Moor) built on SQLite with automatic code generation. Activates when defining table schemas with Drift DSL, writing type-safe join or subquery operations, handling schema migrations with MigrationStrategy, using reactive watch() streams for live UI updates, implementing ACID transactions, defining foreign key constraints or cascade deletes, enabling WAL mode for write performance, troubleshooting generated .g.dart type mismatches, migrating from sqflite or sqlite3 v2 to v3, using DAOs for query separation, or building offline-first apps requiring strong relational data integrity and compile-time SQL verification.

The English summary is being prepared. Showing the original description.

Implements type-safe Flutter routing using AutoRoute v11 with code generation and @RoutePage annotations. Activates when setting up AutoRoute navigation, configuring AutoRouterConfig or RootStackRouter, generating route files with build_runner, using @RoutePage, @PathParam, or @QueryParam annotations, implementing AutoTabsRouter for bottom navigation tabs, adding navigation guards with AutoRouteGuard, setting up nested or child routes, handling type-safe route parameters, or migrating from string-based Navigator routing to compile-time-verified routes. Ideal for large apps requiring refactoring confidence and zero string-based routing errors.

The English summary is being prepared. Showing the original description.

Type-safe ORM for Cloudflare D1 using Drizzle. Use when building D1 schemas, writing type-safe queries, generating migrations with Drizzle Kit, defining relations, using db.batch, or hitting D1_ERROR, BEGIN TRANSACTION failures, foreign key constraints, env.DB undefined, or schema inference issues.

The English summary is being prepared. Showing the original description.

Build Android screens with Jetpack Compose using guidance on UI state, navigation, Material Design 3, and rendering performance. Includes patterns for separating screen logic from reusable components and migrating existing XML layouts.

• Starting an Android app with Jetpack Compose
• Migrating XML layouts to Compose
• Managing loading, error, and content states

Add Python type hints and configure strict checking with mypy or pyright to catch type errors before execution. Covers reusable classes that preserve type information, interfaces defined by required members, and checks for possibly missing values.

• Adding type hints to existing Python code
• Introducing strict type checks gradually
• Designing reusable classes with preserved types

Design reusable TypeScript components and API types with checks at compile time. Use generics, conditional rules, property transformations, and string patterns to derive types from existing definitions and verify how those types behave.

• Designing API clients with compile-time type checks
• Creating reusable components and helper types
• Defining types for configuration and state management

Review APIs, data structures, and workflows for mistakes that are easy to make silently. Proposes types, database constraints, and enforced checks to prevent misuse, ranks findings by impact, and explains what each fix can and cannot prevent.

• Design APIs that prevent invalid inputs and call sequences
• Audit existing code for silent misuse hazards
• Address recurring bugs by changing the design that permits them

Use the CopilotKit CLI to check app connections, credentials, and agent responses before investigating code. It also guides project creation, integration into existing apps, hosted project selection, typed agent identifier generation, and thread history imports.

• Diagnosing CopilotKit connection and authentication failures
• Creating a new CopilotKit project
• Adding CopilotKit to an existing app

Use Outlines to make language models produce data in a defined format. The skill covers extracting information into JSON, restricting classification labels, and applying Pydantic models, which define fields and data types, with local model backends.

• Extracting company or profile details into JSON
• Classifying text using a fixed set of labels
• Generating text that matches a specified pattern

Guides Python agent development with PydanticAI, covering tool calls and structured outputs checked against defined data types. Explains service injection, provider switching, streaming responses, and tests that run without calling a real language model.

• Building agents that return validated structured data
• Connecting customer support agents to order data
• Testing agent logic without real model calls

Use Outlines to make language models produce data in a defined format. The skill covers extracting information into JSON, restricting classification labels, and applying Pydantic models, which define fields and data types, with local model backends.

• Extracting company or profile details into JSON
• Classifying text using a fixed set of labels
• Generating text that matches a specified pattern