Skill UI

This skill enables users to cancel stuck or orphaned executions and background jobs via Ouroboros MCP tools. It supports listing active runs, cancelling specific execution IDs or jobs, and terminating all running projects. It handles various error states and provides CLI fallbacks when MCP tools are unavailable, ensuring project continuity and resource management.

This skill provides expert guidance for building modern Android user interfaces using Jetpack Compose. It covers essential topics including state management with ViewModels, type-safe navigation, performance optimization, and Material Design 3 implementation. Ideal for new projects or migrating legacy XML layouts to Compose.

This skill enables deploying applications and websites to the Vercel platform. It handles various deployment scenarios including linked and unlinked projects, git integration, and team selection. The assistant checks project state, authenticates CLI, and executes preview or production deployments based on user requests. It ensures best practices like using preview branches for testing before production.

Automates Linear issues, projects, cycles, labels, comments, and GraphQL workflows through Rube MCP’s Composio toolkit so teams can manage states, tasks, and custom queries without juggling direct APIs.

This skill provides production-ready architectural patterns for building robust mobile applications using React Native and Expo. It covers complex topics like state management, sophisticated navigation flow, integrating native modules, and implementing offline-first capabilities. It is ideal for starting new projects or optimizing existing large-scale React Native applications.

This skill helps developers resolve conflicts during Git merge or rebase operations. It guides users to check the current state, identify primary sources of changes, and resolve each conflict hunks while preserving intent. It emphasizes running automated checks like type checking and tests before finalizing the merge. This ensures code integrity and prevents breaking changes in the project.

Squirrel is an advanced, full-cycle AI coding skill designed to guide software development from concept to production. It automatically detects the current project state (greenfield, in-progress, or mature) and adapts an 8-phase engineering pipeline. This comprehensive workflow covers planning, building, rigorous testing, bug hunting, code polishing, documentation, and deployment readiness, ensuring high-quality, maintainable results.

This skill provides a robust system for tracking all code modifications using structured JSON records and enforcing a defined state machine (e.g., planned -> deployed). It is critical for AI coding workflows, ensuring that if a session expires or is abandoned, the next session receives the full context, progress summary, and blockers to resume seamlessly. Ideal for complex, multi-stage development projects and onboarding new codebases.

This skill guides the systematic triage of project issues and external pull requests (PRs). It moves development items through a defined state machine using roles (e.g., bug, enhancement) and states (e.g., ready-for-agent, wontfix). The process involves context gathering, cross-codebase verification, deep questioning (grilling), and generating comprehensive, agent-ready briefs or marking them for human implementation.

This skill enables developers to create Zustand stores following established patterns with proper TypeScript types and middleware. It provides templates for separating state and actions, using individual selectors, and subscribing outside React components. Ideal for React frontend development projects requiring robust state management solutions with type safety and best practices.

This skill develops and verifies mathematical proofs using the Lean theorem prover. It handles creating new proofs, continuing incomplete projects, and auditing existing formalizations to ensure they match original statements. It connects inputs to lemmas, assembles theorems, and checks axioms for reproducibility. Use it for formal verification tasks rather than ordinary drafting.

Runs ECC's engineering process retroactively on existing projects. Audits current state, reconstructs past decisions, and produces a four-axis gap register (thinking, coding practice, missing features, technology selection). Executes fixes forward through the plan-TDD-review pipeline. Ideal for mid-project adoption, inheriting codebases, or identifying what was missed.