constant-time-analysis
Detects timing side-channel vulnerabilities in cryptographic code through static and dynamic analysis across multiple programming languages.
Discover reusable agent skills, browse implementation details, and find the right skill for your workflow.
621 skills found
Detects timing side-channel vulnerabilities in cryptographic code through static and dynamic analysis across multiple programming languages.
Create and manage production-ready Grafana dashboards for observability, real-time metrics visualization, and system monitoring.
Search, browse, and download podcast episodes from Apple Podcasts via the iTunes Search API. Ideal for archiving audio content, batch downloading, and retrieving rich metadata for research or personal media libraries.
Reliably rotate images by 90-degree increments using a deterministic Python script. Supports PNG, JPG, GIF, BMP, and TIFF, preserving quality with automated file handling.
A RAG-based AI solver for high school Chinese GSAT exams, featuring structured knowledge retrieval, reasoning templates, and explainable AI outputs.
Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.
Automates the submission workflow for lading performance optimizations, including branch management, git commits, and PR creation.
Control Android devices via ADB to perform taps, swipes, text input, and screenshot retrieval directly in your workflow.
AI-powered creative visual prompt generator for posters, banners, product shots, and social media content.
Expert guidance for building production-ready applications with Anthropic's Claude API. Covers SDKs, prompt caching, batch processing, streaming, tool use, and cost optimization strategies.
Local hybrid search engine for markdown notes, documentation, and codebase knowledge bases to reduce token consumption and improve retrieval efficiency.
Production-ready audio/video transcription using OpenAI Whisper. Features model selection, timing synchronization, speaker diarization, and batch processing for media workflows.