Skill UI

This guide details the rigorous process for packaging and evaluating mechanized proofs (e.g., in Coq, Isabelle, Lean, Agda) submitted for academic conferences. It outlines criteria for achieving Functional, Reusable, and Available badges, focusing heavily on completing the formal development, auditing axioms, and ensuring perfect reproducibility by pinning toolchains and mapping theorems to source files.

Mandatory package structure for submitting accepted empirical papers to the Quarterly Journal of Economics (QJE). It ensures complete research reproducibility by organizing raw data, derived files, and analysis code. This package guides authors in creating a comprehensive, self-contained deposit that allows any investigator to regenerate every figure, table, and result published in the manuscript, adhering to strict academic data-availability policies.

This skill guides authors through the complex process of selecting the optimal academic journal venue for their research. It profiles the paper's characteristics (discipline, method, contribution) and shortlists potential targets from a large index. It scores candidates based on fit, acceptance odds, turnaround time, and audience, providing a tiered recommendation (Reach, Match, Safe) and a detailed resubmission ladder. Ideal for rejected drafts or papers needing a first target.

This specialized tool analyzes Git diffs against a stated development intent to detect scope creep. It identifies overly broad pull requests, unrelated files, dependency additions, public API renames, or configuration changes. It guides users on whether changes should be kept, split into separate commits, or if the connection requires explicit justification, ensuring clean and focused code merges.

A comprehensive guide for packaging and submitting artifacts for Information Retrieval (IR) conferences (like SIGIR). It details the strict requirements for reproducibility, including mandatory components like TREC-format run files, qrels, and index recipes. The process covers repository structure, anonymization for review, handling data provenance, and ensuring that results can be audited by any reviewer using standard community tooling.

This comprehensive checklist guides authors through the final pre-submission process for manuscripts targeting the Strategic Management Journal (SMJ). It covers critical steps such as implementing double-blind anonymization, structuring the mandatory dual abstracts (research and managerial), verifying APA formatting, and ensuring all required files (cover letter, supplements) are prepared before submission.

This comprehensive guide details how to architect a lengthy, complex academic paper into a single, highly navigable PDF. It establishes a two-tier document model, separating self-contained 'Front Matter' from verifiable 'Back Matter.' Learn best practices for structuring proofs, ensuring dependency order, and implementing critical navigation aids (like claim indexes and TOCs) so reviewers can follow the argument flow seamlessly, even without traditional supplementary files.

This skill generates fully valid Microsoft Threat Modeling Tool (.tm7) files. It translates complex system architectures, including components, data stores, data flows, and external actors, into the required WCF DataContractSerializer XML format. Use it for structured STRIDE threat modeling outputs compatible with Microsoft's official tool.

A comprehensive audit guide for authors submitting to WACV. It covers critical submission decisions, including choosing between Round 1 or Round 2, selecting the appropriate Applications or Algorithms track, adhering to the 8-page limit, maintaining double-blind anonymity, and ensuring all coauthors have valid OpenReview profiles to prevent desk rejection.

Astropy is the essential Python package for astronomical research and data analysis. It provides a comprehensive suite of tools for handling celestial coordinate transformations (e.g., ICRS, Galactic), managing physical units and quantities, processing FITS files, performing complex cosmological calculations, and ensuring precise time handling. It is indispensable for any project involving scientific data in the field of astronomy and astrophysics.

This adapter provides professional AI audio generation capabilities, supporting voiceovers, music, and sound effects through OpenRouter. Designed for OpenSquilla compatibility, it handles complex API contracts, including streaming data and outputting browser-playable WAV files, making it ideal for web content enrichment.

This skill serves as a deterministic internal downloader for image URLs extracted from comprehensive web search results. It receives normalized media slots and search output via stdin, utilizing Python HTTP APIs to download direct image links. The process includes validating MIME types and saving files accurately into the configured local project directory, ensuring reliable asset retrieval without relying on sandboxed shell tools.