Skill UI

Guides research teams through a two-stage manuscript workflow: outline sections with research-lookup, enforce IMRAD structure, citation styles, figures, and reporting guidelines, then convert into polished prose for journals.

Manim is a powerful Python library used for creating high-quality mathematical and scientific animations. This skill facilitates the generation of educational videos and complex visualizations for presentations. It is ideal for researchers, educators, or content creators who need to visualize complex concepts in an engaging animated format. Note: This specific file is related to localization/translation.

A comprehensive skill for managing academic citations throughout the research and writing process. It guides users through searching major databases (Google Scholar, PubMed), extracting accurate metadata from diverse IDs (DOI, PMID, arXiv), validating citation integrity, and generating standardized BibTeX entries. Essential for maintaining scientific writing accuracy and reproducibility.

A comprehensive tool supporting rigorous, evidence-bounded, and structured peer-review of scientific manuscripts, research protocols, and academic proposals. It guides reviewers through critical assessments of methods, statistics, ethical compliance, reproducibility, and claim-evidence alignment, while strictly enforcing confidentiality and human accountability throughout the review process.

SymPy is a comprehensive Python library designed for exact symbolic computation. It enables users to perform advanced mathematical operations, including symbolic calculus (derivatives, integrals), algebraic manipulation, solving complex systems of equations, and linear algebra, all without relying on floating-point approximations. It is essential for scientific research, physics modeling, and generating precise mathematical documentation (e.g., LaTeX).

Manim is a powerful Python library used for creating high-quality mathematical and scientific animations. This skill facilitates the generation of educational videos and complex visualizations for presentations. It is ideal for researchers, educators, or content creators who need to visualize complex concepts in an engaging animated format. Note: This specific file is related to localization/translation.

A comprehensive guide for authors targeting the ACM International Conference on the Foundations of Software Engineering (FSE). It helps assess manuscript fit, refine the scientific narrative, strengthen empirical evidence, and understand venue-specific requirements for SE foundations, tools, and AI applications. Use this to strategically position your research for top-tier SE conferences.

A comprehensive guide for researchers and reviewers designing or auditing Automated Software Engineering (ASE) evaluations. It outlines the necessary rigor, including the use of real subject systems, establishing fair and runnable tool baselines, performing targeted ablations (especially for LLMs), defining explicit oracles, and ensuring full data and model provenance to guarantee reproducible and scientifically sound results.

This guide details best practices for ensuring scientific rigor and reproducibility in complex system research. It outlines the necessity of capturing the full execution state—including hardware steppings, BIOS revisions, kernel configurations, toolchain versions, and dataset provenance—to prevent data decay and validate findings against environmental drift.

This guide helps researchers determine if their study—particularly in clinical neurology or translational neuroscience—meets the high standards of leading journals like Brain. It provides detailed insights into required mechanistic depth, evidence types (e.g., genetics, biomarkers), appropriate reporting guidelines (STROBE, CONSORT, PRISMA), and common desk-reject expectations. It is a venue-fit aid, detailing the scientific rigor needed for submission.

This guide outlines the comprehensive process for submitting and evaluating Computer Aided Verification (CAV) research artifacts. It details the criteria for earning three badges (Available, Functional, Reusable), the two-phase review structure (smoke-test and full review), and best practices for packaging scientific tools, including the use of containers, pinned benchmarks, resource limits, and proof witnesses. This ensures reproducibility and rigor in academic research.

This guide assists researchers in compiling and documenting all necessary ethical approvals, biosafety statements, and data/code availability declarations required for high-impact scientific manuscripts (e.g., Cancer Cell). It ensures compliance with guidelines covering animal protocols (IACUC), human subject ethics (IRB/Consent), and data sharing standards (GEO, Zenodo).