Security & Testing Habilidades de Claude

Testcontainers for Go

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

Signal Isolated Auth

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

Go Hexagonal & DDD Architect

Reviews Go codebases for Hexagonal Architecture compliance and Domain-Driven Design principles using automated tests and AI analysis.

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.

QA Regression Testing with Playwright

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

Security Implementation Guide

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

Python Code Reviewer

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

SPI Parallelism Verification

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

SARIF Security Parsing

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

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.

Sandbox Security

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

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.

Semgrep Static Analysis

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

ProofGeneral Narya: Higher-Dimensional Type Theory

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

Find Bugs & Security Auditor

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

GitHub Copilot for Claude

Integrates GitHub Copilot's advanced coding capabilities into Claude for high-performance code analysis, debugging, and refactoring.

TDD Workflow for Claude Code

Enforces a strict Red-Green-Refactor cycle for software development tasks using automated gate hooks and evidence tracking.

Bisimulation Game Sync

Verifies and synchronizes behavioral equivalence across AI agents using formal game-theoretic frameworks.

Lean Proof Walk

Generates formal Lean 4 proof chains using a GF(3)-balanced triad of agents for sound mathematical verification.

Anthropic Agent Evaluations

Implements rigorous evaluation frameworks and testing patterns for AI agents based on Anthropic's engineering standards.

Test Automation Architect

Generates comprehensive test automation frameworks and architectural setups for agile software development.

Comprehensive Security Analysis

Performs deep-dive security audits and vulnerability assessments across diverse technology stacks to identify and remediate risks.

Web3 Smart Contract Testing

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

BMAD Test Design

Designs comprehensive test scenarios and architecture ahead of development to ensure robust software quality and coverage.

Test Architecture Review

Validates the quality and architecture of written tests using the specialized BMAD TEA agent.

Bitwarden Secret Unlocker

Automatically unlocks Bitwarden vaults and injects project-specific secrets directly into your development environment.

Non-Functional Requirement (NFR) Assessment

Validates software implementation against non-functional requirements to ensure architectural integrity and performance standards.