Build AI-powered software with TypeSafe: small units of AI intelligence you can use like programming primitives. Its System One models, including Jev, turn natural language and application state into typed judgments and probabilities that code can combine. Use when a feature needs programmable common sense, when brainstorming what AI could make possible in an app, or when an LLM prompt-and-parse step could become a structured decision. Applications include routing, ranking, extraction, verification, and interactive experiences; these are starting points, not the limits. Read live docs and cookbooks to find useful patterns and discover new combinations.
中文简介正在准备中。当前显示原文说明。
typesafe-ai/skills☆ 27612026年9月12日 更新
Rust systems programming patterns including ownership, traits, async runtime, error handling, and unsafe guidelines
中文简介正在准备中。当前显示原文说明。
rohitg00/awesome-claude-code-toolkit☆ 27252026年5月12日 更新
Manage software complexity through deep modules, information hiding, and strategic programming. Use when the user mentions "module design", "API too complex", "shallow class", "complexity budget", "strategic vs tactical", "deep module", "information leakage", "pass-through method", "this code is over-engineered", or "simplify this design". Also trigger when reviewing an interface for simplicity, evaluating whether an abstraction is pulling its weight, deciding whether a comment is worth writing, or choosing between general-purpose and special-purpose approaches. Covers deep vs shallow modules, red flags for complexity, and comments as design documentation. For code quality, see clean-code. For architecture boundaries, see clean-architecture.
中文简介正在准备中。当前显示原文说明。
wondelai/skills☆ 24802026年9月11日 更新
Write game shaders from cross-engine fundamentals — the vertex→fragment pipeline, coordinate spaces, UV math, and common 2D/3D effects (tint, UV scroll, dissolve, outline, fresnel rim, vignette) in GLSL with HLSL equivalents. Use when the user mentions shaders, fragment/pixel shader, vertex shader, UV, GLSL, HLSL, or effects like dissolve, outline, or rim light.
中文简介正在准备中。当前显示原文说明。
gamedev-skills/awesome-gamedev-agent-skills☆ 24522026年10月9日 更新
How to develop, modify, and extend the Claude Code codebase following its established programming style, patterns, and conventions. Use this skill whenever working on the claude-code source — adding tools, commands, utils, components, types, hooks, services, or fixing bugs. Also use when the user asks about claude-code architecture, coding standards, file organization, or wants to understand how the codebase works. This skill ensures all contributions match the existing codebase style exactly.
中文简介正在准备中。当前显示原文说明。
Leanmcp/gateway-skills☆ 21122026年10月8日 更新
Solving finite-horizon LQR via dynamic programming for MPC.
中文简介正在准备中。当前显示原文说明。
benchflow-ai/skillsbench☆ 18652026年10月13日 更新
World-class Java and Spring Boot development skill for enterprise applications, microservices, and cloud-native systems. Expertise in Spring Framework, Spring Boot 3.x, Spring Cloud, JPA/Hibernate, and reactive programming with WebFlux. Includes project scaffolding, dependency management, security implementation, and performance optimization.
中文简介正在准备中。当前显示原文说明。
benchflow-ai/skillsbench☆ 18652026年10月13日 更新
Operational workflow for hard integer-programming optimization tasks: selecting an installed solver, preserving solver/incumbent certificates, extracting feasible schedules, recomputing metrics from final outputs, and writing consistent reports. Use when a task requires a MIP, solver status, objective value, bound, gap, formulation write-up, or benchmark output files.
中文简介正在准备中。当前显示原文说明。
benchflow-ai/skillsbench☆ 18652026年10月13日 更新
Permutation and sequencing integer-programming formulations with ordered local-window variables, prefix/suffix continuity, and overlap penalties. Use when assigning exams, jobs, tasks, visits, blocks, or resources to ordered positions and costs depend on adjacent pairs, sliding triples, n-grams, short-horizon pressure, or overlapping local patterns.
中文简介正在准备中。当前显示原文说明。
benchflow-ai/skillsbench☆ 18652026年10月13日 更新
Manage and generate competitive programming templates
中文简介正在准备中。当前显示原文说明。
a5c-ai/babysitter☆ 18612026年9月17日 更新
Interface with AtCoder for Japanese competitive programming contests
中文简介正在准备中。当前显示原文说明。
a5c-ai/babysitter☆ 18612026年9月17日 更新
Maintain and match against a library of classic dynamic programming patterns. Provides pattern matching, template code generation, variant detection, and problem-to-pattern mapping for DP problems.
中文简介正在准备中。当前显示原文说明。
a5c-ai/babysitter☆ 18612026年9月17日 更新
Scaffold Rust projects with Cargo, module organization, testing, and development tooling. Use when starting Rust applications or libraries and establishing their project structure.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Master Python 3.12+ with modern features, async programming, performance optimization, and production-ready practices. Expert in the latest Python ecosystem including uv, ruff, pydantic, and FastAPI. Use PROACTIVELY for Python development, optimization, or advanced Python patterns.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Write idiomatic Ruby code with metaprogramming, Rails patterns, and performance optimization. Specializes in Ruby on Rails, gem development, and testing frameworks. Use PROACTIVELY for Ruby refactoring, optimization, or complex Ruby features.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Master Rust async programming with Tokio, async traits, error handling, and concurrent patterns. Use when building async Rust applications, implementing concurrent systems, or debugging async code.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Master enterprise-grade Scala development with functional programming, distributed systems, and big data processing. Expert in Apache Pekko, Akka, Spark, ZIO/Cats Effect, and reactive architectures. Use PROACTIVELY for Scala system design, performance optimization, or enterprise integration.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Implement memory-safe programming with RAII, ownership, smart pointers, and resource management across Rust, C++, and C. Use when writing safe systems code, managing resources, or preventing memory bugs.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Master ES6+ features including async/await, destructuring, spread operators, arrow functions, promises, modules, iterators, generators, and functional programming patterns for writing clean, efficient JavaScript code. Use when refactoring legacy code, implementing modern patterns, or optimizing JavaScript applications.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Expert Haskell engineer specializing in advanced type systems, pure functional design, and high-reliability software. Use PROACTIVELY for type-level programming, concurrency, and architecture guidance.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Master defensive Bash programming techniques for production-grade scripts. Use when writing robust shell scripts, CI/CD pipelines, or system utilities requiring fault tolerance and safety.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Master Python asyncio, concurrent programming, and async/await patterns for high-performance applications. Use when building async APIs, concurrent systems, or I/O-bound applications requiring non-blocking operations.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
Write efficient C code with proper memory management, pointer arithmetic, and system calls. Handles embedded systems, kernel modules, and performance-critical code. Use PROACTIVELY for C optimization, memory issues, or system programming.
中文简介正在准备中。当前显示原文说明。
rmyndharis/antigravity-skills☆ 18242026年10月15日 更新
PR code review that surfaces decay risks, design smells, and maintainability issues with concrete Symptom → Source → Consequence → Remedy findings, drawing on twelve classic engineering books. Triggers when: user asks to review code, check a PR, shares a diff or pastes code asking "does this look right?" / "any issues here?" / "ready to merge?", or asks for feedback on a function, class, or file. Also triggers when user mentions: code smells / refactoring / clean architecture / DDD / SOLID principles / Hyrum's Law / deep modules / tactical programming / conceptual integrity / Brooks's Law / Mythical Man-Month / second system effect. Do NOT trigger for: questions about how to write code from scratch, language syntax questions, or framework/tool questions where no existing code is shared.
中文简介正在准备中。当前显示原文说明。
hyhmrright/brooks-lint☆ 15412026年10月19日 更新