Detects timing side-channel vulnerabilities in cryptographic code. Use when implementing or reviewing crypto code, encountering division on secrets, secret-dependent branches, or constant-time programming questions in C, C++, Go, Rust, Swift, Java, Kotlin, C#, PHP, JavaScript, TypeScript, Python, or Ruby.
中文简介正在准备中。当前显示原文说明。
Testing for timing side channels and constant-time implementation verification.
中文简介正在准备中。当前显示原文说明。
Schmidhuber's compression progress as intrinsic curiosity reward for learning systems.
中文简介正在准备中。当前显示原文说明。
Compressive Vasomotion Hypothesis (CVH) — vasomotion as a fast compression sweep that collapses ambivalent neural resonances (the Bayesian-blur problem) into a definite state. Use when modeling the ~100ms taṇhā 'grab', precision-weighting as compression forcefulness, or the generative collapse step of vasocomputational active inference.
中文简介正在准备中。当前显示原文说明。
Forth/Factor/Joy: stack-based concatenative programming where composition replaces application.
中文简介正在准备中。当前显示原文说明。
When the user wants to write, rewrite, or improve marketing copy for any page — including homepage, landing pages, pricing pages, feature pages, about pages, or product pages. Also use when the user says "write copy for," "improve this copy," "rewrite this page," "marketing copy," "headline help," or "CTA copy." For email copy, see email-sequence. For popup copy, see popup-cro.
中文简介正在准备中。当前显示原文说明。
Real-time monitoring and automated remediation for proof system health.
中文简介正在准备中。当前显示原文说明。
Use this skill to review code. It supports both local changes (staged or working tree) and remote Pull Requests (by ID or URL). It focuses on correctness, maintainability, and adherence to project standards.
中文简介正在准备中。当前显示原文说明。
Event Horizon Telescope black hole imaging with deterministic coloring via Gay.jl integration.
中文简介正在准备中。当前显示原文说明。
Structured code review covering style, readability, and security concerns with actionable feedback. Use when reviewing pull requests or merge requests to identify issues and suggest improvements.
中文简介正在准备中。当前显示原文说明。
Run CodeQL static analysis for security vulnerability detection, taint tracking, and data flow analysis. Use when asked to analyze code with CodeQL, create CodeQL databases, write custom QL queries, perform security audits, or set up CodeQL in CI/CD pipelines.
中文简介正在准备中。当前显示原文说明。
Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety, auditing practices, access controls, complexity, decentralization, documentation, MEV risks, low-level code, and testing. Produces professional scorecard with evidence-based ratings and actionable recommendations. (project, gitignored)
中文简介正在准备中。当前显示原文说明。
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types
中文简介正在准备中。当前显示原文说明。
Scholze-Clausen condensed math - condensed sets, liquid vector spaces, solid modules, 6-functor formalism, Kunneth exactness
中文简介正在准备中。当前显示原文说明。
The **Coherence Composer** is an epistemological skill that validates structural consistency and explores counterfactual worlds while respecting constraints from both **Commitment Tracker** (ontology) and **Opacity Detector** (epistemology).
中文简介正在准备中。当前显示原文说明。
Writing effective code documentation - API docs, README files, inline comments, and technical guides. Use for documenting codebases, APIs, or writing developer guides.
中文简介正在准备中。当前显示原文说明。
The **Commitment Tracker** skill extracts and makes explicit the **ontological commitments** that agents make implicitly through their code and behavior. It enables detection and resolution of silent incompatibilities between systems that use different underlying assumptions about what exists and ho
中文简介正在准备中。当前显示原文说明。
Machine learning environment for automated theorem proving with Coq.
中文简介正在准备中。当前显示原文说明。
Code refactoring patterns and techniques for improving code quality without changing behavior. Use for cleaning up legacy code, reducing complexity, or improving maintainability.
中文简介正在准备中。当前显示原文说明。
Comonads: dual to Monad. Extract + Extend.
中文简介正在准备中。当前显示原文说明。
Conformal Geometric Algebra (CGA) for circles, spheres, and Möbius transformations
中文简介正在准备中。当前显示原文说明。
Extracts and analyzes competitors' ads from ad libraries (Facebook, LinkedIn, etc.) to understand what messaging, problems, and creative approaches are working. Helps inspire and improve your own ad campaigns.
中文简介正在准备中。当前显示原文说明。
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
中文简介正在准备中。当前显示原文说明。
Cat# Skill (ERGODIC 0)
中文简介正在准备中。当前显示原文说明。