Claude Skills by plurigrid

Run Semgrep static analysis for fast security scanning and pattern matching. Use when asked to scan code with Semgrep, write custom YAML rules, find vulnerabilities quickly, use taint mode, or set up Semgrep in CI/CD pipelines.

Surjective map intertwining two dynamical systems

sense - Diagrammatic Video Extraction with Subtitle Alignment

shadow-goblin

Identifies error-prone APIs, dangerous configurations, and footgun designs that enable security mistakes. Use when reviewing API designs, configuration schemas, cryptographic library ergonomics, or evaluating whether code follows 'secure by default' and 'pit of success' principles. Triggers: footgun, misuse-resistant, secure defaults, API usability, dangerous configuration.

Čech cohomology for local-to-global consistency verification in code

Sheaf neural network coordination via graph Laplacians for distributed

SICMUtils/Emmy - Clojure library for symbolic mathematics, automatic differentiation, and classical mechanics. Bridges SICM concepts to executable computation via SRFI-compatible abstractions.

SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design

Maximally isolated Signal authentication via colored operad security boundaries. VM→Container→Process enclosure with GF(3) conservation for Agent-O-Rama pathways.

Signal Protocol MCP server (Rust). 3 tools — encrypt, initialize_session, verify_safety_number. Bypass route when Beeper Desktop is down.

Skill Bonds Registry

Skill Connectivity Hub

Guide for creating effective skills. Use when users want to create a

GF(3) Triadic Task Routing for Subagent Orchestration

P-adic ultrametric skill embeddings with MLX Snowflake Arctic, DuckDB

Install Codex skills into $CODEX_HOME/skills from a curated list or a GitHub repo path. Use when a user asks to list installable skills, install a curated skill, or install a skill from another repo (including private repos).

Dynamic skill loading via polynomial functor arrangements. Loads skills as interfaces p = A^y^B where state changes rewire the system.

Meta-skill that generates domain-specific AI skills from tool documentation

Agent Skills formal specification for cross-platform compatibility. Ensures skills are evolutionarily robust across Claude, Codex, Cursor, Amp, and future agents.

Skill Validation GF(3) - SLAVE (-1)

Toolkit for creating animated GIFs optimized for Slack, with validators

SLIME integration for Common Lisp development

Asymmetric time dilation for MCP operations - deliberate slow paths enable capability accumulation through Cat# bicomodule composition.

Manages SMACK label assignments across apps and kernel. Coordinates mandatory access control labels with process isolation.

Analyzes SMACK policy files for correctness, label conflicts, and access control issues. Verifies mandatory access control rules.

Generates SMACK policy files from app requirements. Creates mandatory access control rules for process isolation and resource access.

Rust Nix reimplementation for content-addressed rootfs builds. Minimal VM images for boxxy/codex-rs/toad agent runtimes.

Minimal interaction patterns that bootstrap complex social behaviors in distributed systems

Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validation, missing signer/ownership checks, and sysvar spoofing. Use when auditing Solana/Anchor programs. (project, gitignored)

Topological soliton detection and agency bridge with anyonic fusion algebra for concept composition

Solver Fee Skill

Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks for protocol implementations.

Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching

Debug and simulate ghostly phenomena using ordered locale theory and trifurcated interactions

Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for

Political Repetition as Hyperrealpolitik - deterministic opinion formation via SplitMixTernary across all encountered languages. The eternal return of the trit.

Control Spotify playback and manage playlists. Play music, pause, skip tracks, search for songs/albums/artists, create playlists, add tracks, check what's playing, and manage your library. Requires Spotify Premium.

Squint ClojureScript runtime for minimal JS output compilation

SRFI Skill

Qualitative behavior of solutions near equilibria

Manifold of points converging to equilibrium

Wrapper around Tizen Studio static analyzer. Detects memory leaks, buffer overflows, and coding vulnerabilities in C/C++/JavaScript.

Stellogen Skill

Rapidly find and reclaim disk storage by identifying build artifacts, git garbage, temp files, and other space hogs. Use when disk is full or running low on space.

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

This skill should be used when the user asks to "scan for TODOs", "find placeholders", "clean up stubs", "remove temporary code", "audit for incomplete code", or "erase substitutions from codebase". Scans existing files for placeholder tokens and generates remediation plan.

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)