code-quality
869
update-emitter
Update the TypeSpec emitter for Rust and optionally regenerate all clients
Azure
testing-security
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
code-quality
869
cosmos-pre-commit-validation
Run pre-commit checks for a specific set of crates. Use this when validating changes under sdk/cosmos before committing or during code review.
Azure
testing-security
testing
868
integration-tests
Guide for writing integration tests that verify CC interview behavior and runtime functionality using mock nodes. Use when user asks for help writing tests for a specific CC or feature.
zwave-js
testing-security
security
865
k8s-security
Audit Kubernetes RBAC, enforce policies, and manage secrets. Use for security reviews, permission audits, policy enforcement with Kyverno/Gatekeeper, and secret management.
rohitg00
testing-security
code-quality
860
shiki-skilld
ALWAYS use when writing code importing "shiki". Consult for debugging, best practices, or modifying shiki.
harlan-zw
testing-security
code-quality
857
code-guidelines
Enforce Sentry Dart/Flutter SDK code guidelines for implementation, refactoring, and review. Use when implementing features, adding new functionality, refactoring code, reviewing code, designing APIs, modifying public API surface, handling breaking changes, deprecating APIs, writing integrations, or making architecture decisions in any package in this Melos monorepo.
getsentry
testing-security
testing
857
test-guidelines
Enforce Sentry Dart/Flutter SDK test conventions for naming, structure, and fixtures. Use when writing tests, adding tests, modifying tests, reviewing test code, fixing failing tests, adding test coverage, TDD, reproducing bugs with tests, regression tests, or test refactoring in any package in this Melos monorepo.
getsentry
testing-security
code-quality
856
typescript
Typescript rules for the project Applies to files matching: *.tsx,*.ts.
FranciscoMoretti
testing-security
code-quality
853
course-review
审核技术培训课程的质量。检查代码可执行性、内容准确性、 学习曲线设计和讲解风格。当用户要求审查、审核或评估 课程内容时触发此 Skill。
AlibabaCloudDocs
testing-security
code-quality
848
formal-methods
Verify proofs, check theorem correctness, and solve satisfiability problems using Lean 4, Coq, and Z3 SMT solver. Use when the user asks to prove theorems, verify mathematical proofs, check logical satisfiability, or work with proof assistants.
Prismer-AI
testing-security
code-quality
848
formal-methods
Verify proofs, check theorem correctness, and solve satisfiability problems using Lean 4, Coq, and Z3 SMT solver. Use when the user asks to prove theorems, verify mathematical proofs, check logical satisfiability, or work with proof assistants.
Prismer-AI
testing-security
testing
848
theorem-proving
Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute. Use when the user asks to prove a theorem, verify a mathematical argument, construct a formal proof, or check proof correctness computationally.
Prismer-AI
testing-security
security
847
f8-features-obfuz-workflow
Use when implementing or troubleshooting Obfuz feature workflows — code obfuscation and protection in F8Framework.
TippingGame
testing-security
testing
844
scrub-experiment-issue-tldrs
Scheduled scrub workflow for maintaining newcomer-friendly TL;DR blocks on experiment issues.
marin-community
testing-security
code-quality
841
aris-auto-review-loop
Autonomous multi-round research review loop. Repeatedly reviews via Codex MCP, implements fixes, and re-reviews until positive assessment or max rounds reached. Use when user says "auto review loop", "review until it passes", or wants autonomous iterative improvement.
OpenLAIR
testing-security
testing
841
aris-experiment-bridge
Workflow 1.5: Bridge between idea discovery and auto review. Reads EXPERIMENT_PLAN.md, implements experiment code, deploys to GPU, collects initial results. Use when user says "实现实验", "implement experiments", "bridge", "从计划到跑实验", "deploy the plan", or has an experiment plan ready to execute.
OpenLAIR
testing-security
testing
841
aris-run-experiment
Deploy and run ML experiments on local, remote, Vast.ai, or Modal serverless GPU. Use when user says "run experiment", "deploy to server", "跑实验", or needs to launch training jobs.
OpenLAIR
testing-security
testing
841
ds-rebuttal
Use when a quest already has a paper, draft, or review package and the task is to map reviewer feedback into experiments, manuscript deltas, and a durable rebuttal / revision response.
OpenLAIR
testing-security
code-quality
839
roborev-fix
Use when the user asks to fix open reviews, invokes /roborev-fix, or provides job IDs; do not use when the user only pastes review findings with no request to discover or close reviews
roborev-dev
testing-security
code-quality
839
roborev-respond
Add a comment to a roborev code review and close it
roborev-dev
testing-security
code-quality
839
roborev-review-branch
Request a code review for all commits on the current branch and present the results
roborev-dev
testing-security