Agent Skills: sql-server-2025
|
ID: josiahsiegel/claude-plugin-marketplace/sql-server-2025
549
Install this agent skill to your local
Skill Files
The files that make up sql-server-2025.
Loading file tree…
More agent skills
- review-prThis skill should be used when user asks to "review a PR", "review pull request", "review this pr", "code review this PR", "check PR #N", provides a GitHub PR URL, or explicitly invokes "review-pr".
- react-routerMaster React Router v6 for production routing with error boundaries, lazy loading, and navigation guards
- lean4-theorem-provingUse 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
- openship-configThis skill should be used when the user asks to "create openship.json", "configure an OpenShip deployment", "make a repo deployable on OpenShip", or fix "openship config validate" errors.
- codeqlComprehensive guide for setting up and configuring CodeQL code scanning via GitHub Actions workflows and the CodeQL CLI. This skill should be used when users need help with code scanning configuration, CodeQL workflow files, CodeQL CLI commands, SARIF output, security analysis setup, or troubleshooting CodeQL analysis.
- founder-psychologyHelp users navigate the psychological burdens of leadership by cultivating emotional awareness, reframing failure, and building sustainable mental health practices.