Skill UI

Detects missing zeroization of secrets and flags compiler-optimized removals with mandatory assembly/IR evidence, helping auditors verify C/C++/Rust cryptographic code through dataflow, CFG, and runtime validation.

This workflow automates the process of summarizing meeting minutes and generating structured reports. It can collect meeting records, extract associated notes (minutes, transcripts), and metadata from a specified time range. Use it when you need to generate weekly reports, review past meeting content, or quickly compile daily meeting summaries.

A comprehensive guide for implementing robust policy enforcement and security guardrails in HubSpot integrations. This methodology covers secret scanning within CI/CD pipelines to prevent token leaks, utilizes ESLint rules for enforcing modern authentication practices, and leverages TypeScript for compile-time and runtime checks. Use this when setting up secure, scalable, and compliant codebases for HubSpot APIs.

A code-generation toolkit for implementing compile-time dependency injection in Golang. Wire analyzes the dependency graph to generate plain Go constructor code, eliminating the need for runtime containers or reflection. This ensures that dependency errors are caught during compilation (via `wire ./...`) rather than at runtime startup. It is ideal for building robust, large-scale Go applications that require strict dependency management.

This technical skill is designed to verify the compatibility of the Codex CLI with skills compiled from MDA source. Loading this skill confirms that the CLI loader successfully parses the SKILL.md format, adhering to the agentskills.io v1 envelope subset. It is primarily used for testing build pipelines, metadata integrity, and ensuring robust compatibility between MDA compilation and runtime ingestion.

This tool streamlines the entire meeting preparation lifecycle. By integrating Notion context, performing targeted searches, and enriching content with Codex research, users can draft structured agendas, pre-reads, and decision documents. It ensures all necessary background information, owners, timeboxes, and industry insights are compiled for highly effective meetings.

A comprehensive guide for authors targeting the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). This skill helps assess if a computer science manuscript fits the venue, focusing on techniques like parallel programming models, compilers, runtimes, and multicore/GPU systems. It provides structured advice on framing the contribution, identifying evidence gaps, and positioning the work against related top-tier conferences.

This guide provides best practices for designing and auditing academic evaluations of programming language features and compilers, following standards used in venues like PLDI. It covers selecting defensible benchmark suites, establishing strong baselines, performing targeted ablations, and measuring multiple performance metrics (runtime, compile time, memory) to ensure research claims are reproducible and scientifically sound.

This guide addresses the stringent requirements for empirical evaluation in compiler and runtime systems, aligning with SIGPLAN's guidelines. It covers critical aspects such as proper warmup discipline, reporting variance and confidence intervals, selecting principled benchmarks, pinning toolchains, and ensuring cross-platform validity. It provides a protocol for generating verifiable measurement logs for academic publications.

This guide outlines the necessary steps to ensure that parallel computing performance papers are scientifically reproducible. Since parallel results depend heavily on machine architecture, topology, and runtime conditions, proper documentation must cover everything from CPU/GPU specifications and interconnects to thread pinning policies, random seeds, and compiler flags. The focus is on proving the scaling trend, not just the absolute numbers, allowing results to hold true across different hardware platforms.