スキルを探す

Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism

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

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

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

```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 ```

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

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

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

Colored stochastic six-vertex model with rainbow initial data, projection properties, and height functions tracking particle counts by color.

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

Claude Code runs an Emacs daemon, starts a CRDT server, shares buffers.

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

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

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

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

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

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.

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

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.

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

Comonads: dual to Monad. Extract + Extend.

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

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

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

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)

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

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.

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

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.

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

Event Horizon Telescope black hole imaging with deterministic coloring via Gay.jl integration.

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

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

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

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

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

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

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

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.

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

Cognitive superposition synthesizing Riehl (∞-categories), Sutskever (compression), Schmidhuber (curiosity-driven), and Bengio (GFlowNets) into unified ASI framework with quantum-inspired measurement collapse.

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

Track Claude's best and worst questions in DuckDB. Use when Claude asks a notably good or bad question, or to review question quality. Triggers: leaderboard, bad question, good question, question quality.

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