code-quality
538
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
a5c-ai
testing-security
结果数
53,183
符合搜索条件的技能
当前页
649
共 2660 页
关键词
ai
按名称、标签或描述搜索
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
code-quality
538
process-validator
Validate process JS files for correct SDK patterns, task definitions, syntax, and quality gate implementation.
a5c-ai
testing-security
code-quality
538
code-coverage-analysis
Multi-language code coverage analysis, reporting, and quality gate enforcement
a5c-ai
testing-security
code-quality
538
homoglyph-detector
Byte-level Unicode homoglyph detection for identifying invisible character substitutions in code
a5c-ai
testing-security
code-quality
538
sast-analyzer
Static Application Security Testing orchestration and analysis. Execute Semgrep, Bandit, ESLint security plugins, CodeQL, and other SAST tools. Parse, prioritize, and deduplicate findings across multiple tools with remediation guidance.
a5c-ai
testing-security
code-quality
538
static-analysis-runner
Run static analysis tools including SonarQube, ESLint, and multi-language linters
a5c-ai
testing-security
code-quality
538
tech-writing-linter
Lint technical documentation for style, consistency, and readability
a5c-ai
testing-security
code-quality
538
tech-writing-lint
Automated technical writing style and quality enforcement. Lint documentation with Vale, check for inclusive language, enforce style guides, and analyze readability metrics.
a5c-ai
testing-security
code-quality
538
contrast-checker
Check color contrast ratios for WCAG compliance
a5c-ai
testing-security
code-quality
538
design-system-validator
Validate design system compliance in code and detect token usage violations
a5c-ai
testing-security
code-quality
538
typescript
TypeScript configuration, strict mode, generics, and type utilities.
a5c-ai
testing-security