Security & Testing Agent Skills

BDD Mathematical Verification

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

ArkUI Component TDD Expert

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

Vaadin Karibu Test Writer

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

Verification & Quality Assurance

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

TDD Methodology Expert

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

Port Resurrection

Automates deterministic service port assignment using color-based sequences to ensure consistent network discovery across environments.

Vaadin Playwright Tester

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

Effect-TS Testing Patterns

Provides standardized patterns and best practices for writing comprehensive tests for Effect-TS applications and services.

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.

Systematic Debugging Strategies

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

Lean 4 Music Topos Verification

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

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.

Intent Sink Validation

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

Tizen CVE Scanner

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

Dwarf Debugging Expert

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

Aptos GF(3) Society

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

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.

Move Smart Contract Fuzzing

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

Audit Context Builder

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

TDD Workflow

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

Spec to Code Compliance

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

Deliberation & Red Teaming

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

Address Sanitizer

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

Performance Testing Standards

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

Token Integration Analyzer

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