All authors

Claude Skills by plurigrid
github.com/plurigrid2,535 skills6 installs3,507 views
- Tizen Security ComplianceMaps security requirements to implementation. Coordinates compliance against FIPS 140-3, OCF, CommonCriteria, and Tizen specification.Votes: 0GitHub stars: 61
- Tmp Filesystem Watcher'Real-time filesystem watcher for /tmp using Babashka fs.Votes: 0GitHub stars: 61
- TmuxTerminal multiplexer.Votes: 0GitHub stars: 61
- Toad TelemetryOpenTelemetry instrumentation for Batrachian Toad AI agent terminal.Votes: 0GitHub stars: 61
- Token Integration AnalyzerComprehensive 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)Votes: 0GitHub stars: 61
- Ton Vulnerability ScannerScans 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)Votes: 0GitHub stars: 61
- Topoi HatcheryTopoi HatcheryVotes: 0GitHub stars: 61
- Topological Dataloader'Batched heterogeneous topological complex dataloaders for TopoModelX.Votes: 0GitHub stars: 61
- Topomodelx HodgeHodge Laplacian neural networks for simplicial/cell/hypergraph complexes.Votes: 0GitHub stars: 61
- Topos Adhesive RewritingAdhesive categories for incremental query updating and pattern rewritingVotes: 0GitHub stars: 61
- Topos CatcolabTopos Institute's CatColab for collaborative category theory - community model building, double theories, stock and flow epidemiology, and real-time collaborative diagramming via Automerge CRDT.Votes: 0GitHub stars: 61
- Topos GenerateTopos Generation Skill (PLUS +1)Votes: 0GitHub stars: 61
- Topos LogicTopoi: cartesian closed + subobject classifier.Votes: 0GitHub stars: 61
- Topos Of MusicGuerino Mazzola's mathematical music theory - Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with Gay.jl color integrationVotes: 0GitHub stars: 61
- Topos Polynomial FunctorsPolynomial functors and dialectica categories following Topos Institute's formalization by David Spivak, Nelson Niu, and Valeria de Paiva.Votes: 0GitHub stars: 61
- Topos UnifiedTopos Unified SkillVotes: 0GitHub stars: 61
- Trailofbits Security- `codeql` - GitHub''s semantic code analysisVotes: 0GitHub stars: 61
- TrajectoryPath traced by solution through phase spaceVotes: 0GitHub stars: 61
- Transcendental KeyboardUnified keyboard control surface for transcendental syntax proof environments (Stellogen, Proof General, Narya, Lean) with Gay.jl color feedbackVotes: 0GitHub stars: 61
- TranscriticalBifurcation exchanging stability between equilibriaVotes: 0GitHub stars: 61
- Transitive WeepEach world is an **open game** with:Votes: 0GitHub stars: 61
- Tree Sitter AnalyzerAutomated 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.Votes: 0GitHub stars: 61
- Tree SitterAST-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.Votes: 0GitHub stars: 61
- Triad InterleaveInterleave three deterministic color streams into balanced schedulesVotes: 0GitHub stars: 61
- Triadic Skill LoaderTriadic Skill LoaderVotes: 0GitHub stars: 61
- Triadic Skill OrchestratorOrchestrates 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.Votes: 0GitHub stars: 61
- Trialectical CoinExtends TeglonLabs/coin-flip-mcp with GF(3) ternary decision logic.Votes: 0GitHub stars: 61
- Triangle MetricsTriangle Metrics SkillVotes: 0GitHub stars: 61
- Triangle SparsifierTriangle inequality for maximally correct world choice sparsificationVotes: 0GitHub stars: 61
- Trifurcated TransferTrifurcated Transfer SkillVotes: 0GitHub stars: 61
- Tripartite DecompositionsGF(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.Votes: 0GitHub stars: 61
- Tritwies TraceTrace of Tritwies GitHub org activities - Omega, DisCoPy, Wasm SpecTec, and MCP SDK integrationVotes: 0GitHub stars: 61
- True AlifeTrueALIFE: Self-Indexing Automata at the Edge of ChaosVotes: 0GitHub stars: 61
- TruealifeComprehensive index of Artificial Life repositories across history, with special focus on 2024-2025 breakthroughs. ASAL, Flow-Lenia, CAX, ALIEN, JaxLife, and 256+ GitHub repos.Votes: 0GitHub stars: 61
- Tui Application PlaybookPlaybook 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.Votes: 0GitHub stars: 61
- TuistoryPlaywright for terminal user interfaces.Votes: 0GitHub stars: 61
- Turing ChemputerCronin's Turing-complete chemputer for programmable chemical synthesisVotes: 0GitHub stars: 61
- Type CheckerType Checker SkillVotes: 0GitHub stars: 61
- UWorld U SkillVotes: 0GitHub stars: 61
- Ultrametric DistanceNon-Archimedean distance metrics for hierarchical clustering and p-adic analysisVotes: 0GitHub stars: 61
- Unironic Sun EmojiNaNoWriMo novel project database. Use when referencing the manuscript, its structure, documents, or searching its content via DuckDB.Votes: 0GitHub stars: 61
- Unison AcsetUnison language ACSet-structured skill with hierarchical documentation parsing, SPI trajectory recording, and 1069 skill predictions from zubuyul seed.Votes: 0GitHub stars: 61
- UnisonUnison 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.Votes: 0GitHub stars: 61
- Universal Captp DerivationUniversal CapTP Derivation SkillVotes: 0GitHub stars: 61
- Universal Learning SignatureFramework 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...Votes: 0GitHub stars: 61
- Universal PropertyUniversal properties: unique factorization.Votes: 0GitHub stars: 61
- Unstable ManifoldManifold of points diverging from equilibriumVotes: 0GitHub stars: 61
- Unwiring ArenaPlay/Coplay arena theory for autopoietic closure with GF(3) conservationVotes: 0GitHub stars: 61
- Unworld Color OrdinalityReplace ordered numbers with proximal mutually-aware learnable colorsVotes: 0GitHub stars: 61
- Unworld MomentsMake all 69 cognitive moments happen simultaneously via parallel triadic fanout. Transforms sequential Given-When-Then into derivational ⊗ composition.Votes: 0GitHub stars: 61