Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis
Skills(SKILL.md)は、AIエージェント(Claude Code、Cursor、Codexなど)に特定の能力を追加するための設定ファイルです。
詳しく見る →Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis
Implement CEGAR for synthesis and verification workflows
Prove termination of algorithms and programs using ranking functions and well-founded orderings
Deep integration with computational fluid dynamics tools for internal and external flow analysis
Expert skill for CNC programming and toolpath optimization using CAM software
Skill for manufacturing process planning including operation sequencing and work instructions
Materials database query skill for accessing structure and property data from multiple repositories
COMSOL finite element skill for multiphysics simulations including electromagnetics, heat transfer, and fluid dynamics
EPICS control system skill for accelerator and beamline instrument control and monitoring
LabVIEW instrument control skill for DAQ systems, hardware integration, and real-time data acquisition
PyMeasure laboratory automation skill for instrument control and automated measurement sequences
Scikit-HEP toolkit skill for particle physics data analysis with modern Python tools
Amazon Braket integration skill for multi-vendor quantum hardware access and hybrid workflows
PennyLane integration skill for hybrid quantum-classical machine learning and variational algorithms
Skill for formal logical reasoning and argument validation
Skill for assessing feasibility of study replication
Skill for building and simulating systems dynamics models
Evaluate learning materials and technology for WCAG, Section 508, and accessibility compliance with remediation recommendations
Project healthcare workforce requirements based on patient volume trends, acuity levels, productivity standards, and skill mix optimization
Godot Engine integration skill for GDScript/C# development, scene composition, node management, and editor automation. Enables LLMs to interact with Godot Editor through MCP servers for asset manipulation, script generation, and automated workflows.
Unity Engine integration skill for project setup, C# scripting, scene management, prefab creation, and editor automation. Enables LLMs to interact with Unity Editor through MCP servers for asset manipulation, script generation, and automated workflows.
Unreal Engine integration skill for C++/Blueprint development, actor lifecycle management, plugin development, and editor automation. Enables LLMs to interact with Unreal Editor through MCP servers for level manipulation, Blueprint generation, and automated workflows.
Unreal Engine Material Editor skill for PBR workflows, material instances, shader complexity, and material functions.
ZBrush skill for decimation and normal map baking.
Expert skill for native iOS development with Swift and SwiftUI
Manage API and SDK deprecation lifecycle
Implement OAuth 2.0 and OpenID Connect flows for SDKs
Azure security configuration scanning and hardening using Azure Security Center, Azure Policy, and ScoutSuite
GCP security configuration scanning and hardening using Security Command Center, Forseti, and ScoutSuite
NgRx state management for Angular including store, effects, entity adapter, component store, and selectors.
Tailwind CSS configuration, custom plugins, design systems, theming, and component patterns for modern web applications.
help and documentation for babysitter command usage, processes, skills, agents, and methodologies. use this command to understand how to use babysitter effectively.
Orchestrate via @babysitter. Use this skill when asked to babysit a run, orchestrate a process or whenever it is called explicitly. (babysit, babysitter, orchestrate, orchestrate a run, workflow, etc.)
A practical emotional intelligence coach that develops the four core EQ competencies — self-awareness, self-regulation, empathy, and social skills — through structured exercises, reflection prompts, a
A comprehensive full-stack web application development coach that guides developers through the complete lifecycle of building, deploying, and monetizing a modern web application. Based on real-world
>
>
>
>
>
>
>
WCAG 2.2 AA compliance, ARIA patterns, keyboard navigation, screen reader optimization
Steam-style achievement system with XP, levels, streaks, and skill trees. Gamifies the development workflow. 25 achievements across 5 categories.
Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity
Build Python agents with Agentica SDK - @agentic decorator, spawn(), persistence, MCP integration
Backend architecture patterns, API design, database optimization, and server-side best practices for Node.js, Express, and Next.js API routes.
Developer relations - community building, documentation, DevRel metrics.
Django security best practices, authentication, authorization, CSRF protection, SQL injection prevention, XSS prevention, and secure deployment configurations.
Dockerfile best practices, multi-stage builds, docker-compose, container networking, volume management, and image optimization.