Skill UI

This skill provides a framework for auditing Web3 smart contracts for security vulnerabilities. It includes pre-audit risk assessment strategies, critical bug class identification (like accounting desynchronization and access control), and Solidity code analysis techniques. Designed for authorized security assessments and educational purposes, it helps identify high-value targets and common exploit patterns in blockchain protocols.

A specialized tool for auditing WordPress plugins, themes, and blocks before deployment. It checks for security vulnerabilities like SQL injection, XSS, and improper escaping, ensures API correctness, and enforces internationalization standards. Use it to review generated code or perform security assessments on WordPress environments.

This skill develops and verifies mathematical proofs using the Lean theorem prover. It handles creating new proofs, continuing incomplete projects, and auditing existing formalizations to ensure they match original statements. It connects inputs to lemmas, assembles theorems, and checks axioms for reproducibility. Use it for formal verification tasks rather than ordinary drafting.

Creates an indexed register of supporting documents with type, party, amount, index key, storage location, retention period, and verification status. Recommends the smallest workflow for document filing, builds CSV, SQL, JSON, or Notion outputs on request, and links each document to its supporting entry for traceable auditing.

Capture a full DevTools-protocol trace of any browser automation run — CDP firehose, screenshots, and DOM dumps — then bisect the stream into per-page searchable buckets for debugging, auditing, and agent feedback loops.

This skill facilitates the rollout and auditing of Claude Code within teams or organizations. It reviews shared settings permissions, approves MCP servers and plugins, audits CLAUDE.md layers, and measures adoption safely. It includes four deterministic scripts for linting, inventorying, instructions, and tracking usage without exposing secrets.

This tool provides a unified cost view for AI agents like Claude Code, Codex, and Grok. It reads local logs to calculate spend, token usage, and cache hit ratios per provider and model. It flags unpriced models and supports filtering by time range, project, and provider. Output can be JSON or Markdown. All data stays local, ensuring privacy. Ideal for auditing AI usage costs and comparing provider pricing.

This skill compares the length of two or more labeled text samples to analyze content volume. It counts tokens or words, identifies differences, and reports coverage observations. Ideal for SEO analysis, content auditing, and competitive research where text volume matters. It handles plain text, pasted content, or labeled rows without requiring form filling.