Security & Testing Habilidades de Claude

Dependency Vulnerability Scanner

Identifies, reports, and remediates security vulnerabilities in project dependencies across multiple programming languages.

Security Fix Review

Reviews security patches and bug fixes to ensure they are complete, correct, and free of unintended side effects.

CQ-AI Deterministic Security Scanner

Conducts deterministic, AI-enhanced security scans with ternary classification to ensure reproducible vulnerability detection across any environment.

Testing Framework Helper

Generates comprehensive, production-ready test suites for JavaScript, TypeScript, and Python using frameworks like Jest, Pytest, and Playwright.

Verification Before Completion

Enforces a strict evidence-first workflow by requiring fresh command output and verification before any task is marked as complete.

Deno Secure Sandboxes

Executes untrusted code in secure, isolated Linux microVMs for AI agents and multi-tenant applications.

Smart Contract Generator

Generates secure, production-ready Solidity smart contracts using OpenZeppelin standards and industry best practices.

Ark Vulnerability Fixer

Streamlines CVE research and security patch workflows for Ark using CIRCL API integration and automated dependency analysis.

Find Bugs & Security Auditor

Performs rigorous security audits and bug detection on local code changes using a structured multi-phase review process.

Test-Driven Development Workflow

Guides the Red-Green-Refactor cycle to ensure high-quality, verified code through test-first development.

Go Architecture Test Manager

Enforces Hexagonal Architecture and DDD constraints by automatically generating and updating Go architecture tests.

Web3 Smart Contract Testing

Streamlines smart contract validation using Hardhat and Foundry to ensure secure, gas-efficient, and production-ready blockchain code.

Signal Isolated Auth

Enforces maximal security isolation for Signal authentication using nested VM and container boundaries with colored operad constraints.

Semgrep Static Analysis

Performs high-speed static analysis and security scanning to identify vulnerabilities and enforce custom code patterns.

Polar Integration Validator

Validates and secures Polar.sh billing integrations by checking webhooks, signatures, and environment configurations.

Semgrep Rule Creator

Generates custom Semgrep rules to detect security vulnerabilities and logic bugs within source code.

Testcontainers for Go

Simplifies Go integration testing by providing lightweight, throwaway Docker instances for databases, message queues, and cloud services.

Security Implementation Guide

Implements production-ready security patterns to protect web applications against common vulnerabilities like XSS, CSRF, and SQL injection.

Terraform Test Expert

Validates infrastructure-as-code configurations using the native Terraform testing framework and .tftest.hcl patterns.

Tizen Sandbox Escape Detector

Tests Tizen application sandboxes for privilege escalation and escape vulnerabilities to ensure robust process isolation.

Sandbox Security

Executes untrusted code and system commands in secure, isolated microVMs to protect the host environment.

SARIF Security Parsing

Parses and analyzes Static Analysis Results Interchange Format (SARIF) files to streamline security vulnerability management and tool integration.

SPI Parallelism Verification

Verifies Strong Parallelism Invariance (SPI) and GF(3) conservation across deterministic data streams to ensure execution-order independence.

QA Regression Testing with Playwright

Automates browser-based regression testing using a modular Playwright framework and reusable test skills.

React & TypeScript Code Reviewer

Conducts comprehensive quality audits for React and TypeScript applications to ensure best practices, performance, and accessibility.

SPI Parallel Verification

Verifies Strong Parallelism Invariance and GF(3) conservation to ensure deterministic execution across parallel 3-way color streams.

SPI Parallel & GF(3) Verifier

Ensures mathematical consistency and execution order invariance for deterministic color streams and tripartite data.

Property-Based Testing

Implements advanced property-based testing strategies to ensure code correctness and security through comprehensive input exploration and invariant validation.

ProofGeneral Narya: Higher-Dimensional Type Theory

Automates higher-dimensional formal verification and version control using observational type theory and hierarchical agent structures.

Python Code Reviewer

Audits Python source code for PEP8 compliance, modern type hints, and architectural anti-patterns using industry-standard tooling.