🧪
Kotlin Multiplatform Reviewer
This skill reviews Kotlin Multiplatform projects to validate expect/actual, shared module structure, and iOS interop, ensuring clean separation and correct
code-reviewdebuggingtestingrefactor
🧪
Laravel Constants And Configuration
This skill helps you replace hardcoded values with constants, enums, and config in Laravel projects to improve maintainability and configurability.
backenddebuggingrefactortesting
🐛
Lean4 Theorem Proving
Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for lemmas - provides build-first workflow, haveI/letI patterns, compiler-guided repair, and LSP integration
cameronfreerdebugging
🧪
Llm Provider Usage Statistics
This skill helps you debug token counts and optimize prefix caching across OpenAI, Anthropic, and Gemini by applying provider-specific usage rules.
debuggingperformanceapiai
🔍
Ln 623 Code Principles Auditor
This skill audits code principles (DRY, KISS, YAGNI, error handling, DI) and returns actionable findings with location, severity, and recommendations.
code-reviewrefactordebugging
🐛
Mcp Installer
Find, install, and configure MCP servers. Use proactively for MCP discovery, OAuth setup, env vars, stdio vs SSE transport, or troubleshooting MCP connections. Examples: - user: "Add the filesystem MCP server" → read server file, add to mcpServers in opencode.json, verify transport type - user: "How
igorwarzochadebugging
🧪
Mcu Embedded Review
This skill performs in-depth reviews of embedded Rust firmware for RP2350 and ESP32-S3, focusing on Embassy patterns, memory use, LED control, CAN, and SLCAN.
debuggingcode-reviewtesting
🐛
Meta Cognition Parallel
This skill helps you perform three-layer parallel meta-cognition analysis to synthesize language mechanics, design choices, and domain constraints for a
aiautomationbackenddebugging
🐛
Metabase
Query and analyze data from Metabase, create/update questions and dashboards, access the Metabase REST API, and troubleshoot Metabase SQL queries. Use when user mentions Metabase, dashboards, metrics, or asks to fetch/analyze business intelligence data.
robbowesdebugging