Security & Testing Agent Skills

Playwright E2E Testing

Enforces standardized end-to-end testing workflows using Playwright with custom fixtures and Page Object Models.

Theater Code Detection

Identifies non-functional code that appears complete but lacks operational logic to ensure production reliability.

Code Review Gate

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

DevFlow Quality Validation

Automates parallel project validations including tests, linting, and type checking to ensure code quality and build integrity.

Tizen Static Security Analyzer

Detects memory leaks, buffer overflows, and coding vulnerabilities in Tizen C/C++ and JavaScript applications using specialized static analysis.

Entry Point Analyzer

Identifies and categorizes state-changing entry points in smart contracts to streamline security audits and surface area mapping.

Cairo Vulnerability Scanner

Audits StarkNet smart contracts by scanning for critical Cairo-specific vulnerabilities including felt252 arithmetic and messaging issues.

Tizen Compliance Checker

Validates Tizen application compliance with official TCT standards across IoT, TV, and mobile profiles.

Fuzzing Dictionary Generator

Enhances security testing performance by building specialized dictionaries of magic values and syntax tokens for coverage-guided fuzzers.

Atheris Python Fuzzing

Discovers vulnerabilities and edge-case bugs in Python code using Atheris coverage-guided fuzzing.

Tizen Security Compliance

Maps security requirements to implementation and coordinates compliance against international standards for Tizen and IoT applications.

Smack Policy Generator

Generates SMACK mandatory access control policy files to ensure process isolation and secure resource access for Tizen applications.

Testing Builder

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

Audit Prep Assistant

Streamlines codebase security review preparation using the industry-standard Trail of Bits checklist to ensure audit readiness.

Token Integration Analyzer

Analyzes token implementations and integrations for security vulnerabilities, ERC compliance, and non-standard behavioral patterns using Trail of Bits expertise.

Smart Contract Guidelines Advisor

Provides expert smart contract development advice and security reviews based on Trail of Bits' industry-standard best practices.

Aptos GF(3) Triadic Society

Implements on-chain triadic coordination and GF(3)-balanced governance using Aptos Move smart contracts.

DWARF Debug Expert

Analyzes DWARF debug files and interprets standard formats (v3-v5) to assist in low-level debugging and security audits.

Fuzzing Harness Writing

Develops high-performance fuzzing harnesses to identify security vulnerabilities and edge-case crashes in software codebases.

Fuzzing Obstacles & Effectiveness

Identifies and overcomes common fuzzing bottlenecks to improve software security testing coverage and bug discovery.

Tizen CVE Security Scanner

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

IoT Device Provisioning

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

Cynara Policy Checker

Validates Tizen runtime privilege policies and coordinates system-wide access control decisions through the Cynara database.

LibAFL Security Fuzzing

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

Burp Suite Project Parser

Analyzes and extracts data from Burp Suite project files directly from the command line for efficient security auditing.

Tizen Manifest Privilege Validator

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

SARIF Security Parsing

Parses and analyzes Static Analysis Results Interchange Format (SARIF) files to streamline security vulnerability management and tool integration.

Algorand Vulnerability Scanner

Audits Algorand smart contracts to detect critical security vulnerabilities and logic flaws in TEAL or PyTeal code.

Code Maturity Assessor

Evaluates codebase security and architectural maturity using the industry-standard Trail of Bits 9-category framework.

Differential Security Review

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