Claude Skills by a5c-ai

Expert skill for bytecode virtual machine design including instruction set design, dispatch mechanisms, and stack/register architectures

Expert skill for designing and implementing high-quality compiler error messages

Expert skill for formal grammar design including disambiguation, precedence, and validation

Expert skill for generating and hand-writing lexers using DFA-based, table-driven, and recursive approaches

Appium mobile testing framework for iOS and Android automation

Multi-language code coverage analysis, reporting, and quality gate enforcement

Sensor and robot calibration using specialized robotics calibration tools

ML model optimization and deployment on robot edge devices (Jetson, embedded)

Grasp planning and execution for robotic manipulation tasks

Robot kinematics and dynamics computation including forward/inverse kinematics and dynamics

JWT creation, validation, and management for SDK authentication

Cryptographic implementation analysis and validation for encryption algorithms, key sizes, and certificate management

Advanced binary exploitation and mitigation bypass

Hardware and embedded security research capabilities. Interface with JTAG debuggers, analyze SPI/I2C communications, dump and analyze firmware, support fault injection, side-channel analysis, and hardware exploitation research.

Specialized skill for generating and managing Architecture Decision Records (ADRs). Supports Nygard, MADR, and custom templates with auto-numbering, linking, and status management.

Analyze database query performance with execution plans and index recommendations

Render Graphviz DOT graphs to images with multiple layout algorithms

Scaffold new babysitter process definitions following SDK patterns, proper structure, and best practices. Guides the 3-phase workflow from research to implementation.

Track progress through CSES Problem Set with structured learning

Convert problem descriptions into graph representations

Simulate realistic coding interview experience

Generate Clap-based Rust CLI applications with derive macros, subcommands, and modern Rust patterns. Creates production-ready Rust CLI with proper cargo structure.

Set up snapshot testing for CLI output with update workflows and diff reporting.

Generate table formatters for structured CLI output with column alignment, borders, and responsive sizing.

Configure code signing for macOS and Windows binaries with notarization.

Configure cross-env for cross-platform environment variable setting in npm scripts and CLI commands.

Generate formatted help text with examples, descriptions, sections, and consistent styling for CLI applications.

Migrate logging infrastructure with format standardization, structured logging, and aggregation setup

Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.

On-chain analysis and transaction forensics for blockchain security investigations. Provides capabilities for tracing fund flows, identifying suspicious patterns, MEV analysis, and generating forensic reports for incident response.

Property-based testing and fuzzing using Echidna for smart contracts. Includes invariant definition, corpus management, coverage analysis, and CI/CD integration for comprehensive security testing.

BentoML skill for model packaging, serving, and containerization.

Evidently AI skill for data drift detection, model performance monitoring, target drift analysis, and automated reporting for ML systems in production.

Build AppImage bundles with AppDir structure for portable Linux applications

Set up Avalonia UI project with cross-platform XAML for Windows, macOS, and Linux

Cross-platform clipboard operations for text, images, files, and rich content

Set up cross-platform file system watching with debouncing and efficient change detection

Docker and OCI container image expertise for building, optimizing, and securing container images

Support board of directors governance and meeting management

Anaplan connected planning for territory and quota management

Calendly meeting scheduling integration for sales workflows

Gainsight customer success platform for health monitoring

Highspot sales enablement for content delivery and analytics

Klue competitive enablement for dynamic battlecard management

Atlassian Confluence integration for enterprise documentation. Create and update pages via API, manage spaces and permissions, handle content migration, and sync between Markdown and Confluence.

Documentation usage analytics and insights. Integrate with Google Analytics, Algolia analytics, and custom tracking to measure documentation effectiveness, identify content gaps, and optimize user journeys.

Generate accessible color palettes with WCAG compliance

Precision CSS/styling modifications for pixel-perfect adjustments with Tailwind, CSS Modules, and plain CSS support

Validate design system compliance in code and detect token usage violations

Transform design tokens across multiple formats and platforms. Parse W3C design token format, transform to CSS/SCSS/JS/iOS/Android, handle token aliases and references, and generate documentation.