その他のスキル

World B Skill

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

Generate bifurcation diagrams for dynamical systems. Use when visualizing parameter-dependent behavior transitions.

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

ASI Agent-O-Rama Skill

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

Assets skill

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

Lee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.

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

Org-agenda-like transient views for ASI skill orchestration via nbb/squint + Emacs hydra

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

Behaviour Surprisal Analysis

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

Clojure scripting without JVM startup.

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

BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.

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

Run and interpret engine-stack benchmarks (Steel, ember, shale)

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

Hopf bifurcation detection for dynamical system state transitions with GF(3) phase portraits

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

Safe proof ↔ theorem navigation with non-backtracking constraint.

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

Clarify requirements before implementing. Use when serious doubts araise.

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

Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.

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

Optimize AgentDB with quantization, HNSW tuning, caching, batch ops, and pruning.

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

From Interverse transcript (Dec 12, 2025):

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

Execute trades on Aptos mainnet with price-triggered profit-taking and dip-buying strategies. Includes wallet management, transaction signing, and DEX swaps via Liquidswap. Use when automating APT trading, checking balances, or executing swaps.

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

Adversarial malleability analysis of Aqua Voice Electron app with IPC injection, WebSocket interception, and braided monoidal skill interleaving

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

Aptos GF(3) Society Skill

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

Aptos Society Scale

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

Combines AMP thread export with GF(3)-classified continuation for skill orchestration. Export threads as markdown, classify continuation choices as {-1:reductive, 0:neutral, +1:generative}, and fork parallel execution paths.

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

Tour of Alice's heavily-customized terminal Emacs — Causal transients, Worlding org, proof tooling, MLX chat, voice, and clipboard.

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

Optimize AgentDB performance with quantization (4-32x memory reduction), HNSW indexing (150x faster search), caching, and batch operations. Use when optimizing memory usage, improving search speed, or scaling to millions of vectors.

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

Skill aptos-ecosystem

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