Skill UI

This skill guides the systematic process of identifying and verifying candidate football entities (players or clubs). Use it when initial search results suggest a lead, or when the question provides enough detailed constraints (e.g., nationality, era, league) to hypothesize a candidate. The technique involves constructing targeted name-based searches and cross-checking every constraint (birth year, career timeline, etc.) against the found profile to ensure accuracy.

This skill enhances research query formulation by translating vague, colloquial, or generalized descriptions into precise, standard academic terminology. When initial search terms are broad (e.g., "conjugal happiness"), this technique suggests multiple plausible academic synonyms (e.g., "marital satisfaction," "relationship quality"). By improving the precision of the search query and incorporating structured constraints (like keywords, years, or sample sizes), it significantly boosts the relevance and effectiveness of academic paper retrieval.

This advanced research technique is designed for deep dives into football topics. Instead of relying solely on the original query, it mandates tracking every discovered entity—such as player names, club names, or coaches—from search results. By treating these entities as new leads, the user must formulate follow-up searches using the discovered names and remaining constraints, ensuring nothing relevant is overlooked and building a comprehensive knowledge chain.

Use this skill to comprehensively verify all constraints related to a candidate cricket player. By cross-referencing structured data from sources like Wikipedia or Cricinfo, you can confirm details such as birth date, debut match specifics (format, opponent, score), career records, and teams played for. It is crucial for establishing factual accuracy, especially when distinguishing between different formats like ODI, T20I, and Test matches.

Vaex is a high-performance Python library designed for processing and visualizing enormous tabular datasets that exceed available RAM (gigabytes to terabytes). It excels at out-of-core DataFrame operations, lazy evaluation, fast statistical aggregation, and machine learning integration on massive datasets. Use it for analyzing large CSV, Parquet, or HDF5 files efficiently on a single machine, without memory constraints.

This guide details how to configure and manage resource constraints in ClickHouse, addressing server-side limits, user quotas, and connection management. Use it when encountering "too many simultaneous queries," optimizing resource usage, or implementing robust rate limiting strategies in applications connecting to ClickHouse. Covers SQL quota setup and client-side pooling techniques.

This skill converts complex, narrative technical documents, research excerpts, or natural language problem descriptions into a highly structured Mathematical Problem Specification (MPS). It systematically extracts variables, constraints, objectives, and uncertainty parameters. By adhering to a strict Zero-Inference Protocol, it ensures all extracted elements are strictly grounded in the source text, making it invaluable for formalizing real-world optimization, data science, and engineering problems.