Security & Testing Habilidades de Claude

Vulnerable Secret Extraction

16

Analyzes and exploits vulnerable executables to extract hidden flags, secrets, and cryptographic keys using static and dynamic analysis techniques.

FEAL Linear Cryptanalysis

16

Performs linear cryptanalysis on FEAL and similar Feistel ciphers to recover encryption keys using statistical linear approximations and bias analysis.

Break Filter JS from HTML

16

Provides a systematic methodology for identifying and bypassing HTML/JavaScript sanitization filters in security testing environments.

Coq Arithmetic Proof Completion

16

Completes formal Coq proofs for natural number arithmetic properties using induction and standard library lemmas.

CompCert Compilation

16

Streamlines the complex build process of the CompCert formally verified C compiler by managing Coq and OCaml dependency versioning.

Custom Memory Heap Crash Debugging

16

Debugs complex memory crashes in C++ applications related to custom allocators, static destruction ordering, and discrepancies between build configurations.

Testing Anti-Pattern Guard

16

Prevents common software testing pitfalls like over-mocking, production code pollution, and incomplete test data structures.

Test-Driven Development (TDD) Workflow

16

Enforces a rigorous Red-Green-Refactor cycle to ensure every line of production code is verified by a failing test first.

ELF Binary Data Extraction

16

Parses and extracts structured data from ELF binary files by validating headers, mapping segments, and ensuring accurate data type conversion.

Strict Verification Before Completion

16

Enforces a rigorous verification workflow requiring empirical evidence before any task is marked as complete or successful.

Git Repository Sanitization

16

Identifies and replaces sensitive credentials, API keys, and tokens within git repositories to ensure secure codebase sharing and auditing.

Write Compressor

16

Implements robust compression encoders and entropy coders by mathematically deriving operations from existing decoder state machines to ensure bit-perfect compatibility.

Fix Code Vulnerability

16

Identifies, analyzes, and remediates security vulnerabilities by following a systematic workflow for testing, data flow tracing, and defensive implementation.

Multi-Tenant Authentication Patterns

15

Implements production-grade multi-tenant authentication patterns using better-auth, magic links, and passkeys.

Retrospective Validation

15

Validates methodology effectiveness and tool performance using historical data instead of live deployment cycles.

Build Quality Gates Implementation

15

Implements systematic build quality gates using the BAIME framework to reduce CI failures and accelerate error detection.

Test Generation

15

Generates comprehensive unit and integration test suites by analyzing existing code structures and identifying edge cases.

Security Analysis

15

Conducts comprehensive security audits and vulnerability assessments to protect codebases using OWASP standards and threat modeling.

Grey Haven Testing Strategy

15

Standardizes comprehensive testing workflows for TypeScript and Python projects using Vitest, pytest, and industry-leading coverage standards.

Code Quality Analysis

15

Conducts deep security audits, improves code readability, and identifies cross-file architectural issues within Claude Code.

TDD TypeScript & Vitest Expert

15

Implements robust TypeScript and React features using a strict red-green-refactor methodology powered by Vitest.

TDD Orchestration & Quality Gates

15

Orchestrates multi-agent Test-Driven Development workflows with strict red-green-refactor enforcement and automated coverage tracking.

React TanStack Testing

15

Automates the creation and validation of robust test suites for React applications utilizing the TanStack ecosystem and Vitest.

Python TDD Expert

15

Implements robust Python features using a strict test-driven development methodology with pytest and FastAPI integration.

Grey Haven Security Practices

15

Enforces enterprise-grade security standards including multi-tenant isolation, secret management, and robust input validation for modern web stacks.

Dependency Health

15

Implements a security-first, policy-driven methodology for systematic dependency management and batch remediation.

Go Testing Strategy & Coverage Optimizer

15

Systematizes project testing with coverage-driven gap closure and automated pattern generation to reach 80%+ code coverage.

Security Skill Template

14

Provides a standardized framework and blueprint for creating specialized security operations skills for AI coding agents.

Simulation Workload Designer

14

Designs autonomous, randomized workloads to discover race conditions and edge cases in distributed actor systems.

Orchestrator Plan Validator

14

Ensures structural integrity of AI-generated orchestrator plan files by validating them against strict JSON schemas.