Other skills

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.

The English summary is being prepared. Showing the original description.

Behaviour Surprisal Analysis

The English summary is being prepared. Showing the original description.

ASI Agent-O-Rama Skill

The English summary is being prepared. Showing the original description.

Clarify requirements before implementing. Use when serious doubts araise.

The English summary is being prepared. Showing the original description.

Bifunctors: two-argument functors for product categories.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

World B Skill

The English summary is being prepared. Showing the original description.

Invariant set attracting nearby trajectories

The English summary is being prepared. Showing the original description.

Safe proof ↔ theorem navigation with non-backtracking constraint.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

Clojure scripting without JVM startup.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation

The English summary is being prepared. Showing the original description.

Implement affective valence as directional derivative of interoceptive energy landscapes for AI alignment. Use when building alignment-aware RL agents, validating GF(3) conservation in reward signals, training Langevin-based policies, or analyzing fold-change detection signals in POMDP environments.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

Aptos Society Scale

The English summary is being prepared. Showing the original description.

World Extractable Value via Aptos orderless transactions with Strong Parallelism Invariance (SPI) guarantees and GF(3) conservation.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understanding agency at maximum entropy, compositional world modeling, or applying Scholze-Clausen condensed mathematics to AI.

The English summary is being prepared. Showing the original description.