Skill UI

This tool acts as an orchestrator for writing *Progress in Human Geography* manuscripts. It guides authors through the entire writing process by routing the piece based on its lifecycle stage, genre (Review Article vs. Progress Report), and whether the topic is truly review-worthy. It systematically ensures the resulting work is synthetic, critical, and focused on developing a core academic argument.

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

A comprehensive guide for developing a rigorous, a-priori protocol for systematic reviews and meta-analyses in educational research. This tool ensures methodological transparency by defining the scope (PICO), eligibility criteria, search strategies, screening procedures, and synthesis plans before any data is collected, protecting the integrity of the research findings.

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 audit tool for stress-testing the logical coherence of sociological theory manuscripts. This skill guides the user through checking every link in the theoretical spine (premises → mechanism → propositions → conclusion), ensuring that claims are warranted, identifying strongest rival explanations, and handling potential counter-cases. It strengthens the argument itself, independent of empirical data.

webmcpify is a specialized pipeline designed to make existing web applications agent-ready. It extracts user-facing functionality and exposes it as WebMCP tools, allowing AI agents to interact with the application via structured, reliable tool calls rather than fragile DOM scraping. The tool guides developers through detection, inventory, integration, verification, and healing phases to ensure robust AI interoperability.

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.

An AI SDK specifically designed for Dart and Flutter applications. Genkit provides a unified interface for building sophisticated AI agents, defining complex data flows, and integrating various Large Language Models (LLMs) like Gemini, OpenAI, and Anthropic. Use it to manage code generation, structured outputs, tools, and complex operational workflows in Dart.

Qiskit is a leading open-source quantum computing framework designed for building, optimizing, and executing quantum circuits. It provides comprehensive tools to run on local simulators or major cloud quantum backends, including IBM Quantum, IonQ, and Amazon Braket. Use it to develop algorithms in chemistry, machine learning, and optimization.