Your agent can do more. Find the skill that makes it happen.
Find your next superpower If you are an agent, refer to our llms.txt for full access.Performs black-box QA across slop-guard's MCP, CLI, fit, documentation, agent workflows, and writing effectiveness. Files GitHub issues for real problems uncovered during the audit.
Checks whether implemented changes are correct, safe, and ready to ship. Runs build, lint, and structural checks as a validation step before pushing code or creating a pull request.
Applies the ADIHQ framework with SOLID, DRY, KISS, YAGNI, decoupling, and OWASP/NIST security criteria. Enforces quantitative complexity thresholds and reports findings in a fixed severity, dimension, location, violation, and mandated-refactor matrix.
Runs the project's verification harness after code changes. Uses analysis, linting, formatting, and tests to verify Dart edits before declaring them complete.
Validate pull requests against acceptance criteria in a local environment. Serves as a standalone entry point for the qa-engineer agent and can optionally post the QA report as a pull request comment.
Report-only QA testing. (gstack)
Runs test-plan cases across CLI commands, headless Streamlit UI, MCP JSON-RPC, provider switches, and data lifecycle checks. Diagnoses failures, attempts fixes for up to three retry rounds, and records progress in a Markdown report.
Supports unit tests, Playwright end-to-end tests, manual browser testing, and test case design. Covers regression and acceptance testing, coverage analysis, edge cases, business rules, and role assignment validation.
Organizes user-facing feedback into Questions, Comments, and Alerts. Applies to proposed plans or refactors before implementation begins.
Formally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification. Also trigger when the user mentions "qedgen", "lean proof", "formal proof", "ver…
Accepts a query to search a note vault through QMD. Supports lexical, vector, and deep search.
Run comprehensive quality checks on code changes. Executes MegaLinter, Ruff, Bandit, ESLint, TypeScript, and tests for both backend and frontend.
Skills give your agent reusable instructions for a specific job. Pick one, read what it does, and bring it into your workflow.
A name only tells half the story. Search the full description and instructions to find the right fit.
Read the skill, visit its source, and see exactly what you’re adding to your agent.
Copy the install command from a skill page and run it in your project.
npx skillycli add owner/repo --skill name