297건(plurigrid의 저장소) · 인기순
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
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.