Business & Operations

Firecracker microVM + Morph Infinibranch WorldRuntime for parallel verse execution. Entities branch/snapshot in <250ms.

Unified Google Workspace management via WorkspaceACSet. Transforms operations into GF(3)-typed Interactions across Gmail, Drive, Calendar, Tasks, Docs with cross-skill morphisms and MCP↔API equivalence. Use for multi-service workflows or applying ACSet principles to workspace automation.

Virtual reality (VR) reality tech. Locomotion, comfort defaults, controllers/hands, performance budgets, and interaction patterns.

Manage VERS VMs - list, create, branch, pause, resume, delete VMs and clusters. Use when working with vers commands, VM management, or when disk space issues occur.

Unison language - content-addressed functional programming with abilities for effects, distributed computing, and structural types. Use for pure functional code, effect management, distributed systems, and refactoring-safe codebases.

Toolkit for styling artifacts with a theme. These artifacts can be slides,

Google Tasks management via TasksACSet. Transforms task operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for task-zero-as-condensed-state.

SRFI Skill

Control Spotify playback and manage playlists. Play music, pause, skip tracks, search for songs/albums/artists, create playlists, add tracks, check what's playing, and manage your library. Requires Spotify Premium.

Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching

SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design

Strategic selective edge removal maintaining spectral gap ≥ 0.25.

Sussman/Radul propagator networks for constraint propagation and bidirectional dataflow.

Baez-Otter phylogenetic operad Phyl = Com + [0,∞) as ACSet schema, with mathpix-gem extraction and ∞-operad dendroidal integration.

Comprehensive PDF manipulation toolkit for extracting text and tables,

In a traced monoidal category, the trace operation models feedback:

Atlas of Para(Optic) learners — the universal categorical-cybernetics atom (Play/Witness/Coplay) and its 23 substrate-disjoint instantiations. Use when picking a learning-task framing, threading conservation across domains, locating contextad coalgebra-coherence, or navigating the open-games / parametrised-optics / lens-of-lens family.

Interact with Ostium Protocol -- a decentralized perpetual exchange on Arbitrum for RWA (Forex, Commodities, Indices, Stocks) and Crypto. Covers contract architecture, testnet deployment, SDK integration, oracle system, vault mechanics, and security auditing via Trail of Bits skills.

Colored operads for multi-input composition, associahedra, A-infinity structure, and homotopy algebra

Operads: multi-input operations.

Twisted ElGamal encrypted supply tracking on Aptos for nhero devices. ZK range proofs verify supply sufficiency without revealing counts. Nurse auditor key model. Uses @aptos-labs/confidential-assets SDK.

Naturality Factor Skill

Moth's Actias quantum synth for qubit sonification with Bloch sphere visualization and MIDI control

Analyzes meeting transcripts and recordings to uncover behavioral patterns,