All authors
Claude Skills by plurigrid
github.com/plurigrid2,535 skills6 installs3,507 views
- String Diagram Rewriting ProtocolKernel protocol for compositional string diagram rewriting across all skillsVotes: 0GitHub stars: 61
- Structural RewildingHomotopical approach to Artificial Life where 'life' is the topology of changes (diffs). Three orthogonal directions: Behavioral (→), Structural (↓), Bridge (↘) with Narya interaction-time verification.Votes: 0GitHub stars: 61
- Structural StabilityRobustness of qualitative dynamics under perturbationVotes: 0GitHub stars: 61
- Structured DecompStructuredDecompositions.jl sheaves on tree decompositions for FPT algorithms with bidirectional navigationVotes: 0GitHub stars: 61
- Structured Decompositions JlUse when users ask about StructuredDecompositions.jl, structured decompositions,Votes: 0GitHub stars: 61
- Structured DecompositionsFunctorial structured decompositions for compositional problem solving via sheaf-theoretic methods. Based on [AlgebraicJulia/StructuredDecompositions.jl](https://github.com/AlgebraicJulia/StructuredDecompositions.jl).Votes: 0GitHub stars: 61
- Substrate Vulnerability ScannerScans 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)Votes: 0GitHub stars: 61
- Sufficiency ProbeProbes 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.Votes: 0GitHub stars: 61
- Superelastic QuotientSuperelastic 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.Votes: 0GitHub stars: 61
- Supersparsity UnisonPandey''s key finding: `L(N,D) = f(gzip(data))` — gzip compressibility predicts optimal compute allocation.Votes: 0GitHub stars: 61
- Svelte Template DirectivesSvelte template directives ({@attach}, {@html}, {@render}, {@const}, {@debug}). Use for DOM manipulation, third-party libs, tooltips, canvas, dynamic HTML. @attach replaces use: actions.Votes: 0GitHub stars: 61
- Swarm BootstrapSwarm BootstrapVotes: 0GitHub stars: 61
- SynchronizationConvergence to common trajectory in coupled systemsVotes: 0GitHub stars: 61
- Synthetic AdjunctionsSynthetic adjunctions in directed type theory for ∞-categorical universalVotes: 0GitHub stars: 61
- SyrupSyrup binary serialization for OCapN/CapTP wire format. Canonical encoding for capability messages.Votes: 0GitHub stars: 61
- TWorld T SkillVotes: 0GitHub stars: 61
- Tailscale File TransferTailscale mesh VPN file transfer with open games semantics (play/coplay)Votes: 0GitHub stars: 61
- Tailscale LocalsendTailscale + LocalSend Peer DiscoveryVotes: 0GitHub stars: 61
- Tailscale MeshTailscale mesh VPN for secure peer-to-peer networking. WireGuard-based overlay network with MagicDNS and ACLs.Votes: 0GitHub stars: 61
- TailscaleMesh VPN.Votes: 0GitHub stars: 61
- Tasks AcsetGoogle Tasks management via TasksACSet. Transforms task operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for task-zero-as-condensed-state.Votes: 0GitHub stars: 61
- Teglon Acp- α: Message dispatch | β: Protocol switch | γ: Identity preservationVotes: 0GitHub stars: 61
- Teglon Agent Protocol- α: Request/response | β: Schema evolution | γ: Backwards compatibilityVotes: 0GitHub stars: 61
- Teglon Asi Tools- α: REPL eval | β: Namespace mutation | γ: Hot-reload coherenceVotes: 0GitHub stars: 61
- Teglon BisonBison extends Unison''s content-addressed code with **bisimulation** semantics:Votes: 0GitHub stars: 61
- Teglon Deepwiki- α: Wiki query | β: Index update | γ: Freshness verificationVotes: 0GitHub stars: 61
- Teglon Duck UiDuck-UI provides browser-based DuckDB via WebAssembly:Votes: 0GitHub stars: 61
- Teglon MathpixRuby gem for Mathpix OCR:Votes: 0GitHub stars: 61
- Teglon Mcp Universe- α: Test execution | β: Benchmark suite change | γ: Score validationVotes: 0GitHub stars: 61
- Teglon Tree Sitter- α: Parse → AST | β: Grammar change | γ: Structural equivalenceVotes: 0GitHub stars: 61
- Telecom SecurityAssess 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.Votes: 0GitHub stars: 61
- Temporal CoalgebraCoalgebraic observation of derivation streams with final coalgebra bisimulationVotes: 0GitHub stars: 61
- TenderloinTenderloin: Manifest Destiny Fund for Protocol LabsVotes: 0GitHub stars: 61
- Terminal CssProvides 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.Votes: 0GitHub stars: 61
- TerminalTerminal tools = tmux + zsh + fzf + ripgrep.Votes: 0GitHub stars: 61
- Terrateam Usage GuideA 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.Votes: 0GitHub stars: 61
- Testing Handbook GeneratorGenerates comprehensive testing handbooks and guides for security testing strategies.Votes: 0GitHub stars: 61
- The FoolStructured 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.Votes: 0GitHub stars: 61
- Theme FactoryToolkit for styling artifacts with a theme. These artifacts can be slides,Votes: 0GitHub stars: 61
- Theorem Prover OrchestrationUnified theorem prover ecosystem dispatcher - routes proofs across Dafny, Lean4, Coq, Agda, F*, Idris, StellogenVotes: 0GitHub stars: 61
- Threat Model GenerationGenerate a STRIDE-based security threat model for a repository. Use when setting up security monitoring, after architecture changes, or for security audits.Votes: 0GitHub stars: 61
- Three Match3-MATCH colored subgraph isomorphism gadget for 3-SAT reductionVotes: 0GitHub stars: 61
- Tidar Correct By Construction1. **Triads are atomic**: Cannot create partial triadsVotes: 0GitHub stars: 61
- TidarTriadic Interleaving Dispatch with Agents for Reading/writing. Pre-hooksVotes: 0GitHub stars: 61
- Time ParameterizationReparameterization of time in flowsVotes: 0GitHub stars: 61
- Time Travel CrdtTime Travel CRDT SkillVotes: 0GitHub stars: 61
- Tizen App ScaffoldGenerates secure Tizen app projects (native/web/.NET) with privilege declarations, SMACK labels, and secure storage templates pre-configured.Votes: 0GitHub stars: 61
- Tizen Certification CoordinatorOrchestrates Tizen certification workflow. Coordinates TCT test execution, compliance verification, and certification documentation.Votes: 0GitHub stars: 61
- Tizen Compliance CheckerValidates Tizen app compliance with TCT (Tizen Compliance Tests). Checks conformance to IoT, TV, or mobile profiles.Votes: 0GitHub stars: 61
- Tizen Cve ScannerScans for known Tizen CVEs in app dependencies and kernel. Checks OpenCVE database and Samsung security updates.Votes: 0GitHub stars: 61