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.

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.

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.