optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
Find the perfect capability for your agent.
Verify correctness of compiler optimizations using formal methods
Interface with Coq proof assistant for formal verification
Validate and standardize mathematical notation
Regulatory compliance skill for ISO nanotechnology standards verification and documentation
Minimum-weight perfect matching decoder skill for surface code error correction
Review clinical documentation and assigned codes for accuracy, compliance, and optimization, identifying documentation improvement opportunities and coding errors
RTL code quality checking and linting. Runs lint rules, identifies synthesis issues, detects inferred latches, and generates lint reports with waivers.
Expert-level Verilog and SystemVerilog knowledge following IEEE 1800 standards. Generates synthesizable RTL code with proper coding styles and constructs.
Validate process JS files for correct SDK patterns, task definitions, syntax, and quality gate implementation.
Multi-language code coverage analysis, reporting, and quality gate enforcement
Byte-level Unicode homoglyph detection for identifying invisible character substitutions in code
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.
Run static analysis tools including SonarQube, ESLint, and multi-language linters
Lint technical documentation for style, consistency, and readability
Automated technical writing style and quality enforcement. Lint documentation with Vale, check for inclusive language, enforce style guides, and analyze readability metrics.
Check color contrast ratios for WCAG compliance
Validate design system compliance in code and detect token usage violations
TypeScript configuration, strict mode, generics, and type utilities.