Security & Testing Habilidades de Claude

LimaCharlie Security Ops

Automates LimaCharlie security operations including sensor management, threat hunting, and detection engineering via a specialized sub-agent.

Dafny Specification Refinement

Drafts and verifies formal Dafny specifications from natural language to ensure algorithmic correctness.

Dafny Verified Implementation

Generates and verifies Dafny implementation bodies by iteratively applying proof hints, loop invariants, and lemmas until the verifier accepts.

LimaCharlie Security Reporting

Generates accurate multi-tenant security, operational, and billing reports across LimaCharlie organizations.

Detection Tuner for LimaCharlie

Optimizes security operations by identifying noisy alerts and generating tested false-positive suppression rules for the LimaCharlie platform.

Dafny Code Extractor

Compiles verified Dafny programs into clean, production-ready Python or Go code with automated property-based test generation.

Trace Execution

Performs hypothesis-driven execution path tracing to build complete, evidence-based call graphs from entry points to leaf functions.

Reason: Semi-Formal Code Analysis

Conducts rigorous, evidence-driven code analysis using structured reasoning certificates to verify logic, safety, and correctness.

LimaCharlie Holistic Security Investigation

Conducts comprehensive security investigations and builds detailed incident reports using LimaCharlie telemetry and threat hunting patterns.

Rationale: Code Adequacy Verification

Builds hierarchical claim trees to verify that code satisfies requirements through formal, behavioral, and static analysis.

LimaCharlie Detection Engineering

Builds, tests, and deploys LimaCharlie Detection and Response (D&R) rules through an automated, validated development lifecycle.

UI Visual Validator

Performs rigorous visual validation of UI components, design system compliance, and accessibility standards to ensure pixel-perfect implementations.

Regression Detection & Spec Verification

Identifies and fixes breaking changes by re-verifying formal Dafny specifications against modified source code.

Accessibility Test Scanner

Performs comprehensive web accessibility audits to ensure WCAG compliance, ARIA validation, and inclusive user experiences.

LimaCharlie Sensor Coverage & Asset Inventory

Monitors LimaCharlie fleet health by identifying sensor coverage gaps, validating telemetry flow, and profiling assets for security posture management.

Fault Localization

Identifies the root cause of failing tests using a structured 4-phase semi-formal reasoning process.

AI Writing Detector

Analyzes text for AI authorship markers using linguistic patterns, structural red flags, and model-specific fingerprints.

LimaCharlie Sensor Health Reporter

Monitors and reports on sensor connectivity, data availability, and fleet-wide health across multiple LimaCharlie organizations.

Acceptance Criteria Manager

Establishes measurable success criteria and quality gates before code execution to ensure rigorous test-driven development standards.

Lightweight Code Verification

Generates pragmatic verification artifacts like contracts and property-based tests for Python and Go code.

Fleet Payload Tasking

Deploys payloads and shell commands across entire endpoint fleets with automated handling for offline devices.

React Effects Auditor

Audits React codebases to eliminate redundant useEffect hooks and optimize component performance based on official best practices.

Code Anti-patterns Analysis

Identifies and resolves complex code smells, anti-patterns, and security vulnerabilities across multiple programming languages using structural pattern matching.

Feature Audit

Verifies feature completeness against PRD requirements by identifying gaps between backend implementation and user-accessible interfaces.

Compliance Check & AI Ethics

Audits project dependencies for license compatibility, traces PII for data privacy, and evaluates AI ethical standards.

Python Dead Code Detection

Identifies and prunes unused Python functions, classes, and variables to maintain clean and efficient codebases.

Vitest Testing

Streamlines unit and integration testing for JavaScript and TypeScript projects using the high-performance Vitest runner.

Firebase Code Validation

Audits Firebase projects for security vulnerabilities, architectural consistency, and adherence to production-ready best practices.

Swiss Cheese Validation

Validates the independence of AI critic layers to ensure reliable, orthogonal failure modes in multi-agent workflows.

Security Audit & Vulnerability Scanning

Audits codebases for OWASP Top 10 vulnerabilities, AI-specific risks, and dependency security flaws.