plurigrid

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Scholze-Clausen condensed math - condensed sets, liquid vector spaces, solid modules, 6-functor formalism, Kunneth exactness

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Conformal Geometric Algebra (CGA) for circles, spheres, and Möbius transformations

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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:

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

name: cognitive-sufficiency-superposition

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Automated code review for pull requests using specialized review patterns. Analyzes code for quality, security, performance, and best practices. Use when reviewing code changes, PRs, or doing code audits.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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)

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Schmidhuber's compression progress as intrinsic curiosity reward for learning systems.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Forth/Factor/Joy: stack-based concatenative programming where composition replaces application.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Machine learning environment for automated theorem proving with Coq.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Comonads: dual to Monad. Extract + Extend.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.