Security & Testing Agent Skills

Tizen CVE Security Scanner

Identifies known vulnerabilities in Tizen application dependencies and kernel versions using the OpenCVE database and Samsung security updates.

LibAFL Security Fuzzing

Implements advanced fuzzing campaigns using the LibAFL framework to identify software vulnerabilities and memory safety issues.

Tizen Manifest Privilege Validator

Validates and audits tizen-manifest.xml privilege declarations to ensure security compliance and proper resource access.

Web3 Smart Contract Testing

Streamlines smart contract validation using Hardhat and Foundry to ensure secure, gas-efficient, and production-ready blockchain code.

Code Review Gate

Enforces mandatory human oversight for security-sensitive, complex, or high-volume code changes within the development lifecycle.

Differential Security Review

Performs security-focused analysis of code diffs and pull requests leveraging Trail of Bits' industry-leading expertise.

NERV LocalSend Connectivity Tester

Facilitates rapid peer discovery and LocalSend connectivity testing with integrated Italian voice announcements.

Requirement Validator

Validates pseudo-code requirements to identify missing logic, security gaps, and edge cases before implementation begins.

Neural Signal Verification & Threat Detection

Implements von Holst’s reafference theory to distinguish self-generated system actions from external anomalies through predictive signal matching.

Testing Builder

Generates comprehensive unit, integration, and E2E test suites automatically while learning from your project's specific testing style.

Narya Formal Proofs

Mechanically verifies event-sourced systems by generating cryptographic proof certificates for consistency, determinism, and data integrity.

Behavioral Verification & Reafference

Implements neuroscience-based reafference theory to distinguish self-generated AI actions from external anomalies and threats.

Move Smith Fuzzer

Implements differential fuzzing and property-based testing for Move smart contracts to identify consensus-breaking bugs and edge cases.

Rust Cargo Fuzz

Performs automated coverage-guided fuzz testing for Rust applications using the cargo-fuzz tool and libFuzzer engine.

Security Fix Review

Reviews security patches and bug fixes to ensure they are complete, correct, and free of unintended side effects.

Ark Dashboard Testing

Automates UI testing for the Ark Dashboard using Playwright and manages screenshot attachments for GitHub Pull Requests.

Ruzzy Rust Fuzzing

Automates Rust vulnerability discovery using the Ruzzy fuzzing framework to identify security flaws and crashes.

CQ-AI Deterministic Security Scanner

Conducts deterministic, AI-enhanced security scans with ternary classification to ensure reproducible vulnerability detection across any environment.

Deno Secure Sandboxes

Executes untrusted code in secure, isolated Linux microVMs for AI agents and multi-tenant applications.

Codegen Refactor Specialist

Refactors codebases using a TDD approach to improve internal quality, performance, and race safety without altering external behavior.

Security Header Generator

Configures robust security HTTP headers and Content Security Policies to protect web applications from common vulnerabilities.

Accessibility Annotation Generator

Enhances web applications with ARIA labels, semantic HTML, and keyboard navigation support to ensure WCAG compliance.

Dependency Vulnerability Scanner

Identifies, reports, and remediates security vulnerabilities in project dependencies across multiple programming languages.

LocalSend Protocol Analysis

Analyzes LocalSend repositories using tree-sitter tagging, GitHub GraphQL snapshots, and protocol safety assessments.

Testing Framework Helper

Generates comprehensive, production-ready test suites for JavaScript, TypeScript, and Python using frameworks like Jest, Pytest, and Playwright.

Smart Contract Generator

Generates secure, production-ready Solidity smart contracts using OpenZeppelin standards and industry best practices.

Kolmogorov Codex Quest

Verifies multi-layer cryptographic identity proofs and orchestrates complex quest fulfillment within the Plurigrid ASI ecosystem.

macOS Keychain Secure

Secures sensitive credentials using the hardware-backed macOS Keychain with mathematically balanced GF(3) lifecycles.

Accessibility Auditor

Audits web and mobile applications for WCAG 2.2 AA compliance using automated tools, manual findings, and deep code analysis.

IoT Device Provisioning

Manages secure provisioning, certificate installation, and network onboarding for TizenRT and ARTIK IoT devices.