code-quality
538
invariant-analyzer
Identify and verify loop invariants for correctness proofs
a5c-ai
testing-security
query active
Search Skills
Find the perfect capability for your agent.
Popular searches
Results
53,183
matching skills for this query
Page
648
of 2660 pages
Keyword
ai
search by name, tag, or description
code-quality
538
argument-validator-generator
Generate argument validation logic with type coercion, constraints, custom validators, and helpful error messages for CLI applications.
a5c-ai
testing-security
code-quality
538
code-signing-setup
Configure code signing for macOS and Windows binaries with notarization.
a5c-ai
testing-security
code-quality
538
config-schema-validator
Generate Zod/JSON Schema configuration validators with defaults and error messages.
a5c-ai
testing-security
code-quality
538
dotenv-integration
Integrate dotenv for environment variable loading with validation and type coercion.
a5c-ai
testing-security
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