Security & Testing Agent Skills

Codex-Claude Engineering Loop

Orchestrates a multi-stage dual-AI workflow to plan, implement, and validate complex features with high-confidence code reviews.

AI Multi-Model Orchestration Loop

Orchestrates an advanced feedback loop between Claude, Codex, and Gemini to provide multi-perspective validation and high-integrity code generation.

BDD Mathematical Verification

Verifies mathematical formulas and expressions using Behavior-Driven Development workflows and automated LaTeX extraction.

PHP Testing Mastery

Master professional PHP testing workflows using PHPUnit 11, Pest 3, and advanced TDD strategies to ensure production-grade code quality.

OSS-Fuzz Integration

Integrates Claude Code with OSS-Fuzz to automate continuous fuzzing and identify memory safety vulnerabilities in open-source projects.

Automated Browser UI Verification

Verifies UI changes automatically in a real browser to ensure frontend integrity and catch visual regressions during development.

Python Code Reviewer

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

Security Report Builder

Transforms raw security scanner results into professional, context-aware reports for executives and technical teams.

Ark Vulnerability Fixer

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

SPI Parallel & GF(3) Verifier

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

Rust Cargo Fuzz

Performs automated coverage-guided fuzz testing for Rust applications using the cargo-fuzz tool and libFuzzer engine.

Tizen SMACK Label Orchestrator

Coordinates mandatory access control labels and process isolation for Tizen applications and kernel security.

Constant-Time Testing

Verifies cryptographic implementations and sensitive code paths for timing side channels to prevent data leakage.

TDD Workflow for Claude Code

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

DPO Specialist (GDPR & ISO 27701)

Automates data protection compliance by providing expert guidance on GDPR, BDSG, and ISO 27701 standards within your development workflow.

Tizen Static Security Analyzer

Detects memory leaks, buffer overflows, and coding vulnerabilities in Tizen C/C++ and JavaScript applications using specialized static analysis.

Systematic Debugging

Employs a disciplined methodology to identify and resolve the root causes of software bugs rather than masking symptoms.

Lean Proof Walk

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

Security Fix Review

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

Python Testing Patterns

Implements professional Python testing strategies using pytest, advanced fixtures, and comprehensive mocking techniques.

Skill Reviewer

Performs systematic 14-phase audits of Claude Code skills to ensure technical accuracy, documentation standards, and production readiness.

Security Review Methodology

Analyzes implementation changes for security vulnerabilities and risks using a structured framework based on industry best practices.

QA Testing & Methodology

Implements standardized QA frameworks and test design patterns to ensure comprehensive software quality and accessibility coverage.

Solidity Security & Best Practices

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

React Native Testing Master

Implements comprehensive testing strategies for React Native apps including unit, component, and E2E tests.

Code Coverage Analysis

Evaluates code test coverage to identify untested execution paths and ensure software quality.

OAuth Implementation

Implements secure OAuth 2.0 and OpenID Connect authentication flows using standardized industry patterns and security best practices.

MT5 Log Reader

Analyzes MetaTrader 5 log files to validate indicator execution, debug runtime errors, and verify unit test results.

QA Test Management

Manages the end-to-end QA test lifecycle with automated naming conventions, directory structures, and traceability to requirements.

Entry Point Analyzer

Identifies and categorizes state-changing entry points in smart contracts to streamline security audits and surface area mapping.