Claude Skills by plurigrid

Kernel protocol for compositional string diagram rewriting across all skills

Homotopical approach to Artificial Life where 'life' is the topology of changes (diffs). Three orthogonal directions: Behavioral (→), Structural (↓), Bridge (↘) with Narya interaction-time verification.

Robustness of qualitative dynamics under perturbation

StructuredDecompositions.jl sheaves on tree decompositions for FPT algorithms with bidirectional navigation

Use when users ask about StructuredDecompositions.jl, structured decompositions,

Functorial structured decompositions for compositional problem solving via sheaf-theoretic methods. Based on [AlgebraicJulia/StructuredDecompositions.jl](https://github.com/AlgebraicJulia/StructuredDecompositions.jl).

Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weights, and bad origin checks. Use when auditing Substrate runtimes or FRAME pallets. (project, gitignored)

Probes context-setting tooling sufficiency at every interaction. Validates world letter, flox activation, Emacs server, open-games-hs reachability, DeepWiki cache, color:// resolution, and loaded skills. Triggers: sufficiency, probe, context check, tooling status, environment validation.

Superelastic skills with maximum quotienting resolution for spatial decomposition. Combines ordered locales, structured decompositions, and sheaf-theoretic gluing for finest-grained equivalence classes with spatial coherence.

Pandey''s key finding: `L(N,D) = f(gzip(data))` — gzip compressibility predicts optimal compute allocation.

Svelte template directives ({@attach}, {@html}, {@render}, {@const}, {@debug}). Use for DOM manipulation, third-party libs, tooltips, canvas, dynamic HTML. @attach replaces use: actions.

Swarm Bootstrap

Convergence to common trajectory in coupled systems

Synthetic adjunctions in directed type theory for ∞-categorical universal

Syrup binary serialization for OCapN/CapTP wire format. Canonical encoding for capability messages.

World T Skill

Tailscale mesh VPN file transfer with open games semantics (play/coplay)

Tailscale + LocalSend Peer Discovery

Tailscale mesh VPN for secure peer-to-peer networking. WireGuard-based overlay network with MagicDNS and ACLs.

Mesh VPN.

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.

- α: Message dispatch | β: Protocol switch | γ: Identity preservation

- α: Request/response | β: Schema evolution | γ: Backwards compatibility

- α: REPL eval | β: Namespace mutation | γ: Hot-reload coherence

Bison extends Unison''s content-addressed code with **bisimulation** semantics:

- α: Wiki query | β: Index update | γ: Freshness verification

Duck-UI provides browser-based DuckDB via WebAssembly:

Ruby gem for Mathpix OCR:

- α: Test execution | β: Benchmark suite change | γ: Score validation

- α: Parse → AST | β: Grammar change | γ: Structural equivalence

Assess telecommunications infrastructure security including VoIP/SIP, SS7/Diameter, cellular networks, SMS-based authentication, and telephony-integrated applications. Identifies vulnerabilities in phone-based verification, call routing, and telecom protocol implementations. Use when auditing SMS 2FA, VoIP systems, IVR applications, or any telephony-dependent security controls.

Coalgebraic observation of derivation streams with final coalgebra bisimulation

Tenderloin: Manifest Destiny Fund for Protocol Labs

Provides Textual TCSS patterns for terminal widgets and ACP content styling. Use when building terminal UIs with color-first design, styling Agent Client Protocol output, or integrating Dracula-themed terminal rendering.

Terminal tools = tmux + zsh + fzf + ripgrep.

A comprehensive guide for configuring and using Terrateam, an open-source GitOps CI/CD platform for Terraform and OpenTofu. Covers configuration file structure, access control, workflows, OIDC authentication, drift detection, and best practices for managing infrastructure through pull requests.

Generates comprehensive testing handbooks and guides for security testing strategies.

Structured critical reasoning across 5 modes. Use when challenging ideas, plans, decisions, or proposals. Invoke to play devil's advocate, run a pre-mortem, red team, or audit evidence and assumptions. Triggers: play the fool, devil's advocate, challenge this, stress test, poke holes, what could go wrong, red team, pre-mortem, test my assumptions.

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

Unified theorem prover ecosystem dispatcher - routes proofs across Dafny, Lean4, Coq, Agda, F*, Idris, Stellogen

Generate a STRIDE-based security threat model for a repository. Use when setting up security monitoring, after architecture changes, or for security audits.

3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction

1. **Triads are atomic**: Cannot create partial triads

Triadic Interleaving Dispatch with Agents for Reading/writing. Pre-hooks

Reparameterization of time in flows

Time Travel CRDT Skill

Generates secure Tizen app projects (native/web/.NET) with privilege declarations, SMACK labels, and secure storage templates pre-configured.

Orchestrates Tizen certification workflow. Coordinates TCT test execution, compliance verification, and certification documentation.

Validates Tizen app compliance with TCT (Tizen Compliance Tests). Checks conformance to IoT, TV, or mobile profiles.

Scans for known Tizen CVEs in app dependencies and kernel. Checks OpenCVE database and Samsung security updates.