Skill UI

This tool serves as a comprehensive workflow router for drafting high-impact Earth-system manuscripts targeting Nature Geoscience. It guides researchers through the entire publication cycle—from initial scope assessment and results framing to methods development, figure design, and critical revision. By diagnosing bottlenecks, it determines the optimal, sequential use of specialized academic skills.

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 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.

Scans your local machine's Git history to locate abandoned or unfinished side projects. It performs a deep 'autopsy' on these repositories, determining their causes of death (e.g., deployment fear, killed by newer ideas) and identifying personal developmental patterns. The tool then surfaces the most promising candidate for resurrection, helping you finally ship it.