effective-parallelism
GF(3)-balanced parallel agent orchestration with operad composition and prediction market allocation.
duckdb-guard
Pre-query schema validation for DuckDB to prevent column-not-found errors, constraint violations, and unsafe INSERT patterns.
documentation-indexing
Provide **full-text search, semantic indexing, and relevance ranking** across all documentation:
doctrinal-adjunction
A **doctrinal adjunction** is Kelly''s 1974 theorem establishing a canonical bijection between:
did-passport-interleave <<<<<<< HEAD
Formal bridge between W3C Decentralized Identifiers (did:wba, ANP) and passport.gay (SplitMix64 MAC→trit trajectory→GF(3) fingerprint→QRTP air-gap). Establishes a bisimulation relation between the online DID resolution model and the offline fountain-coded QR identity model. Closes Gap G-P2 (MCP-I DID extension) and Gap G5 (passport revocation) from the zig-syrup propagator interleave gap registry.
deterministic-color-generation
Instead, they are **deterministically computed from cryptographic hash functions** applied to skill metadata:
derivational-coalgebra
The highest tension in skill space (d=2.131):
deep-inference-interleave
Compositional passive inference vs emergent active inference (Hedges Feb 2024) — chain rule, continuations, Siegel-stack cortex mapping, GF(3) triad across monad-bayes / nashator / zig-syrup.
data-science-cli
Unix command-line tools for data science workflows. Filesystem changes tracked by color for retrieval.
cross-runtime-exchange
This skill enables content-addressed interoperability between three Syrup implementations:
crdt-color
Color-aware CRDT operations with GF(3) conservation, Narya proofs, ACSet schemas, and Bumpus narrative sheaves.
coqgym
Machine learning environment for automated theorem proving with Coq.
coq-of-rust
Formal verification of Rust programs via translation to Coq/Rocq.
comrade-vlbi
Event Horizon Telescope black hole imaging with deterministic coloring via Gay.jl integration.
compressive-vasomotion
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.
commitment-tracker
The **Commitment Tracker** skill extracts and makes explicit the **ontological commitments** that agents make implicitly through their code and behavior. It enables detection and resolution of silent incompatibilities between systems that use different underlying assumptions about what exists and ho
collaborative-emacs
Claude Code runs an Emacs daemon, starts a CRDT server, shares buffers.
coherence-composer
The **Coherence Composer** is an epistemological skill that validates structural consistency and explores counterfactual worlds while respecting constraints from both **Commitment Tracker** (ontology) and **Opacity Detector** (epistemology).
cognitive-sufficiency-superposition
name: cognitive-sufficiency-superposition
codex-ocapn-correspondence
>-
codescent
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:
cli-usage
This skill provides comprehensive CLI reference for the mcp-tasks command-line tool.
citizen-lab-forensics
Digital forensics techniques for detecting device compromise, analyzing malware indicators, and investigating targeted surveillance. Based on methodologies from Citizen Lab's Pegasus Project and Predator investigations.
chromatic-peptide-samovar
A **samovar** (самовар) keeps water hot indefinitely through self-contained combustion.
cheerpx-self-hosting
Run x86 Linux binaries in the browser via WebAssembly. Self-host development environments, interpreters, and even this skill itself.
chatgpt-export-acset
Transform ChatGPT ZIP exports into ACSets (Attributed C-Sets) for:
chain-of-states
CoSProver framework for translating informal proofs to Lean4 via intermediate formal proof states.
catlab-asi-interleave <<<<<<< HEAD
Bridge layer connecting AlgebraicJulia/Catlab.jl to plurigrid/asi. Wires ACSets (attributed C-sets), wiring diagrams, decorated cospans, and the AlgebraicJulia ecosystem (AlgebraicDynamics, AlgebraicPetri, AlgebraicRewriting, Decapodes) into the ASI skill graph. ACSets generalize relational databases with categorical semantics; every diagram, network, and model in the ecosystem is an ACSet.
cat-three-homes
The double category of polynomial comonads where:
cat-structure-rank
Ranked taxonomy of categorical structures from sets to ∞-topoi with gap analysis and DuckDB integration.
boxxy-reverse-engineering
This skill integrates **Boxxy sandbox boundary testing** with the complete Trail of Bits firmware extraction methodology. Use this for extracting and analyzing firmware in heavily obfuscated, containerized, or restricted environments.
bob-emacs-mods
Complement to alice-emacs-mods. Covers what alice does not — ghostel mastery, multi-daemon orchestration, cross-session coordination, debug/recovery harness, REPL-as-dynamical-citizen, QRTP distribution, strobe internals, and the hard-won lessons from spawning and debugging live REPLs under the server daemon. Read alongside alice-emacs-mods; together they tile the total Emacs-mod space on this machine.
bkp-interleaving
This skill is the **deep interleaving** of the five BKP 2-monad theory skills:
bisimulation-oracle <<<<<<< HEAD
> Formal oracle for behavioral equivalence via bisimulation games. Triggers: behavioral equivalence check, bisimulation game, are two systems equivalent, did a skill update preserve behavior, attacker-defender game, partition refinement, distinguishing trace. >>>>>>> origin/main
benchmark <<<<<<< HEAD
Run and interpret engine-stack benchmarks (Steel, ember, shale)
belief-revision-log <<<<<<< HEAD
> Persistent belief revision log wiring in-memory AGM BeliefSet to DuckDB time-travel storage. Triggers: belief revision, AGM postulates, time-travel query, belief history, AS-OF queries on propositions, persistent belief state, append-only belief log. >>>>>>> origin/main
bandwidth-benchmark
Measure encoding/decoding throughput across Syrup implementations. This skill provides bandwidth benchmarks for comparing serialization performance.
axiom-solana-trading
Interact with Axiom.trade -- a Y Combinator-backed (W25) DEX aggregator and trading platform on Solana with Hyperliquid perpetuals integration. Covers API architecture, multi-wallet management, MEV protection, token discovery, and wallet tracking.
amp-continue: Thread-based conversation continuation with GF(3)
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.
alife-commons
Artificial Life atlas covering open-ended evolution, chemical reaction networks, morphogenesis, self-replication, and programmable chemistry. Use when picking a simulation framework, wiring ALife models into the skill graph, or onboarding contributors to the ALife cluster.
alice-emacs-mods
Tour of Alice's heavily-customized terminal Emacs — Causal transients, Worlding org, proof tooling, MLX chat, voice, and clipboard.
alice-chirality
From Interverse transcript (Dec 12, 2025):
acsets-dynamic-loader
Dynamically discover and load ACSet reference skills in dependency-optimal order using GitHub interactome analysis. Use when loading the acsets skill and needing its validation, generation, and coordination partners resolved automatically with GF(3) conservation guarantees.
acp-commons
Atlas of Agent Client Protocol (ACP) clients, agents, and OCapN/CapTP-grounded actors. Use when picking a coding agent surface, threading ACP over CapTP, locating the local Zoad implementation, or navigating the Hermes-as-OCapN-actor family.
aaif-governance-interleave <<<<<<< HEAD
Bridge layer connecting the Agentic AI Foundation (AAIF) governance structure — Linux Foundation stewardship of MCP, goose, AGENTS.md — to the plurigrid/asi skill graph. Formalizes AAIF-compatible skill registration, IPSIE identity profiles, and the cross-protocol interoperability surface. Maps the AAIF platinum member ecosystem (AWS, Anthropic, Block, Bloomberg, Cloudflare, Google, Microsoft, OpenAI) to specific ASI skill integration points.
69-constructions
From Interverse transcript (Sep-Oct 2025):
2-monad
A **2-monad** is a monad internal to a 2-category K. Concretely, it consists of:
verify
Build, launch, and drive a local Honcho stack to verify a change at its runtime surface (the /v3 HTTP API and the deriver queue). Use when verifying a diff or confirming a change works in the running app.
honcho-integration
Integrate Honcho memory into existing Python or TypeScript codebases. Use when adding Honcho SDK, setting up peers, configuring sessions, and accessing Honcho's representation.
honcho-memory
Gives AI agents persistent memory across conversations using Honcho. Automatically saves and retrieves user context so the AI remembers preferences, history, and facts between sessions. Use when you need the AI to remember past conversations, recall what a user has told it, inject relevant context into prompts, or manage separate memory spaces for different topics.
Page 513 of 1645 · 82246 results