Formal theorem proving with research, testing, and verification phases
Development
Code generation, debugging, testing, and development workflows
Code quality checks, formatting, and metrics via qlty CLI
Code refactoring workflow - analyze β plan β implement β review β validate
Release preparation workflow - security audit β E2E tests β review β changelog β docs
Use RepoPrompt CLI for token-efficient codebase exploration
Document codebase as-is with thoughts directory for historical context
Comprehensive code review workflow - parallel specialized reviews β synthesis
Upgrade any skill to v5 Hybrid format using decision theory + modal logic
Test-driven development workflow with philosophy guide - plan β write tests β implement β validate
Comprehensive testing workflow - unit tests β₯ integration tests β E2E tests
Token-efficient code analysis via 5-layer stack (AST, Call Graph, CFG, DFG, PDG). 95% token savings.
Review UI code for Web Interface Guidelines compliance - accessibility, forms, animation, performance
Generate Robot Framework test cases from structured requirements or scenarios. Use when asked to create test cases,...
Guides the user through distributing Tauri applications for Android, including Google Play Store submission, APK and...
This skill should be used when the user asks to "configure Biome", "extend biome config", "set up BiomeJS", "add...
This skill should be used when the user asks to "review code", "review PR", "code review", "audit code", "check for...
This skill should be used when the user asks to "simplify code", "clean up code", "refactor for clarity", "improve...
Create atomic git commits with heuristic analysis, conventional-commit formatting, staging rules, optional deep...
This skill should be used when the user asks to "run npm test after 30 minutes", "git commit after 1 hour", "wait 2h...
This skill should be used when the user mentions "gh CLI", "gh command", asks to "view repository info", "trigger...
This skill should be used when the user asks to "create a pull request", "create PR", "open PR", "update a pull...
React and Next.js performance optimization guidelines from Vercel Engineering. This skill should be used when...
Analyze audience demographics, engagement patterns, and follower behavior across Instagram, YouTube, and LinkedIn...
Monitor brand reputation and sentiment across Twitter/X, Reddit, Instagram, YouTube, and LinkedIn using anysite MCP...