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.

This guide details the rigorous methodology for conducting systematic literature reviews and meta-science pieces, particularly for integrative reviews in psychology (PoPS style). It instructs researchers on how to systematically gather evidence across multiple sub-areas by utilizing techniques like forward/backward snowballing, comprehensive database sweeps (e.g., PsycINFO), and developing detailed evidence matrices. The focus is on synthesizing findings and establishing replicable search protocols to ensure academic rigor and comprehensiveness, moving beyond simple summarization.

This guide provides a comprehensive checklist for designing, executing, and presenting empirical evidence for academic papers in Pattern Recognition and AI. It covers critical areas like establishing fair baselines, ensuring statistical rigor (mean ± std dev, significance testing), conducting sufficient ablation studies, preventing data leakage, and reporting computational costs. It helps authors make their findings withstand rigorous external review.

This skill guides researchers through the rigorous process of determining if a scientific finding meets the 'Importance' and 'Broad Interest' criteria required for top-tier physics journals, such as Physical Review Letters (PRL). It diagnoses venue fit, helping authors frame their work to maximize visibility and impact, without altering the core scientific result. Useful for optimizing manuscript submissions and developing a clear narrative for non-specialist audiences.

This skill guides authors on crafting authoritative, comprehensive, and critical reviews for top-tier materials science journals. It emphasizes moving beyond simple literature summaries to provide deep, balanced, and critical synthesis of an entire field's state-of-the-art. Use this when developing a major review manuscript or determining if your work fits the scope of a high-impact, field-spanning publication.

This skill guides the planning of psychological studies to meet the highest academic standards. It provides comprehensive methodologies for performing power analysis, justifying sample sizes, and implementing preregistration protocols. Use this when initiating a new research project or developing a pre-analysis plan to ensure the study design is robust and transparent.

This tool acts as an orchestrator for submitting manuscripts to Psychological Science. It guides researchers through the complex publication process, making critical decisions based on the manuscript type (e.g., Research Article, Registered Report) and the current stage of development. It is crucial for managing constraints like tight word limits and rigorous open-science requirements, directing users to the correct specialized skills at every step.

This skill details the rigorous methodology for defining study eligibility criteria and coding data for comprehensive meta-analyses. It emphasizes pre-specifying inclusion/exclusion rules in a protocol, developing a detailed codebook, performing double-coding, and calculating inter-rater reliability (e.g., Kappa, ICC) to ensure the reproducibility and trustworthiness of synthesis findings.

This guide outlines the rigorous methodology for developing theoretical arguments in psychological review papers. Instead of presenting raw data, the focus is on deriving specific, falsifiable predictions from a model's core assumptions. Techniques involve confronting these predictions against existing published evidence and rigorously comparing them head-to-head with rival theoretical models, ensuring logical and quantitative soundness.

This comprehensive guide acts as a router for writing a theoretical or formal-model manuscript for a Psychological Review submission. It guides the user through the entire lifecycle, from initial topic selection and theory construction to argument development, boundary setting, and final submission readiness. It does not replace specialized skills but directs the user to the correct subsequent step.

This tool serves as an orchestrator for developing Public Administration Review (PAR) manuscripts. It guides researchers through the entire writing lifecycle—from initial topic selection and literature positioning to theory building, data analysis, and final submission/rebuttal. It helps users determine the most appropriate article type (e.g., Scholarly Take, Conceptualizing PA) and maps the necessary steps to ensure the work bridges both academic theory and practical public management relevance.

A specialized tool designed to help academic researchers evaluate the suitability of their manuscripts for the 'Research and Development Management' journal. It analyzes the paper's fit, theoretical framing, structural requirements, and potential weaknesses against the journal's focus on enterprise-level innovation mechanisms, knowledge management, and academic rigor. It simulates the journal's editorial review process.