Search Skills

Maintains persistent memory of proof patterns, failed approaches, and project conventions in Lean 4 formalization projects across sessions using MCP memory server.

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

Searches a bundled dataset for accommodations in a given city, providing lodging recommendations for itinerary planning.

Extracts detailed technical properties of media files including duration, resolution, bitrate, and codec information.

Counts object instances in images using computer vision algorithms for image analysis tasks.

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

Calculates key control system performance metrics including rise time, overshoot, steady-state error, and settling time from simulation data.

Analyzes video content using Google Gemini API for object counting, pedestrian detection, and vehicle tracking in surveillance applications.

Calibrates GLM parameters to minimize RMSE in water temperature simulation, aligning model outputs with observed data.

Extracts locational marginal prices (LMPs) from DC-OPF solutions for nodal electricity pricing, reserve clearing, and price impact analysis.

Provides essential React.js and Next.js performance best practices, including 40+ rules to prevent common mistakes and optimize API route handling.

Speeds up computationally intensive tasks via joblib-based parallel execution across multiple CPU cores for grid search and batch data processing.

Extracts text content from images using the Tesseract OCR engine via Python.

Builds unified multi-level e-commerce product taxonomies using AI clustering and intelligent naming from hierarchical category paths.

Configures Maven plugins for Java projects, including common plugins like compiler and surefire, and custom plugin executions.

Guides translation of Python code to idiomatic functional Scala, covering pattern matching, Option handling, and monadic operations.

Builds unified multi-level product category taxonomies using AI-driven clustering and intelligent naming from e-commerce category paths.

Assists in migrating Hibernate 5 to Hibernate 6 within Spring Boot 3 applications, addressing query parsing, deprecated APIs, and performance issues.

Calibrates GLM parameters to minimize RMSE between simulated and observed water temperature data in environmental modeling.

Automates PDF text redaction to anonymize academic manuscripts for blind peer review.

Performs DC power flow analysis for transmission networks, including susceptance matrix construction, line flow calculation, and sensitivity analysis.

Provides spatial utilities for hexagonal grid calculations including distance, neighbor finding, and spatial queries in offset coordinate systems.

Aligns Python version and dependencies from requirements.txt/environment.yml to ensure reproducible NLP research code installation.

Summarizes seismic phase picking methods' advantages and disadvantages from leading seismology research for informed task selection.