Skill UI

A comprehensive guide for authors aiming to submit top-tier technical papers (like those for OOPSLA). It teaches how to transform descriptive drafts into highly verifiable, structured academic arguments. Focus areas include developing running examples, articulating falsifiable claims, optimizing article pacing, and anticipating reviewer challenges to maximize the chances of acceptance.

Search and read documents, repositories, URLs, and notes stored in OpenViking. Guides tool choice among find, grep, glob, and list, and drilling from directory summaries to exact files for efficient reference retrieval.

This guide teaches authors how to perform a critical intervention in academic review essays. It provides a structured framework to move beyond mere summary, helping writers identify field blind spots, unexamined assumptions, or false binaries. By learning techniques like dissolving binaries and re-scaling arguments, you can re-order academic debates and elevate a standard review into a groundbreaking, high-impact contribution.

This guide outlines the rigorous data and transparency requirements for submitting academic manuscripts, particularly for social science journals. It details two core components: methodological disclosure via 'Appendix A: Disclosure Elements' and building a complete replication package. Authors must ensure all published tables and figures can be reproduced exactly using deposited data and code in a permanent archive (Dataverse) before the paper advances to typesetting.

A detailed guide modeling the complex academic review machinery, using SIGIR as a primary example. It covers everything from per-track anonymity regimes and PC-member nomination duties to the critical scoring criteria: evaluating validity, fairness of comparison, and statistical rigor. Essential reading for authors preparing high-stakes research submissions.

A comprehensive guide for structuring and refining high-quality database systems research papers for top-tier conferences like SIGMOD. It covers essential components such as establishing a clear page-one contract, integrating running examples, scoping measured system claims, adopting third-person voice, and adhering to the 12-page ACM template structure for maximum technical impact.

This skill activates 'Steno Mode,' providing highly compressed, expert-level responses by eliminating filler words and superfluous tokens (up to 40% reduction). It maintains absolute technical precision, making it ideal for technical communications like code reviews, debugging Q&A, and architecture summaries. Users can select four defined levels (lite, brief, court, machine) to control the density, with exactness always taking top priority.

This guide clarifies the role of computation in theoretical computer science submissions, particularly for venues that prioritize theorems over empirical data. It distinguishes between legitimate forms of evidence—such as certified proof steps, constructive object discoveries, and illustrative examples—and inappropriate performance benchmarking. It helps researchers structure their work to align with theorem-based research, ensuring computational elements enhance the core theoretical contribution.

This comprehensive skill guides authors submitting research to The Burlington Magazine. It outlines the rigorous academic standards required for object-based art history, focusing on connoisseurship, attribution, and provenance. It ensures manuscripts are tightly argued using primary source evidence, technical findings, and close visual examination, helping authors align their work with the journal's specific evidentiary bar and house style.

Exa MCP provides advanced neural search capabilities across the web, specialized code repositories (like GitHub), and corporate/personnel databases. Use it for deep background research, finding the latest news, debugging complex code patterns, or conducting thorough market and competitor analysis.

SymPy is a powerful Python library designed for symbolic mathematics. Unlike numerical solvers, it performs exact calculations using mathematical symbols, allowing users to model and solve complex problems across various domains. Core capabilities include symbolic calculus (derivatives, integrals, limits), advanced algebra, solving systems of equations, linear algebra (determinants, eigenvalues), and specialized modules for physics and number theory. It can also generate executable code in languages like C and Fortran, making it invaluable for academic research and scientific computing.

This skill helps developers and QA engineers transform vague, intermittent, or poorly documented bug reports into a minimal, reproducible, and evidence-backed brief. It guides the user to isolate the exact failure conditions, separate expected outcomes from actual errors, and reduce the issue to the smallest safe failing fixture, ensuring diagnosis occurs before premature repair.