Search Skills

Provides command-line utilities for common image editing tasks including resizing, cropping, blurring, and flipping images.

Converts media files between video containers, audio formats, and codecs using ffmpeg.

Normalizes manufacturing defect reason descriptions using semantic matching and error correction to align with product codebooks.

Analyzes 3D mesh files (STL) to compute geometric properties, extract attributes, and filter debris from noisy scan data.

Transcribes video content into timestamped text using the pre-installed Whisper tiny model for efficient speech recognition.

Parses power system network data including bus, generator, and branch information for power flow analysis.

Extracts text, tables, and structured information from PDF documents using Python libraries and command-line tools.

Solves nonlinear programming (NLP) problems using CasADi and IPOPT, supporting symbolic variables, constraints, and power systems optimization patterns.

Detects malicious network patterns including port scans, DoS attacks, and beaconing behavior using exact thresholds.

Guides translation of Python collection operations (map, filter, reduce) to idiomatic Scala for code conversion between languages.

Evaluates research artifacts in isolated Docker containers via HTTP API, enabling command execution, file access, and PDF analysis.

Computes AC branch power flow using pi-model equations with transformer tap ratio and phase shift, supporting nodal balance and MVA limit checks in power systems analysis.

Teaches the syntax basics of Syzkaller's syzlang for describing ioctl system call interfaces in kernel fuzzing.

Performs basic video editing tasks including cutting, trimming, concatenating, and splitting using FFmpeg.

Extracts and defines kernel constants for syzkaller's syzlang descriptions to enable kernel fuzzing input generation.

Reference guide for converting Python syntax to equivalent Scala constructs, covering variables, control flow, comprehensions, and operators.

Enables remote interaction with containerized artifact environments via HTTP API for executing commands, reading files, and listing directories in paper evaluation contexts.

Applies video filters including scale, crop, watermark, speed, and blur using ffmpeg for creative video editing.

Provides mappings from Python standard library modules to equivalent Scala libraries for common operations and tasks.

Adds integral action to Model Predictive Control for offset-free tension tracking in engineering systems.

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

Guides translation of Python code to idiomatic functional Scala, covering higher-order functions, pattern matching, and monadic operations.

Performs matched filtering for gravitational wave detection using PyCBC, applying template waveforms in time and frequency domains to identify signals in detector data.

Provides data conditioning for gravitational wave detector strain data, including high-pass filtering, resampling, and PSD estimation using PyCBC TimeSeries.