Type Theory
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping
Behavior tree design and implementation for robot decision making
Character controller skill for movement physics and platformer mechanics.
Generate Clap-based Rust CLI applications with derive macros, subcommands, and modern Rust patterns. Creates production-ready Rust CLI with proper cargo structure.
Generate Click-based Python CLI applications with decorators, groups, context, and modern Python patterns. Creates complete scaffolded CLI with proper project structure.
Deep integration with Docusaurus for documentation site development. Configure projects, manage sidebars, versioning, i18n, develop plugins, and optimize builds for React-based documentation.
Generate environment variable to CLI argument mapping with prefix support, type conversion, and fallback chains for configuration.
Forward+ and clustered rendering skill for transparency handling.
Expert skill for Gazebo Classic and Ignition/Gazebo Sim world creation and plugin development. Create SDF worlds with terrain, lighting, physics configuration, sensor models, and custom plugins.
Mobile GPU optimization skill for thermal management.