Skill UI

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.

MarkItDown is a powerful tool designed to convert a wide array of file types—including PDF, DOCX, images, audio, and structured data (JSON/XML)—into clean, token-efficient Markdown format. It supports advanced features like OCR for scanned documents, transcription for audio, and AI-enhanced descriptions, making diverse content readily consumable and structured for modern Language Models and AI pipelines.

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.