Security & Testing Agent Skills

Systematic Bug Fixing

Automates a rigorous bug-fixing workflow including issue tracking, root-cause debugging, TDD regression testing, and verification.

CI Test Droid Skill

Verifies the correct installation of Droid skills for PRPM integration testing.

Test Effectiveness Auditor

Audits test suites with Google Fellow SRE-level scrutiny to eliminate vanity metrics and identify real logic gaps.

CI Test Skill

Verifies the correct installation, structure, and parsing of Claude skills for PRPM integration testing.

Implementation Review Agent

Verifies completed code implementations against specifications using high-scrutiny, evidence-based audits to ensure production readiness.

Parallel Agent Dispatcher

Dispatches multiple specialized agents concurrently to investigate and resolve three or more independent system failures.

Testing Anti-Patterns Guard

Enforces rigorous testing standards by preventing brittle mocks, production code pollution, and misunderstood dependency isolation.

Root Cause Tracing

Traces software bugs backward through the call stack to identify and resolve the original trigger instead of patching symptoms.

Strict Task Verification

Enforces rigorous evidence-based verification before any task, bug fix, or build is claimed as complete.

Rust Mutation Testing

Analyzes Rust test suite effectiveness by injecting faults and measuring detection rates.

Neon Auth Integration

Configures secure authentication, UI components, and social login for Next.js, React, and Node.js applications using Neon Auth.

Test-Driven Generation

Automates the Red-Green-Refactor workflow to ensure high-quality, test-backed code implementation with full issue traceability.

Formal Methods Discovery

Enables automatic access to formal methods, theorem proving, and verification tools within Claude Code.

Cryptography & Security Discovery

Automates the discovery of security and cryptography skills to help developers implement robust encryption, PKI, and TLS configurations.

x64dbg State Differential Analysis

Identifies and interprets register and memory changes between two x64dbg debugger snapshots to provide a detailed narrative of program behavior.

Tracealyzer for x64dbg

Automates x64dbg execution tracing and provides deep analysis of instruction logs to identify code patterns and control-flow behavior.

Debugging Discovery & Diagnostics

Streamlines the identification and resolution of software bugs by automatically loading specialized debugging and profiling skills.

Security Discovery & Hardening

Automates the identification and application of specialized security skills for authentication, vulnerability assessment, and application hardening.

Testing Skills Discovery

Automatically discovers and enables specialized testing workflows for unit, integration, and E2E testing scenarios.

YARA Signature Scanner for x64dbg

Analyzes x64dbg memory snapshots using YARA signatures to identify malware patterns, packers, and cryptographic constants.

x64dbg State Snapshot

Captures a comprehensive snapshot of process memory and processor state from x64dbg for detailed offline analysis.

x64dbg Decompiler with angr

Decompiles functions from debugged binaries into readable C-like pseudocode using the angr analysis framework.

TDD Implementation Workflow

Implements a disciplined Test-Driven Development cycle to ensure robust code quality through automated red-green-refactor patterns.

Git Rewrite History

Rewrites Git history safely using git-filter-repo to remove sensitive data, purge large files, or restructure repositories.

Multi-Perspective Stakeholder Review

Orchestrates specialized AI subagents to perform comprehensive quality reviews across architecture, security, performance, and legal domains.

Testing Anti-Pattern Prevention

Prevents brittle test suites and production code pollution by enforcing high-standard mocking and architectural testing principles.

Testing Anti-Pattern Guard

Prevents common testing pitfalls like mock-centric assertions and production code pollution to ensure reliable, behavior-driven test suites.

Testing Anti-Patterns

Eliminates brittle tests and production code pollution by enforcing rigorous testing standards and TDD principles.

Lean 4 Theorem Proving

Accelerates formal verification and mathematical proof development in Lean 4 through mathlib integration and compiler-guided repair.

Perseus Business Logic Security

Performs deep security analysis of business logic, race conditions, and AI implementations across multiple programming languages.