Search Skills

Provides tools for detrending economic time series using HP filter, log transformations, and business cycle correlation analysis.

Provides comprehensive SQL patterns for database operations and migrations across PostgreSQL, MySQL, and SQLite.

Automates SSL/TLS certificate provisioning, renewal, and monitoring via Let's Encrypt, ACM, and Vault.

Enables trusted SSL certificates for local development, allowing testing of SSL/TLS features and third-party API requirements.

Analyzes user retention and churn using survival analysis, cohort analysis, and machine learning to predict churn risk and optimize retention strategies.

Enables efficient mathematical proof writing in Lean 4 with error resolution, mathlib lemma search, and LSP integration for formal verification.

Generates and optimizes SQL queries for efficient data retrieval and analysis, enhancing data processing workflows.

Searches a bundled flights dataset for available routes and dates, providing flight options or checking route/date availability.

Repairs infeasible flexible job shop scheduling plans to be downtime and precedence feasible without worsening the policy budget.

Searches a bundled dataset for accommodations in a specified city, enabling recommendations and filtering for travel itineraries.

Provides molecular data processing including SMILES parsing, descriptor calculation, and substructure search for cheminformatics applications.

Builds and trains ML models for classification, regression, and clustering using scikit-learn, PyTorch, and TensorFlow.

Validates datasets, model checkpoints, and training pipelines for ML projects to ensure data quality and pipeline integrity.

Harmonizes clinical laboratory data across sources by converting units, standardizing numeric formats, and resolving quality issues for healthcare analytics and research.

Performs nonlinear least squares parameter estimation for experimental data using SciPy's curve_fit function.

Detects flood events by comparing water levels to thresholds, enabling occurrence determination, day counting, and severity classification.

Estimates driving/taxi duration, distance, and cost between cities using a pre-bundled distance matrix CSV.

Implements mHC algorithm for stabilizing deep neural network training using manifold constraints and Sinkhorn-Knopp for doubly stochastic matrices.

Enables building fault-tolerant multi-node applications with distributed processes, node connectivity, and supervision on the BEAM VM.

Enables high-performance numerical computing and machine learning with JAX, featuring automatic differentiation, JIT compilation, and array operations for scientific and ML applications.

Manages Maven dependencies, resolves conflicts, configures BOMs, and optimizes dependency trees in Java projects.

Detects exoplanet transits in astronomical light curves using the Transit Least Squares algorithm.

Converts PDFs to Markdown while preserving LaTeX formulas, equations, and document structure for academic and technical documents.

Manages Maven build phases, goals, profiles, and custom build configurations for Java project development.