查找技能

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.

中文简介正在准备中。当前显示原文说明。

Code refactoring patterns and techniques for improving code quality without changing behavior. Use for cleaning up legacy code, reducing complexity, or improving maintainability.

中文简介正在准备中。当前显示原文说明。

A **codescent object** is the 2-categorical analogue of a coequalizer. While coequalizers identify elements under an equivalence relation, codescent objects identify 1-cells under a coherent system of 2-cells. They are the fundamental tool for:

中文简介正在准备中。当前显示原文说明。

This skill should be used when the user asks to "create a slash command", "add a command", "write a custom command", "define command arguments", "use command frontmatter", "organize commands", "create command with file references", "interactive command", "use AskUserQuestion in command", or needs guidance on slash command structure, YAML frontmatter fields, dynamic arguments, bash execution in commands, user interaction patterns, or command development best practices for Claude Code.

中文简介正在准备中。当前显示原文说明。

Assists in writing high-quality content by conducting research, adding citations, improving hooks, iterating on outlines, and providing real-time feedback on each section. Transforms your writing process from solo effort to collaborative partnership.

中文简介正在准备中。当前显示原文说明。

Writing effective code documentation - API docs, README files, inline comments, and technical guides. Use for documenting codebases, APIs, or writing developer guides.

中文简介正在准备中。当前显示原文说明。

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.

中文简介正在准备中。当前显示原文说明。

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.

中文简介正在准备中。当前显示原文说明。

GF(3) color envelope preservation across navigator compositions

中文简介正在准备中。当前显示原文说明。

Manage and deploy ComfyUI workflow skills using the comfy-skills CLI.

中文简介正在准备中。当前显示原文说明。

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.

中文简介正在准备中。当前显示原文说明。

Generalization and composition of constraints across navigators

中文简介正在准备中。当前显示原文说明。

Deploy Coolify self-hosted PaaS for application hosting. Covers VM provisioning, installation, GitHub integration, and application deployment with auto-SSL.

中文简介正在准备中。当前显示原文说明。

Machine learning environment for automated theorem proving with Coq.

中文简介正在准备中。当前显示原文说明。

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)

中文简介正在准备中。当前显示原文说明。

Scans Cosmos SDK blockchains for 9 consensus-critical vulnerabilities including non-determinism, incorrect signers, ABCI panics, and rounding errors. Use when auditing Cosmos chains or CosmWasm contracts. (project, gitignored)

中文简介正在准备中。当前显示原文说明。

Real-time monitoring and automated remediation for proof system health.

中文简介正在准备中。当前显示原文说明。

Brutally honest code review in the style of Linus Torvalds, focusing on data structures, simplicity, and pragmatism. Use when you want critical, no-nonsense feedback that prioritizes engineering fundamentals over style preferences.

中文简介正在准备中。当前显示原文说明。

Maps the 18 OCapN/CapTP/E-rights patterns reinvented piecemeal across codex-rs to their canonical Spritely/Goblins equivalents and the hermes-* bridge skills that formalize each correspondence. Use when auditing capability architecture in codex-rs, planning a Hoot/Goblins port, or reasoning about which E-rights primitive a codex-rs module implicitly implements.

中文简介正在准备中。当前显示原文说明。

name: cognitive-sufficiency-superposition

中文简介正在准备中。当前显示原文说明。

Formal verification of Rust programs via translation to Coq/Rocq.

中文简介正在准备中。当前显示原文说明。

Colored stochastic six-vertex model with rainbow initial data, projection properties, and height functions tracking particle counts by color.

中文简介正在准备中。当前显示原文说明。

A comprehensive guide for using ConfigHub to manage Kubernetes configuration across multiple environments using Configuration as Data principles. This rulebook covers installation, configuration management, variant handling, and operational workflows.

中文简介正在准备中。当前显示原文说明。

Lisp machine self-modification patterns via MCP Tasks and Narya bridge types

中文简介正在准备中。当前显示原文说明。