Skill UI

A detailed guide for revising academic papers, specifically tailored for systems and database conferences like VLDB. It emphasizes establishing a strong 'page-one contract,' quantifying all performance claims with scoped metrics and baselines, and maintaining rigorous candor regarding design trade-offs and terminology throughout the manuscript.

A comprehensive guide for allocating content across academic conference submissions, ensuring critical evidence is visible within strict page limits. It defines rules for triaging material into decisive (body), supporting (appendix/repo), and archival (repository) categories, along with advanced compression tactics for tables and proofs.

This skill provides a structured way to understand complex codebases, functions, or architectural concepts. It allows the user to specify the depth of explanation (Simple, Standard, Deep), ensuring the output covers purpose, step-by-step flow, key decisions, and trade-offs for maximum learning efficiency.

A comprehensive tool designed to help developers compare multiple technical approaches for solving a single problem. It systematically identifies and analyzes the trade-offs, complexity, performance, and learning curves associated with different design patterns (e.g., state management, data fetching, API design). Ideal for architectural reviews and making informed, robust technology stack decisions.

This skill manages complex, stateful proof projects as a local-first pipeline. It guides the user through drafting, rigorous verification, and source bookkeeping. It systematically handles proof continuation across runs, maintaining a full audit trail. When local attempts stall, it orchestrates handoffs to external AI models (like GPT Pro) or performs optional deep audits (DeepSeek), ensuring a structured, traceable, and verifiable output suitable for academic or technical submission.

This skill guides a thorough, adversarial review of development plans across four key dimensions: Architecture, Code Quality, Testing, and Performance. It forces explicit consideration of trade-offs, risks, and user approval before any code is written, ensuring robust and well-engineered solutions for complex systems.

This command-line tool allows users to upload local files (screenshots, images, PDFs, videos, etc.) directly to GitHub's internal user-attachments endpoint. It outputs a special URL that GitHub automatically renders when pasted into PRs, issues, or comments, facilitating the easy sharing of media and screenshots within development workflows. It also supports downloading existing private attachments.

This tool generates comprehensive regulatory compliance reports specifically tailored for financial institutions operating in Japan. It adheres strictly to the guidelines set by the Japanese Financial Services Agency (FSA), ensuring the output is formatted correctly and delivered in Japanese (ja_JP) as mandated by Japanese regulations. Users simply provide the required compliance data and reporting period to generate official, legally compliant reports.

A rigorous decision-making methodology that quantifies the trade-offs when allocating scarce resources (time, budget, attention). Instead of merely evaluating a chosen path, this framework forces the user to identify the single best alternative forgone, calculating the net value delta (chosen value minus best forgone value). It is essential for feature prioritization, major commitments, and strategic planning to prevent decisions based solely on immediate perceived gains.