code-quality
538
invariant-analyzer
Identify and verify loop invariants for correctness proofs
a5c-ai
testing-security
结果数
53,183
符合搜索条件的技能
当前页
648
共 2660 页
关键词
ai
按名称、标签或描述搜索
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