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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Cognitive superposition synthesizing Riehl (∞-categories), Sutskever (compression), Schmidhuber (curiosity-driven), and Bengio (GFlowNets) into unified ASI framework with quantum-inspired measurement collapse.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Generalization and composition of constraints across navigators
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Manage and deploy ComfyUI workflow skills using the comfy-skills CLI.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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)
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Machine learning environment for automated theorem proving with Coq.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Real-time monitoring and automated remediation for proof system health.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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)
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Quotient redundant skill paths via coequalizers, preserving GF(3) conservation
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
```yaml name: cognitive-surrogate description: Layer 6 Barton Cognitive Surrogate System - build, train, and validate psychological models that predict and generate authentic responses matching a subject's cognitive patterns version: 1.0.0 trit: 0 # Ergodic/coordinator role in GF(3) triadic system ```
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Colored stochastic six-vertex model with rainbow initial data, projection properties, and height functions tracking particle counts by color.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Event Horizon Telescope black hole imaging with deterministic coloring via Gay.jl integration.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Formal verification of Rust programs via translation to Coq/Rocq.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
GF(3) color envelope preservation across navigator compositions
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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:
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
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.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Berry & Boudol's CHAM: computation as chemical reactions on multisets.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.