Search Skills

Searches a bundled flight dataset to find available routes and dates for proposal or verification.

Automates the build workflow for adding new syscall descriptions to syzkaller, streamlining kernel fuzzer development.

Expert guidance for OpenSSL operations including SSL/TLS certificate management, key handling, and PKI infrastructure setup.

Provides automated planning utilities for PDDL domains and problems, including plan generation, validation, and output saving using classical planners.

Guides implementation of tensor parallelism in PyTorch for distributed training, including sharding linear layers across GPUs and simulating collective operations.

Transforms sequential Python code into parallel or concurrent implementations to improve performance across CPU-bound, I/O-bound, and data-parallel scenarios.

Automates audiobook creation from text by fetching content, processing text, and converting to speech using multiple TTS services with fallback.

Guides deployment of HuggingFace transformer models using Flask APIs with model caching and REST endpoint configuration.

Generates LibFuzzer-based fuzz drivers for Python libraries to identify security vulnerabilities through automated input testing.

Provides theorem proving assistance in Lean 4, including error resolution, mathlib lemma search, and compiler-guided proof repair.

Exports Three.js 3D scenes, meshes, and geometries to Wavefront OBJ format for compatibility with Blender, Maya, and other 3D modeling tools.

Extracts tables from PDF files and converts them into pandas DataFrames for efficient data processing and analysis.

Linearizes nonlinear dynamic systems around operating points to enable control system design and analysis.

Generates self-signed SSL/TLS certificates using OpenSSL, including key creation, certificate signing, and verification scripts.

Guides translation of Python object-oriented programming patterns, including classes, inheritance, and design patterns, to Scala code.

Detects exoplanet transits in astronomical light curve data using the Transit Least Squares algorithm, optimized for transit-shaped signals.

Computes AC power flow branch equations using pi-model with transformer parameters, supporting flow direction, nodal balance, and MVA limit checks.

Repairs infeasible flexible job shop schedules to meet downtime and precedence constraints while maintaining policy budget.

Generates natural-sounding audio from text using OpenAI's TTS API with customizable voices and tones for various applications.

Provides testing utilities for Temporal workflows in Python using pytest, including time-skipping and mocking for unit, integration, and replay testing.

Solves finite-horizon Linear Quadratic Regulator problems via dynamic programming for Model Predictive Control applications.

Estimates camera motion using optical flow and affine/homography techniques with multi-label frame labeling for video processing.

A library for building, validating, visualizing, and serializing dialogue graphs to manage branching narrative structures in applications.

Provides foundational knowledge for creating and understanding Suricata network security signatures and multi-condition deep packet inspection logic.