其他技能

Sheaves on time categories for compositional temporal reasoning. Bumpus et al. narrative framework with adhesion filter FPT algorithms and Gay.jl color integration.

中文简介正在准备中。当前显示原文说明。

CapTP: Capability Transfer Protocol

中文简介正在准备中。当前显示原文说明。

cat Skill: Derivational Pipe Chaining

中文简介正在准备中。当前显示原文说明。

Buberian Relations Skill

中文简介正在准备中。当前显示原文说明。

CatColab Causal Loop Diagrams - systems dynamics modeling with reinforcing (R) and balancing (B) feedback loops, delays, and Lotka-Volterra semantics for strategic analysis.

中文简介正在准备中。当前显示原文说明。

The double category of polynomial comonads where:

中文简介正在准备中。当前显示原文说明。

Babashka and ClojureScript runtime selection guidance by @borkdude

中文简介正在准备中。当前显示原文说明。

This skill is the **deep interleaving** of the five BKP 2-monad theory skills:

中文简介正在准备中。当前显示原文说明。

bmorphism Diagrams

中文简介正在准备中。当前显示原文说明。

Validates GF(3) conservation across triadic braindance replays. Ensures MINUS+ERGODIC+PLUS=0.

中文简介正在准备中。当前显示原文说明。

Ranked taxonomy of categorical structures from sets to ∞-topoi with gap analysis and DuckDB integration.

中文简介正在准备中。当前显示原文说明。

World BOB Skill

中文简介正在准备中。当前显示原文说明。

Bluesky Jetstream Firehose Skill

中文简介正在准备中。当前显示原文说明。

GF(3)-conserved distribution of Claude threads across Aptos worlds

中文简介正在准备中。当前显示原文说明。

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

中文简介正在准备中。当前显示原文说明。

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.

中文简介正在准备中。当前显示原文说明。

Bifunctors: two-argument functors for product categories.

中文简介正在准备中。当前显示原文说明。

MLX↔JAX bidirectional beacon-repeater with spectral gap random walk, justfile orchestration, catp flow validation, and adversarial malleability for life pattern resurrection.

中文简介正在准备中。当前显示原文说明。

Guide for using Beads (bd), a dependency-aware issue tracker for AI agents. Issues chained together like beads.

中文简介正在准备中。当前显示原文说明。

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

中文简介正在准备中。当前显示原文说明。

World B Skill

中文简介正在准备中。当前显示原文说明。

Invariant set attracting nearby trajectories

中文简介正在准备中。当前显示原文说明。

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

中文简介正在准备中。当前显示原文说明。

Clojure scripting without JVM startup.

中文简介正在准备中。当前显示原文说明。