「grid」の検索結果

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

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

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

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

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)

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

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

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

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.

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

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.

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

Formal verification of Rust programs via translation to Coq/Rocq.

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

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

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

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

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

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.

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

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:

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

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

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

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.

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

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

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

name: cognitive-sufficiency-superposition

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

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

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

Condensed ANIMA on quantum-classical and classical-quantum networks. All skill compositions materialized as s-expressions across the polyglot substrate.

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

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

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

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

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

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.

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

GF(3) color envelope preservation across navigator compositions

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

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

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

Testing for timing side channels and constant-time implementation verification.

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

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.

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