Security & Testing Agent Skills

Reverse Engineering Suite

Performs deep binary analysis, decompilation, and malware research using industry-standard tools like Ghidra, IDA Pro, and radare2.

ArkUI Component TDD Expert

Implements rigorous Test-Driven Development patterns for OpenHarmony ArkUI NG component methods to ensure high code coverage and reliability.

BDD Mathematical Verification

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

Vaadin Karibu Test Writer

Generates robust, browserless Karibu unit tests for Vaadin views to ensure server-side UI logic integrity.

TDD Methodology Expert

Enforces strict Test-Driven Development cycles to ensure high code quality and comprehensive test coverage.

Verification & Quality Assurance

Validates AI-generated code and agent outputs using real-time truth scoring and automated rollback systems to maintain high codebase reliability.

Vaadin Playwright Tester

Generates robust Playwright integration tests for Vaadin views to ensure UI reliability in real browser environments.

Systematic Debugging Strategies

Master advanced debugging techniques and root cause analysis to efficiently identify and resolve complex software bugs across any technology stack.

Browser Performance Benchmarking

Benchmarks Zig-based WHATWG Stream implementations against browser engines to ensure high-performance compatibility and functional parity.

Ostium Arbitrum Perps

Facilitates interaction, integration, and security auditing for the Ostium Protocol perpetual exchange on Arbitrum.

Fix Review

Validates security patches and fixes to ensure they completely resolve vulnerabilities without introducing new regressions.

Semgrep Rule Creator

Generates custom Semgrep rules to detect specific bug patterns and security vulnerabilities across various programming languages.

Address Sanitizer

Detects memory safety bugs and vulnerabilities in C and C++ programs through runtime instrumentation guidance.

Lean 4 Music Topos Verification

Formalizes and verifies complex mathematical theorems across music theory, color harmony, and distributed systems using Lean 4.

Dwarf Debugging Expert

Analyzes DWARF debug files and provides deep technical insight into DWARF standards for binary analysis and low-level debugging.

Flarglebargle Trigger Test

Verifies Claude Code skill activation and keyword trigger functionality using a simple diagnostic word.

Security Best Practices Reviewer

Performs language-specific security reviews and provides actionable improvements for Python, JavaScript, and Go projects.

Deliberation & Red Teaming

Conducts structured adversarial reviews to challenge assumptions and identify hidden vulnerabilities in plans or architectures.

Tizen CVE Scanner

Scans Tizen application dependencies and kernel files for known security vulnerabilities and CVEs using official Samsung and OpenCVE databases.

Spec to Code Compliance

Verifies that source code accurately implements technical specifications and whitepapers to ensure protocol integrity during blockchain audits.

Audit Context Builder

Performs deep, line-by-line code analysis to establish architectural context for security audits and bug detection.

Token Integration Analyzer

Analyzes smart contract token implementations and integrations for security vulnerabilities and compliance with industry standards.

Intent Sink Validation

Validates intent-centric architectures by ensuring requests are well-formed, authorized, and resource-balanced before execution.

TDD Workflow

Implements features and fixes bugs using the disciplined Red-Green-Refactor cycle of Test-Driven Development (TDD).

Threat Model Generation

Generates comprehensive STRIDE-based security threat models by analyzing repository architecture and data flows.

Burp Suite Project Parser

Parses and explores Burp Suite project files from the command line to streamline security audits and traffic analysis.

Aptos GF(3) Society

Implements triadic balanced governance and staking on the Aptos blockchain using GF(3) conservation principles.

Performance Testing Standards

Establishes production-grade performance testing protocols including load, stress, and soak testing using industry-standard tools like k6 and JMeter.

Move Smart Contract Fuzzing

Secures Move smart contracts through comprehensive fuzzing, property testing, and vulnerability detection for Aptos, Sui, and Movement blockchains.

Algorand Vulnerability Scanner

Audits Algorand smart contracts for security vulnerabilities including rekeying attacks and access control issues.