Security & Testing Habilidades de Claude

Testing Strategy Builder

Architects comprehensive software quality frameworks by providing structured templates, coverage targets, and cross-platform testing methodologies for unit, integration, and E2E validation.

Web Application Testing

Automates and debugs local web applications using Playwright for robust end-to-end testing and UI verification.

Mycelia Test Stage Manager

Organizes and executes multi-stage testing workflows for Mycelia multiomic analysis and biological data pipelines.

Security Checklist

Implements robust security measures and conducts comprehensive audits based on OWASP Top 10 mitigations and industry best practices.

Bitcoin Auth Diagnostics

Diagnoses and troubleshoots authentication failures, signature verification errors, and integration issues within the bitcoin-auth library ecosystem.

BAP Identity Management

Manages Bitcoin Attestation Protocol (BAP) identities and encrypted .bep backup files using specialized command-line tools.

Aztec Smart Contract Auditor

Reviews Aztec Noir smart contracts for security vulnerabilities, architectural best practices, and API correctness.

Buck2 Test Workflow

Executes a systematic multi-level testing strategy for Buck2 builds to ensure local changes don't break immediate targets or downstream dependencies.

Valid Test Skill

Validates skill scanner directory traversal and YAML frontmatter extraction using standardized metadata structures.

Prompt Optimization Analyzer

Analyzes and optimizes AI skill prompts to improve trigger reliability, reduce token consumption, and eliminate common anti-patterns.

VS Code Extension Debugger

Diagnoses and resolves complex bugs within VS Code extensions using systematic workflows and proven implementation patterns.

VS Code Bug Hunter

Detects hidden bugs, memory leaks, and race conditions in VS Code extensions using systematic static and dynamic analysis techniques.

Security Audit

Conducts comprehensive security assessments and vulnerability remediation for PHP applications following OWASP guidelines and CVSS risk scoring.

Web Application Testing

Automates browser testing and UI verification for local web applications using Playwright and managed server lifecycles.

Root Cause Tracing

Systematically traces bugs backward through the call stack to identify and fix the original trigger rather than the symptom.

Systematic Debugging

Implements a rigorous four-phase framework to identify root causes and ensure permanent fixes before modifying code.

TLA+ Formal Specification

Architects and verifies complex distributed systems and concurrent algorithms using the TLA+ formal specification language.

Python Code Review Patterns

Identifies critical security vulnerabilities, performance anti-patterns, and framework-specific logic bugs during Python code reviews.

Layered System Debugger

Provides a structured reasoning pattern for diagnosing and resolving complex bugs that span multiple abstraction layers in software systems.

Verification Before Completion

Enforces a rigorous evidence-based workflow that requires successful command output before any task is claimed as complete.

Comprehensive Security Analysis

Performs deep security audits, vulnerability scanning, and risk assessments across multiple technology stacks.

Vitest v4 Testing Suite

Provides comprehensive Vitest v4 guidance for TypeScript and React/Next.js projects to help users write, debug, and maintain high-quality tests.

Testing Guidelines

Standardizes the design and implementation of high-quality, maintainable test suites using structured templates and assertion best practices.

Bulloak BTT Architect

Generates structured Bulloak tree specifications and Solidity test scaffolds using the Branching Tree Technique.

Unified TDD Programming Workflow

Implements a rigorous five-stage Test-Driven Development (TDD) cycle to produce high-quality, maintainable, and bug-free code.

Type-Driven Development

Employs Idris 2 and dependent types to encode domain constraints and verify program invariants through compile-time proofs.

Vitest Testing Standards

Implements high-quality Vitest testing patterns and standards for robust JavaScript and TypeScript applications.

Proof-Driven Development

Verifies software correctness and safety properties through formal proof-driven development using the Lean 4 theorem prover.

Scientific Python Testing

Implements robust testing for scientific Python packages using pytest best practices and community-standard guidelines.

Test Skill

Verifies the functionality of the OpenCode Skills Plugin API through script execution, file reading, and skill discovery.