Security & Testing Agent Skills

Dialectica Logic Engine

Transforms mathematical proofs into interactive games using Gödel's Dialectica interpretation for formal verification and strategy extraction.

Sheaf Cohomology Verification

Verifies the global consistency of modular code structures and data schemas using mathematical Čech cohomology principles.

ACP HTTP E2E Tester

Automates deterministic end-to-end HTTP testing for ACP-based plugins using JSON-driven specifications.

Token Budget Validator

Validates that project configuration files remain within defined token limits to ensure optimal model performance and context management.

Integrated Implementation Validator

Executes a comprehensive suite of validation checks to ensure project integrity and multi-agent system consistency.

Testany Pipeline Manager

Manages and orchestrates Testany test pipelines including CRUD operations, YAML validation, and complex case dependencies.

Vitest 3 Master & Best Practices

Optimizes test suites with expert guidance on Vitest 3.x features, including the Annotation API, enhanced mocking, and workspace configurations.

Microsoft Defender for DevOps Integration

Integrates comprehensive security scanning into Azure Pipelines using Microsoft Defender for Cloud to automate vulnerability detection.

Windows Git Bash Testing Compatibility

Ensures seamless execution of Vitest, Playwright, and MSW tests in Windows Git Bash environments through advanced path conversion patterns.

AI Test Generation Expert

Automates the creation and improvement of test suites using AI-driven tools and coverage gap analysis.

GitHub AI & Security Workflows 2025

Implements high-velocity trunk-based development and AI-driven security scanning for modern GitHub repositories.

Git Security 2025

Enforces modern Git security protocols including signed commits, zero-trust workflows, and proactive secret scanning.

ProofGeneral Narya

Facilitates higher-dimensional type theory and formal verification using observational bridge types and structured proof assistants.

Formal Verification AI

Provides rigorous correctness guarantees for AI systems through automated theorem proving, interval arithmetic, and categorical proofs.

React Testing Pro

Implements robust, user-centric testing suites for React applications using Vitest, Jest, and React Testing Library.

Sheaf Cohomology Verification

Verifies global consistency across modular codebases using topological sheaf cohomology and Čech descent conditions.

Boneh-Roughgarden WEV Mechanism

Implements advanced cryptographic primitives and mechanism design patterns to enable protocol-aligned value extraction and MEV mitigation.

Social Engineering Security Audit

Assess and mitigate human-factor security risks, OSINT exposure, and social engineering vulnerabilities within applications and organizations.

Test & Quality Engineer

Automates the creation of comprehensive test suites and enforces high-performance code quality standards using Vitest, Playwright, and Biome.

2600 Magazine Archive Explorer

Queries and explores the complete 2600: The Hacker Quarterly archive from 1984 to the present using DuckDB.

Automated Test Runner

Automatically detects, executes, and fixes failing tests across multiple programming environments and build tools.

Telecom Security Audit

Audits telecommunications infrastructure and telephony-dependent security controls to identify vulnerabilities in VoIP, SMS authentication, and cellular protocols.

BDD Mathematical Verification

Validates and extracts mathematical formulas from documents and images using Behavior-Driven Development workflows.

AI Skill Pressure Tester

Applies a rigorous RED-GREEN-REFACTOR cycle to process documentation to ensure Claude skills withstand rationalization and pressure.

Test Ambiguity Auditor

Identifies and resolves test assertions that enforce arbitrary interpretations rather than explicit requirements from specifications.

Edge Case Analyzer

Identifies and implements missing test scenarios by analyzing software specifications and existing test coverage.

Rust TDD Workflow

Implements a complete Test-Driven Development lifecycle for Rust projects using the Red-Green-Refactor methodology.

Architecture Auditor

Audits and analyzes codebase architecture to ensure modular monolith integrity and prevent core obesity syndrome.

Vertical Slicing TDD Patterns

Organizes software implementation into test-driven vertical slices that deliver demonstrable value in every development cycle.

SSL Certificate Manager

Manages and monitors SSL/TLS certificates by checking expiry dates, facilitating renewals, and auditing installed credentials.