Security & Testing Agent Skills

ECC Security Scanner

Performs automated security reviews and vulnerability detection to identify risks and provide actionable remediation steps.

ISPC Lit Testing Specialist

Provides expert guidance and templates for writing robust, portable LLVM-based lit tests for the ISPC compiler.

Bitcoin Auth Diagnostics

Diagnoses and troubleshoots Bitcoin public key-based authentication tokens and signature verification failures.

Verification & Quality Assurance

Ensures codebase reliability through real-time truth scoring, automated verification checks, and an intelligent automatic rollback system.

Database Testing & Integrity

Ensures data reliability through automated schema validation, migration verification, and transaction isolation testing.

Intelligent Test Runner

Validates code changes by intelligently selecting and running only the necessary test suites and virtual environments.

Advanced TDD & Test Generation Guide

Facilitates professional test-driven development workflows by generating tests, analyzing coverage gaps, and guiding the red-green-refactor cycle.

ISPC Lit Test Best Practices

Guides the creation of high-quality LLVM-based lit tests for the ISPC compiler to ensure robust code generation and regression tracking.

Design-by-Contract Verification

Implements automated contract verification and remediation using formal preconditions, postconditions, and invariants across multiple programming languages.

Design-by-Contract Development

Implements formal contract verification using preconditions, postconditions, and invariants to ensure code correctness and reliability across multiple languages.

Design-by-Contract (DbC) Developer

Enforces software reliability and code correctness through formal preconditions, postconditions, and state invariants across multiple programming languages.

Verification & Quality Assurance

Ensures codebase reliability through automated truth scoring, quality verification checks, and an intelligent automatic rollback system.

Verification & Quality Assurance

Ensures high-quality agent outputs through real-time truth scoring, automated code verification, and fail-safe automatic rollbacks.

TRIZ Beforehand Cushioning

Implements proactive safety measures and emergency fail-safes to mitigate high-risk system failures.

QA Fix Verifier

Delegates code fix and change verification to a specialized QA subagent to maintain a clean development context.

Rimitive Testing

Writes robust Vitest unit and integration tests for Rimitive's reactive signals, behaviors, and view components.

Django Security Auditor

Hardens Django applications through systematic security reviews, vulnerability detection, and automated verification workflows.

ECC Security Review

Performs threat-focused security audits and provides severity-ranked findings to harden application codebases.

Code Review Testing Specialist

Analyzes test coverage and code quality to ensure robust, deterministic, and maintainable software suites.

Security Sentinel Code Review

Performs zero-trust security audits to identify exploitable vulnerabilities with high confidence in critical code paths.

Systematic Debugging

Implements a rigorous root-cause-first approach to resolve bugs, test failures, and unexpected behaviors in code.

Security Requirement Extraction

Transforms threat models and business context into actionable security requirements, user stories, and test cases.

Go Secure Coding

Implements industry-standard security best practices and OWASP guidelines for Go applications to prevent common vulnerabilities.

Debugging Strategies

Implements systematic debugging techniques and root cause analysis to resolve complex software defects and performance bottlenecks.

Python Testing Patterns

Implements professional Python testing strategies using pytest, advanced mocking, and test-driven development best practices.

Kubernetes Security Policies

Implements robust, production-grade security controls for Kubernetes clusters including network isolation, RBAC, and pod security standards.

Verification Loop

Automates a multi-phase verification process to ensure code quality, security, and build stability within Claude Code sessions.

STRIDE Security Analysis Patterns

Systematically identifies security threats and designs mitigations using the industry-standard STRIDE methodology.

Solidity Proxy Patterns

Provides expert guidance and implementation patterns for building upgradeable Ethereum smart contracts using UUPS, Transparent, and Beacon proxies.

Threat Mitigation Mapping

Maps identified security threats to specific controls and architectural mitigations to ensure comprehensive system protection.