All authors
Claude Skills by plurigrid
github.com/plurigrid2,535 skills6 installs3,507 views
- Dafny ZigDafny-to-Zig compiler backend development skill with verified runtime safety ("Zig-syrup")Votes: 0GitHub stars: 61
- Data Science CliUnix command-line tools for data science workflows. Filesystem changes tracked by color for retrieval.Votes: 0GitHub stars: 61
- Database DesignDatabase schema design, optimization, and migration patterns for PostgreSQL,Votes: 0GitHub stars: 61
- Datalog FixpointDatalog bottom-up fixpoint iteration for recursive queriesVotes: 0GitHub stars: 61
- Db7de8Gay MCP skill at invocation 6Votes: 0GitHub stars: 61
- Dcc346Gay MCP skill at invocation 22Votes: 0GitHub stars: 61
- Dcc83bAuto-grown skill at knight tour position 3Votes: 0GitHub stars: 61
- Dd3c3c'Worldmat TiDAR: 3×3×3 matrix of diffusion draft + AR verify executionsVotes: 0GitHub stars: 61
- Debug ButtercupDebugs the Buttercup CRS (Cyber Reasoning System) running on Kubernetes. Use when diagnosing pod crashes, restart loops, Redis failures, resource pressure, disk saturation, DinD issues, or any service misbehavior in the crs namespace. Covers triage, log analysis, queue inspection, and common failure patterns for: redis, fuzzer-bot, coverage-bot, seed-gen, patcher, build-bot, scheduler, task-server, task-downloader, program-model, litellm, dind, tracer-bot, merger-bot, competition-api, pov-rep...Votes: 0GitHub stars: 61
- Deep DebugMulti-agent investigation for stubborn bugs. Triggers: going in circles debugging, complex bugs resisting normal debugging, symptoms don't match expectations, need parallel investigation, browser+API interaction bugs, deep investigation.Votes: 0GitHub stars: 61
- Deep Inference InterleaveCompositional passive inference vs emergent active inference (Hedges Feb 2024) — chain rule, continuations, Siegel-stack cortex mapping, GF(3) triad across monad-bayes / nashator / zig-syrup.Votes: 0GitHub stars: 61
- Defillama ApiDefiLlama API integration for DeFi analytics - TVL, prices, yields, volumes, fees, bridges, and DAT data. Use for blockchain/DeFi research, protocol analysis, and market data queries.Votes: 0GitHub stars: 61
- Delta DerivationExtract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verificationVotes: 0GitHub stars: 61
- Depth SearchDeep multi-source research combining academic MCPs (arxiv, semantic-scholar, paper-search, deepwiki), Exa semantic search, and local ~/.topos knowledge base. Use for comprehensive research requiring multiple sources. NEVER fall back to web_search - ask user for help instead.Votes: 0GitHub stars: 61
- Derangement CrdtDerangement-CRDT SkillVotes: 0GitHub stars: 61
- Derangement ReflowWorld operators as information reflow with derangement constraints. Ensures σ(i)≠i: validators cannot self-validate, generators cannot self-generate. Implements tropical geometry of interaction for min-plus path analysis.Votes: 0GitHub stars: 61
- Derham CohomologyDifferential forms on signal manifolds with exterior algebra, Hodge star, and de Rham complexVotes: 0GitHub stars: 61
- Derivational CoalgebraThe highest tension in skill space (d=2.131):Votes: 0GitHub stars: 61
- Derived CategoriesHomological algebra via chain complexes, derived functors (Tor/Ext), triangulated categories, and spectral sequencesVotes: 0GitHub stars: 61
- Deterministic Color GenerationInstead, they are **deterministically computed from cryptographic hash functions** applied to skill metadata:Votes: 0GitHub stars: 61
- Deutsch KoordinatorKoordinator für Deutsch-Englisch Übersetzung mit GF(3) RoutingVotes: 0GitHub stars: 61
- Devcontainer SetupCreates devcontainers with Claude Code, language-specific tooling (Python/Node/Rust/Go), and persistent volumes. Use when adding devcontainer support to a project, setting up isolated development environments, or configuring sandboxed Claude Code workspaces.Votes: 0GitHub stars: 61
- Developer Growth AnalysisAnalyzes your recent Claude Code chat history to identify coding patterns,Votes: 0GitHub stars: 61
- Dfc070Gay MCP skill at invocation 10Votes: 0GitHub stars: 61
- DialecticaDialectica Skill (ERGODIC 0)Votes: 0GitHub stars: 61
- Did Passport InterleaveFormal bridge between W3C Decentralized Identifiers (did:wba, ANP) and passport.gay (SplitMix64 MAC→trit trajectory→GF(3) fingerprint→QRTP air-gap). Establishes a bisimulation relation between the online DID resolution model and the offline fountain-coded QR identity model. Closes Gap G-P2 (MCP-I DID extension) and Gap G5 (passport revocation) from the zig-syrup propagator interleave gap registry.Votes: 0GitHub stars: 61
- Differential ReviewSecurity-focused code review of diffs and pull requests using Trail of Bits expertise.Votes: 0GitHub stars: 61
- Discohy StreamsDisCoPy categorical color streams via Hy with 3 parallel TAP streamsVotes: 0GitHub stars: 61
- Discopy FunctorMonoidal functor evaluation for string diagrams. DisCoPy functors mapVotes: 0GitHub stars: 61
- Discopy OperadsDiscoPy Operads SkillVotes: 0GitHub stars: 61
- DiscopyDisCoPy: Python library for computing with string diagrams - monoidal categories, quantum circuits, QNLP, operads, and tensor networks.Votes: 0GitHub stars: 61
- Discrete BackpropGradient-free optimization via discrete perturbations and trit-based learningVotes: 0GitHub stars: 61
- Distributive LawDistributive laws: monad/comonad composition.Votes: 0GitHub stars: 61
- Doc CoauthoringGuide users through a structured workflow for co-authoring documentation.Votes: 0GitHub stars: 61
- Docs AcsetGoogle Docs/Sheets management via ACSet condensation. Transforms documents into GF(3)-typed Interactions, tracks comments/cells, detects saturation when all comments resolved. Use for document workflows, spreadsheet automation, or applying ANIMA principles to Workspace documents.Votes: 0GitHub stars: 61
- Docs WriterAs an expert technical writer and editor for the Gemini CLI project, you produce accurate, clear, and consistent documentation. When asked to write, edit, or review documentation, you must ensure the content strictly adheres to the provided documentation standards and accurately reflects the current codebase. Adhere to the contribution process in `CONTRIBUTING.md` and the following project standards.Votes: 0GitHub stars: 61
- Doctrinal AdjunctionA **doctrinal adjunction** is Kelly''s 1974 theorem establishing a canonical bijection between:Votes: 0GitHub stars: 61
- Documentation IndexingProvide **full-text search, semantic indexing, and relevance ranking** across all documentation:Votes: 0GitHub stars: 61
- Documentation RulebookStandard deployment procedures for productionVotes: 0GitHub stars: 61
- DocxComprehensive document creation, editing, and analysis with support forVotes: 0GitHub stars: 61
- Domain Name BrainstormerGenerates creative domain name ideas for your project and checks availabilityVotes: 0GitHub stars: 61
- Drive AcsetGoogle Drive management via DriveACSet schema with GF(3) triadic routing. Transforms files/folders into typed Interactions, routes to queue fibers, detects saturation for organized-drive-as-condensed-state.Votes: 0GitHub stars: 61
- Duck AgentDuckDB file discovery agent with verified absolute pathsVotes: 0GitHub stars: 61
- Duck Time TravelDuckDB time-travel queries for temporal versioning and causality trackingVotes: 0GitHub stars: 61
- Duckdb GuardPre-query schema validation for DuckDB to prevent column-not-found errors, constraint violations, and unsafe INSERT patterns.Votes: 0GitHub stars: 61
- Duckdb Ies' Layer 4: IES Interactome Analytics with GF(3) Momentum Tracking'Votes: 0GitHub stars: 61
- Duckdb Quadruple InterleaveChaotic interleaving across local DuckDB databases modeled as coupled quadruple pendula. Random walks both BETWEEN databases and WITHIN tables for context injection.Votes: 0GitHub stars: 61
- Duckdb SpatialDuckDB Spatial SkillVotes: 0GitHub stars: 61
- Duckdb Temporal VersioningTemporal versioning and interaction history with time-travel queries,Votes: 0GitHub stars: 61
- Duckdb Timetravel' Layer 3: Temporal Versioning and ACSet Schema Generation for DuckDB'Votes: 0GitHub stars: 61