All Skills

Routes problems to appropriate mathematical frameworks using expert heuristics

Problem-solving strategies for integration theory in measure theory

Problem-solving strategies for proof theory in mathematical logic

Generate argument validation logic with type coercion, constraints, custom validators, and helpful error messages for CLI applications.

Query DeepWiki for repository documentation and structure. Use to understand open source projects, find API docs, and explore codebases.

Problem-solving strategies for gradient methods in optimization

Problem-solving strategies for first order odes in odes pdes

Problem-solving strategies for constrained optimization in optimization

Problem-solving strategies for boundary value problems in odes pdes

Generate table formatters for structured CLI output with column alignment, borders, and responsive sizing.

Migration workflow - research → analyze → plan → implement → review

Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)

Problem-solving strategies for connectedness in topology

Problem-solving strategies for compactness in topology

Optimize for search engine visibility and ranking. Use when asked to "improve SEO", "optimize for search", "fix meta tags", "add structured data", "sitemap optimization", or "search engine optimization".

This skill should be used when the user asks "what did you learn", "show insights", "any patterns noticed", "what should I know", "background analysis", "what patterns", or wants to see Mira's background analysis and predictions.

# Agent Workflow **Goal:** Create, edit, or validate BMAD agents following core standards. **Agent:** Agent Builder (Bond) **Module:** BMB --- ## Execution Select a sub-workflow based on user intent: | Trigger | Sub-workflow | Description | | --

Use when the user wants to sync their local Tandem source with the plugin cache, or when plugin changes aren't taking effect mid-session.

Problem-solving strategies for open sets in topology

Initialize a new project from the TypeScript template by renaming packages, updating metadata, and cleaning up documentation. Use when starting a new project, "bootstrapping" from this template, or setting up a fresh repository.

No Polling for Background Agents

Search library documentation and code examples via Nia

# Check Implementation Readiness Workflow **Goal:** Validate PRD, UX, Architecture and Epics specs are complete. **Agent:** Architect (Winston) **Module:** CORE --- ## Execution Read and follow: `./instructions.md` ## Validation After completion, verify against: `./checklist.md`

This skill should be used when the user asks "mira status", "show status", "how is mira doing", "system status", "index stats", "show mira stats", or wants a quick overview of Mira's index, storage, and active goals.