Security & Testing Habilidades de Claude

ProofGeneral Narya: Higher-Dimensional Type Theory

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

Black Hat Go Security Knowledge Base

Provides an extensive library of offensive security techniques and defensive patterns in Go for advanced red teaming and agentic simulations.

Move Smith Fuzzer

Implements differential fuzzing and property-based testing for Move smart contracts to identify consensus-breaking bugs and edge cases.

macOS MDM Cobordism Management

Automates macOS Mobile Device Management (MDM) using a cobordism-based state machine for secure credential derivation and device orchestration.

fnox Secrets Management

Manages encrypted secrets using age encryption and DuckDB-based catalogs within a triadic GF(3) framework.

Aqua Voice Malleability Analysis

Performs adversarial malleability analysis and security research on the Aqua Voice Electron application using IPC injection and WebSocket interception.

Merkle Proof Validator

Validates cryptographic Merkle inclusion proofs to verify data membership within a tree structure without requiring the full dataset.

Test-Driven Development (TDD)

Enforces a strict Red-Green-Refactor workflow to ensure high-quality, bug-free production code through test-first development.

Spec Validator

Validates code implementations against technical specifications to ensure requirement coverage, test compliance, and documentation accuracy.

Debugging Memory

Prevents redundant troubleshooting by integrating a persistent, searchable memory system for software bugs and resolutions.

MCP Fortress Security Scanner

Protects Model Context Protocol (MCP) ecosystems by scanning servers for vulnerabilities, prompt injection attacks, and malicious tool poisoning.

Cross-Distro E2E Container Testing

Automates end-to-end installer testing within isolated Docker containers across multiple Linux distributions like Ubuntu, Debian, and Fedora.

Faber Evaluate

Automates the testing and quality review phase of the FABER workflow to ensure code meets specifications before release.

OpenSpec Change Verifier

Validates that code implementations align perfectly with specifications, tasks, and design documents before archiving changes.

TypeScript Testing Pro

Implements professional TypeScript testing patterns using Jest and Vitest to ensure high-quality, reliable code.

Python Testing Specialist

Implements comprehensive Python testing strategies using pytest, including unit tests, integration tests, and advanced mocking patterns.

Systematic Debugging

Enforces a rigorous, four-phase debugging protocol to identify root causes and prevent regression-prone quick fixes.

SARIF Security Parsing

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

Security Ownership Map & Git Risk Analyzer

Analyzes Git history to map code ownership, identify security risks like low bus factors, and visualize developer-to-file topologies.

Workflow Validator

Validates Claude agentic workflows to ensure compliance with architectural patterns and the Manager-as-Agent principle.

Solidity Security & Best Practices

Implements secure smart contract development patterns and identifies critical vulnerabilities in Solidity code for blockchain applications.

Architecture Validator

Validates Claude Code project architectures against Fractary standards for Manager-as-Agent and Director-as-Skill patterns.

LLM Evaluation & Testing

Automates LLM prompt testing and performance evaluation using Promptfoo to ensure model reliability and security.

Clerk Auth for Next.js & Convex

Integrates robust Clerk authentication patterns into Next.js applications with Convex backend synchronization.

JavaScript Testing Patterns

Implements comprehensive testing strategies for JavaScript and TypeScript applications using modern frameworks and best practices.

Tizen CVE Security Scanner

Identifies known vulnerabilities in Tizen application dependencies and kernel versions using the OpenCVE database and Samsung security updates.

Testing Philosophy

Implements universal principles for writing robust, maintainable tests by focusing on behavior over implementation details.

Test-Driven Development (TDD)

Enforces a strict test-first development workflow by requiring failing tests before any production code is written.

Systematic Debugging

Enforces a rigorous, four-phase debugging methodology to identify root causes and implement stable fixes without guesswork.

Code Quality Standards

Establishes robust testing frameworks, CI/CD pipelines, and automated quality gates to maintain high software reliability.