297 skills (repositories by plurigrid) · sorted by popularity
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.
The English summary is being prepared. Showing the original description.
Code refactoring patterns and techniques for improving code quality without changing behavior. Use for cleaning up legacy code, reducing complexity, or improving maintainability.
The English summary is being prepared. Showing the original description.
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:
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
Writing effective code documentation - API docs, README files, inline comments, and technical guides. Use for documenting codebases, APIs, or writing developer guides.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
GF(3) color envelope preservation across navigator compositions
The English summary is being prepared. Showing the original description.
Manage and deploy ComfyUI workflow skills using the comfy-skills CLI.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
Generalization and composition of constraints across navigators
The English summary is being prepared. Showing the original description.
Deploy Coolify self-hosted PaaS for application hosting. Covers VM provisioning, installation, GitHub integration, and application deployment with auto-SSL.
The English summary is being prepared. Showing the original description.
Machine learning environment for automated theorem proving with Coq.
The English summary is being prepared. Showing the original description.
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)
The English summary is being prepared. Showing the original description.
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)
The English summary is being prepared. Showing the original description.
Real-time monitoring and automated remediation for proof system health.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
name: cognitive-sufficiency-superposition
The English summary is being prepared. Showing the original description.
Formal verification of Rust programs via translation to Coq/Rocq.
The English summary is being prepared. Showing the original description.
Colored stochastic six-vertex model with rainbow initial data, projection properties, and height functions tracking particle counts by color.
The English summary is being prepared. Showing the original description.
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.
The English summary is being prepared. Showing the original description.
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types
The English summary is being prepared. Showing the original description.