code-quality
538
dotenv-integration
Integrate dotenv for environment variable loading with validation and type coercion.
a5c-ai
testing-security
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
code-quality
538
shellcheck-config-generator
Generate .shellcheckrc configuration with appropriate rules, exclusions, and severity settings for shell script linting.
a5c-ai
testing-security
code-quality
538
compliance-validator
Validate compliance during migration with rule checking, audit trails, and security control validation
a5c-ai
testing-security
code-quality
538
migration-validator
Validate functional equivalence after migration with side-by-side comparison and behavioral verification
a5c-ai
testing-security
code-quality
538
static-code-analyzer
Deep static analysis of codebases for quality, complexity, and migration readiness assessment
a5c-ai
testing-security
code-quality
538
certora-prover
Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.
a5c-ai
testing-security
code-quality
538
electron-auto-updater-setup
Configure electron-updater with code signing verification, delta updates, staged rollouts, and multiple update channels for Electron applications
a5c-ai
testing-security
code-quality
538
ev-certificate-validator
Validate EV code signing certificate chain and timestamp for Windows SmartScreen
a5c-ai
testing-security
code-quality
538
macos-sparkle-config
Configure Sparkle framework for macOS auto-updates with appcast, delta updates, and code signing
a5c-ai
testing-security
code-quality
538
visual-regression-setup
Configure visual regression testing with Percy, Chromatic, or custom screenshot comparison
a5c-ai
testing-security
code-quality
538
gaap-ifrs-compliance-checker
Automated compliance validation skill for GAAP and IFRS accounting standards with codification references
a5c-ai
testing-security
code-quality
538
ap-style-writing
AP style compliance, grammar checking, and PR writing assistance
a5c-ai
testing-security
code-quality
538
misra-compliance
MISRA C/C++ static analysis and compliance checking
a5c-ai
testing-security
code-quality
538
pssr-checklist-generator
Pre-Startup Safety Review checklist generation skill for startup readiness verification
a5c-ai
testing-security
code-quality
538
latex-proof-formatter
Format proofs and algorithms in publication-quality LaTeX
a5c-ai
testing-security
code-quality
538
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
a5c-ai
testing-security
code-quality
538
coq-proof-assistant
Interface with Coq proof assistant for formal verification
a5c-ai
testing-security
code-quality
538
math-notation-validator
Validate and standardize mathematical notation
a5c-ai
testing-security
code-quality
538
iso-nanotechnology-compliance-checker
Regulatory compliance skill for ISO nanotechnology standards verification and documentation
a5c-ai
testing-security
code-quality
538
pymatching-decoder
Minimum-weight perfect matching decoder skill for surface code error correction
a5c-ai
testing-security
code-quality
538
medical-coding-audit
Review clinical documentation and assigned codes for accuracy, compliance, and optimization, identifying documentation improvement opportunities and coding errors
a5c-ai
testing-security
code-quality
538
rtl-linting
RTL code quality checking and linting. Runs lint rules, identifies synthesis issues, detects inferred latches, and generates lint reports with waivers.
a5c-ai
testing-security
code-quality
538
verilog-sv-language
Expert-level Verilog and SystemVerilog knowledge following IEEE 1800 standards. Generates synthesizable RTL code with proper coding styles and constructs.
a5c-ai
testing-security