Security & Testing Claude 技能

Qodo Cover Expert

Automates test suite generation and increases code coverage using AI-driven semantic analysis and edge-case detection.

Vibe Coder QA

Automates the UI testing workflow by using screenshots and Claude Vision to identify layout issues and visual bugs without writing test code.

Action Kamen Code Review

Conducts comprehensive, agent-led code reviews and security audits with actionable fixes and clear pass/fail verdicts.

Playwright Expert

Automates and optimizes modern end-to-end testing workflows using the Playwright framework for robust web application verification.

Counter-Surveillance Security

Hardens operational security and minimizes surveillance exposure for privacy-critical applications and communications infrastructure.

AI Test Generation Expert

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

Security Scanning Expert

Automates comprehensive security audits and vulnerability scanning across source code, dependencies, and infrastructure.

Root Cause Investigator

Conducts deep code investigations to identify and resolve the underlying source of bugs rather than patching superficial symptoms.

Mabl Expert

Automates end-to-end testing with AI-powered self-healing capabilities to maintain robust UI test suites.

Token Budget Validator

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

Skill Coverage & Pipeline Manager

Maintains the integrity of the Claude Skill ecosystem by analyzing file changes and mapping them to mandatory verification validators.

Code Review

Provides standardized guidelines and best practices for conducting effective code reviews and delivering constructive feedback.

Integrated Implementation Validator

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

ACP HTTP E2E Tester

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

Workflow Validator for Team Shinchan

Validates workflow schemas, error handling patterns, and multi-part agent structures to ensure consistent agent orchestration.

Sheaf Cohomology Verification

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

Skill Schema & Format Validator

Validates Claude Code skill files for schema compliance, naming conventions, and input validation rules.

Dialectica Logic Engine

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

Vertical Slicing TDD Patterns

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

Formal Verification AI

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

ProofGeneral Narya

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

Sheaf Cohomology Verification

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

Microsoft Defender for DevOps Integration

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

Web App Testing Toolkit

Automates local web application testing and interaction using Playwright and managed server lifecycles.

Test-Driven Development (TDD)

Enforces a rigorous Red-Green-Refactor cycle by requiring failing tests before any production code is implemented.

Security Testing Patterns

Implements comprehensive security testing strategies including SAST, DAST, and manual penetration testing patterns.

Python Testing Patterns

Implements robust Python testing strategies using pytest, mocking, and property-based testing patterns.

Testing Anti-Pattern Guardrails

Prevents common testing mistakes by enforcing strict rules against mock-testing, production code pollution, and incomplete test doubles.

Dev Workflow Optimizer

Standardizes build execution, test analysis, and developer experience workflows to ensure repeatable and reliable development cycles.

Secure Coding Practices

Implements security-first development patterns and defensive programming techniques to protect applications from modern cyber threats.