Claude Skills by plurigrid

Maps security requirements to implementation. Coordinates compliance against FIPS 140-3, OCF, CommonCriteria, and Tizen specification.

'Real-time filesystem watcher for /tmp using Babashka fs.

Terminal multiplexer.

OpenTelemetry instrumentation for Batrachian Toad AI agent terminal.

Comprehensive token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implementations for ERC20/ERC721 conformity, checks for 20+ weird token patterns, assesses contract composition and owner privileges, performs on-chain scarcity analysis, and evaluates how protocols handle non-standard tokens. Context-aware for both token implementations and token integrations. (project, gitignored)

Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boolean misuse, fake Jetton contracts, and forward TON without gas checks. Use when auditing FunC contracts. (project, gitignored)

Topoi Hatchery

'Batched heterogeneous topological complex dataloaders for TopoModelX.

Hodge Laplacian neural networks for simplicial/cell/hypergraph complexes.

Adhesive categories for incremental query updating and pattern rewriting

Topos Institute's CatColab for collaborative category theory - community model building, double theories, stock and flow epidemiology, and real-time collaborative diagramming via Automerge CRDT.

Topos Generation Skill (PLUS +1)

Topoi: cartesian closed + subobject classifier.

Guerino Mazzola's mathematical music theory - Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with Gay.jl color integration

Polynomial functors and dialectica categories following Topos Institute's formalization by David Spivak, Nelson Niu, and Valeria de Paiva.

Topos Unified Skill

- `codeql` - GitHub''s semantic code analysis

Path traced by solution through phase space

Unified keyboard control surface for transcendental syntax proof environments (Stellogen, Proof General, Narya, Lean) with Gay.jl color feedback

Bifurcation exchanging stability between equilibria

Each world is an **open game** with:

Automated code structure analysis for module verification and cross-prover theorem mapping using tree-sitter incremental parsing. Enables 100x+ speedup on integration verification tasks compared to manual analysis.

AST-based code analysis using tree-sitter. Use for parsing code structure, extracting symbols, finding patterns with tree-sitter queries, analyzing complexity, and understanding code architecture. Supports Python, JavaScript, TypeScript, Go, Rust, C, C++, Swift, Java, Kotlin, Julia, and more.

Interleave three deterministic color streams into balanced schedules

Triadic Skill Loader

Orchestrates multiple skills in GF(3)-balanced triplets. Assigns MINUS/ERGODIC/PLUS trits to skills ensuring conservation. Use for multi-skill workflows, parallel skill dispatch, or maintaining GF(3) invariants across skill compositions.

Extends TeglonLabs/coin-flip-mcp with GF(3) ternary decision logic.

Triangle Metrics Skill

Triangle inequality for maximally correct world choice sparsification

Trifurcated Transfer Skill

GF(3)-balanced structured decompositions for parallel computation. Decomposes problems into MINUS/ERGODIC/PLUS components with sheaf-theoretic gluing. Use for FPT algorithms, skill allocation, or any 3-way parallel workload.

Trace of Tritwies GitHub org activities - Omega, DisCoPy, Wasm SpecTec, and MCP SDK integration

TrueALIFE: Self-Indexing Automata at the Edge of Chaos

Comprehensive index of Artificial Life repositories across history, with special focus on 2024-2025 breakthroughs. ASAL, Flow-Lenia, CAX, ALIEN, JaxLife, and 256+ GitHub repos.

Playbook for terminal user interface (TUI) application missions. Provides guidance on vertical slice milestones, walking skeleton, TUI/backend workers, tuistory-based manual verification, and quality enforcement. Use for interactive CLI tools, terminal dashboards, text editors, and similar TUI projects.

Playwright for terminal user interfaces.

Cronin's Turing-complete chemputer for programmable chemical synthesis

Type Checker Skill

World U Skill

Non-Archimedean distance metrics for hierarchical clustering and p-adic analysis

NaNoWriMo novel project database. Use when referencing the manuscript, its structure, documents, or searching its content via DuckDB.

Unison language ACSet-structured skill with hierarchical documentation parsing, SPI trajectory recording, and 1069 skill predictions from zubuyul seed.

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.

Universal CapTP Derivation Skill

Framework for measuring learning dynamics in multi-agent systems and communication networks. Provides D (dimensionality), f (feedback fraction), and H₁ (topological cycles) measurements with confidence scoring. Validates across 4 domains (Topobench synthetic, GitHub networks, IES empirical, DuckDB real). Use this skill when measuring learning system characteristics, verifying convergence in multi-agent systems, comparing learning mechanisms across domains, or trading measurement services in a...

Universal properties: unique factorization.

Manifold of points diverging from equilibrium

Play/Coplay arena theory for autopoietic closure with GF(3) conservation

Replace ordered numbers with proximal mutually-aware learnable colors

Make all 69 cognitive moments happen simultaneously via parallel triadic fanout. Transforms sequential Given-When-Then into derivational ⊗ composition.