Skill UI

A comprehensive tool for detecting and flagging Personally Identifiable Information (PII) within text, code, and configuration files. It is essential to use this before committing code, logging data, or generating model responses to prevent the accidental leakage of sensitive data such as emails, passwords, SSNs, or API keys.

A comprehensive security auditing tool designed for Claude Code environments. It scans the entire configuration directory for security vulnerabilities, misconfigurations, injection risks, hardcoded secrets, and overly permissive settings. Ideal for initial project setup, pre-commit checks, or routine security hygiene.

The Witness toolkit provides cryptographic signing and verification for all documented code fixes. It ensures that specific fix markers remain present across all releases, and crucially, it maintains a temporal history (JSONL) allowing users to pinpoint the exact commit that introduced a regression. Ideal for robust CI/CD pipelines and release gating.

A comprehensive guide for researchers submitting to ASE (Automated Software Engineering). It details mandatory requirements for ensuring research reproducibility, covering the Data Availability Statement, providing anonymized and runnable tools, pinning system provenance (commits, versions, SHAs), and managing cached LLM outputs. Essential for passing rigorous peer review.

Provides comprehensive guidelines for safely upgrading GitHub Actions workflows and dependencies. Use this when encountering runtime deprecation warnings (e.g., Node.js or Python migrations). It outlines best practices, such as upgrading one action at a time and pinning releases using immutable commit SHAs, ensuring workflow behavior remains unchanged during modernization and validation.

This comprehensive guide assists researchers in ensuring their manuscripts meet stringent ethical and research integrity standards required by top-tier journals. It covers critical areas such as ethics committee approval, informed consent, declarations of interest, funder roles, data sharing, and SAGER guidelines, helping authors improve submission readiness.

This skill guides researchers in refining broad philosophical topics into sharply focused, significant, and defensible theses. It teaches the rigorous process of ensuring a proposed project meets high academic standards—specifically requiring a clear, debatable claim, relevance to live debates, and scope manageable within a defined length. Use this to pressure-test your ideas before committing to writing.

A comprehensive guide for authors handling the conditional acceptance stage of POPL. It details the two-gate process: first, satisfying the mandatory committee revisions, and second, de-anonymizing and formatting the paper for the official PACMPL journal issue. Covers metadata management, ORCIDs, open access rights, and logistical planning for the final conference talk.

A comprehensive deep dive into the PPoPP conference review pipeline. This guide models the single-round, double-blind review process, detailing how submissions are evaluated by the Program Committee and External Review Committee. It covers critical aspects such as the author response rebuttal, automatic poster consideration, and the specific technical axes reviewers prioritize (e.g., scalability, concurrency correctness, baseline honesty) for parallel programming research.

This tool provides a comprehensive, multi-faceted audit of a codebase's health. It scores the project across critical areas like security vulnerabilities, exposed secrets, dependency risks, and structural integrity. Ideal for senior engineers performing pre-commit or pre-release quality assessments to identify weak spots and generate a prioritized remediation plan.

This tool restores project context, crucial after a session clear. It comprehensively analyzes Git history, summarizing recent commits, tracking uncommitted changes, scanning for outstanding TODOs/FIXMEs, and verifying the current project structure. It helps developers quickly re-establish the full working context to resume work efficiently.

This script automates the Git push process, ensuring safety checks (e.g., preventing direct pushes to main branches) and verifying uncommitted changes. Upon successful push, it dynamically generates and displays direct tracking links for CI pipelines on major platforms like GitLab and GitHub Actions, providing immediate status updates for development teams.