Security & Testing Agent Skills

Moai Foundation Quality

Orchestrates enterprise-grade code quality through the TRUST 5 validation framework and proactive automated analysis.

Clerk Modern Authentication Specialist

Implements secure, modern authentication flows and beautiful UI components using the Clerk platform for web applications.

Verify & Validate

Enforces a rigorous verification protocol with evidence-based checklists to ensure tasks are fully completed and validated before submission.

Scientific Thinking Mode

Implements a rigorous, hypothesis-driven scientific method to solve complex software bugs and architectural challenges.

Development Workflow Specialist

Optimizes the full software development lifecycle through integrated TDD, automated PR reviews, and AI-powered debugging.

Firebase Authentication Specialist

Implements secure, multi-platform authentication solutions using the Firebase and Google Identity ecosystems.

Root Cause Tracing

Traces software bugs backward through the execution chain to identify and fix original triggers at the source.

Compile CompCert

Provides comprehensive guidance for building the formally verified CompCert C compiler from source while managing strict dependency versions and memory constraints.

Automated Code Testing & TDD

Generates comprehensive test suites and improves code coverage using Test-Driven Development (TDD) principles.

Outside-In Agentic Testing

Generates and executes behavior-driven test scenarios for CLI, TUI, Web, and Electron applications using AI agents.

Code Quality & Testing

Generates and improves comprehensive test suites using TDD principles to ensure high code reliability and coverage.

Dynamic Debugger

Enables interactive, natural language debugging sessions using the Debug Adapter Protocol (DAP) and MCP integration.

Cybersecurity Analyst

Performs expert security audits, threat modeling, and vulnerability assessments using industry-standard frameworks like MITRE ATT&CK and STRIDE.

Lawyer Analyst

Analyzes complex scenarios through a legal lens using statutory interpretation, case law, and regulatory frameworks to assess liability and compliance.

7z Archive Password Cracking

Extracts and cracks password hashes from encrypted 7z archives using specialized tools and systematic attack strategies.

Testing Skills with Subagents

Applies the Red-Green-Refactor TDD cycle to verify and bulletproof process documentation against AI rationalizations.

Code Review Practices

Facilitates high-quality code reviews by providing actionable frameworks for identifying bugs, ensuring architectural consistency, and delivering constructive feedback.

Password Recovery

Recovers passwords and sensitive authentication data from disk images, corrupted files, and forensic scenarios using systematic analysis and specialized tools.

Test-Driven Development (TDD) Workflow

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

GCODE Text Extraction

Extracts and reconstructs text geometrically encoded within 3D printing or CNC toolpaths by analyzing movement coordinates and extrusion patterns.

Test-Driven Quality

Automates the generation and improvement of comprehensive test suites following TDD principles to ensure high-quality, bug-free code.

OpenSSL Certificate Generator

Generates and verifies self-signed SSL/TLS certificates, private keys, and combined PEM files using OpenSSL command-line tools.

FEAL Differential Cryptanalysis

Guides the implementation of differential cryptanalysis attacks to recover round keys from FEAL and similar Feistel-network block ciphers.

FEAL Linear Cryptanalysis

Provides mathematical and procedural guidance for performing linear cryptanalysis attacks on the FEAL cipher family to recover encryption keys.

Polyglot Rust and C/C++

Generates source code that compiles and executes correctly as both Rust and C or C++ by utilizing comment syntax differences and preprocessor directives.

N-Version Programming Workflow

Generates multiple independent implementations of critical code and selects the optimal solution through systematic comparison.

Coq Induction Proof Engineering

Guides the construction of induction proofs in the Coq proof assistant for mathematical properties like addition commutativity and arithmetic lemmas.

Web Application Testing

Automates end-to-end testing and visual verification of local web applications using Playwright and TypeScript.

Password Recovery

Extracts passwords and sensitive information from disk images, deleted files, and binary fragments using systematic digital forensic techniques.

Condition-Based Waiting

Eliminates flaky test behavior by replacing arbitrary timeouts with intelligent condition polling and state verification.