「grid」の検索結果

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

日本語の概要は準備中です。原文の説明を表示しています。

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

日本語の概要は準備中です。原文の説明を表示しています。

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

日本語の概要は準備中です。原文の説明を表示しています。

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.

日本語の概要は準備中です。原文の説明を表示しています。

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.

日本語の概要は準備中です。原文の説明を表示しています。

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.

日本語の概要は準備中です。原文の説明を表示しています。

Machine learning environment for automated theorem proving with Coq.

日本語の概要は準備中です。原文の説明を表示しています。

GF(3) color envelope preservation across navigator compositions

日本語の概要は準備中です。原文の説明を表示しています。

name: cognitive-sufficiency-superposition

日本語の概要は準備中です。原文の説明を表示しています。

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)

日本語の概要は準備中です。原文の説明を表示しています。

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:

日本語の概要は準備中です。原文の説明を表示しています。

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 **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).

日本語の概要は準備中です。原文の説明を表示しています。

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.

日本語の概要は準備中です。原文の説明を表示しています。

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

日本語の概要は準備中です。原文の説明を表示しています。

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)

日本語の概要は準備中です。原文の説明を表示しています。

Access COSMIC cancer mutation database. Query somatic mutations, Cancer Gene Census, mutational signatures, gene fusions, for cancer research and precision oncology. Requires authentication.

日本語の概要は準備中です。原文の説明を表示しています。

When the user wants to write, rewrite, or improve marketing copy for any page — including homepage, landing pages, pricing pages, feature pages, about pages, or product pages. Also use when the user says "write copy for," "improve this copy," "rewrite this page," "marketing copy," "headline help," or "CTA copy." For email copy, see email-sequence. For popup copy, see popup-cro.

日本語の概要は準備中です。原文の説明を表示しています。

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

日本語の概要は準備中です。原文の説明を表示しています。

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

日本語の概要は準備中です。原文の説明を表示しています。

Generalization and composition of constraints across navigators

日本語の概要は準備中です。原文の説明を表示しています。

This skill provides comprehensive CLI reference for the mcp-tasks command-line tool.

日本語の概要は準備中です。原文の説明を表示しています。

This skill should be used to enforce token efficiency. Every token must pay rent - no preamble, hedging, restating, filler, or apologies. Evicts freeloading tokens from agent output.

日本語の概要は準備中です。原文の説明を表示しています。

A **samovar** (самовар) keeps water hot indefinitely through self-contained combustion.

日本語の概要は準備中です。原文の説明を表示しています。