All authors
Claude Skills by plurigrid
github.com/plurigrid2,535 skills6 installs3,507 views
- Free Monad GenFree Monad Generation Skill (PLUS +1)Votes: 0GitHub stars: 61
- Gay McpDeterministic color generation with SplitMix64, GF(3) trits, and MCP tools for palettes and threads.Votes: 0GitHub stars: 61
- GflownetBengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.Votes: 0GitHub stars: 61
- Godel MachineSchmidhuber's Gödel Machine: Self-improving systems that prove their own improvements. Darwin Gödel Machine (DGM) combines evolution with formal verification.Votes: 0GitHub stars: 61
- Ihara ZetaIhara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).Votes: 0GitHub stars: 61
- Influence PropagationLayer 7 Interperspectival Network Analysis and Influence FlowVotes: 0GitHub stars: 61
- Jaxlife Open EndedJaxLife open-ended agentic simulator for emergent behavior, tool use, and cultural accumulation. Use for artificial life simulations, emergent agent behavior, and open-ended evolution research.Votes: 0GitHub stars: 61
- Kan ExtensionsKan Extensions Skill (ERGODIC 0)Votes: 0GitHub stars: 61
- Kolmogorov CompressionKolmogorov complexity as the ultimate intelligence measure. Shortest program that outputs data.Votes: 0GitHub stars: 61
- Lispsyntax AcsetLispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style derivingVotes: 0GitHub stars: 61
- Localsend McpLocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.Votes: 0GitHub stars: 61
- Mobius Path Filter**Category**: Theorem Dependency Analysis **Type**: Graph Path Classification **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025Votes: 0GitHub stars: 61
- Moebius InversionMöbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.Votes: 0GitHub stars: 61
- Open GamesOpen Games Skill (ERGODIC 0)Votes: 0GitHub stars: 61
- Operad ComposeOperad Composition Skill (PLUS +1)Votes: 0GitHub stars: 61
- Oriented Simplicial Networks**Category:** Phase 3 Core - Geometric Deep Learning **Status:** Skeleton Implementation **Dependencies:** `categorical-composition`, `persistent-homology`Votes: 0GitHub stars: 61
- Parallel FanoutMetaskill that fans out on every interaction, using interaction entropy as SplitMixTernary seed for maximum synergistic parallelismVotes: 0GitHub stars: 61
- Persistent HomologyTopological data analysis for stable feature verification across filtrations of code complexity.Votes: 0GitHub stars: 61
- Polyglot SpiCross-Language Strong Parallelism Invariance Verification for 15+ languagesVotes: 0GitHub stars: 61
- Ramanujan ExpanderRamanujan graphs and Alon-Boppana spectral optimality for edge growth rules. Optimal expanders with λ₂ ≤ 2√(d-1) bound.Votes: 0GitHub stars: 61
- Rezk TypesRezk types (complete Segal spaces). Local univalence: categorical isomorphisms ≃ type-theoretic identities.Votes: 0GitHub stars: 61
- Safe Rewriting Advisor**Category**: Graph Optimization + Remediation **Type**: Strategic Edge Removal Analysis **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025Votes: 0GitHub stars: 61
- Segal TypesSegal types for synthetic ∞-categories. Binary composites exist uniquely up to homotopy. Foundation for topological chemputer.Votes: 0GitHub stars: 61
- Self Evolving AgentDarwin Gödel Machine patterns for self-improving AI agents with open-ended code evolution. Use for building agents that autonomously improve their own capabilities, modify their codebases, and evolve through interaction.Votes: 0GitHub stars: 61
- Sheaf CohomologyČech cohomology for local-to-global consistency verification in code structure and data schemas.Votes: 0GitHub stars: 61
- Sheaf Laplacian CoordinationSheaf neural network coordination via graph Laplacians for distributed consensus and harmonic inference. Use when coordinating multi-agent systems, building sheaf-aware GNNs, or implementing distributed consensus protocols.Votes: 0GitHub stars: 61
- Sheaf Theoretic Coordination**Category:** Phase 3 Core - Distributed Reasoning **Status:** Skeleton Implementation **Dependencies:** `oriented-simplicial-networks`, `categorical-composition`Votes: 0GitHub stars: 61
- Spectral Gap Analyzer**Category**: Theorem Prover Health Monitoring **Type**: Graph Analysis + Linear Algebra **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025Votes: 0GitHub stars: 61
- Spectral Random Walker**Category**: Theorem Discovery + Comprehension **Type**: Random Walk Analysis **Language**: Julia **Status**: Production Ready **Version**: 1.0.0 **Date**: December 22, 2025Votes: 0GitHub stars: 61
- Temporal CoalgebraCoalgebraic observation of derivation streams with final coalgebra bisimulation for infinite trace verification.Votes: 0GitHub stars: 61
- Three Match3-MATCH gadgets and non-backtracking geodesics for 3-SAT via colored subgraph isomorphism.Votes: 0GitHub stars: 61
- Topos GenerateTopos Generation Skill (PLUS +1)Votes: 0GitHub stars: 61
- Tree Sitter Analyzer**Version**: 1.0.0 **Status**: Production Ready **Date**: December 22, 2025 **Phase**: 2 Stage 3 Foundation ---Votes: 0GitHub stars: 61
- UnworldReplace temporal succession with derivational chains using deterministic seeds and GF(3) invariants.Votes: 0GitHub stars: 61
- Yoneda DirectedDirected Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.Votes: 0GitHub stars: 61
- Borkdude**Status**: ✅ Production Ready **Trit**: 0 (ERGODIC - runtime neutral) **Principle**: Right tool for context **Author**: Michiel Borkent (@borkdude) ---Votes: 0GitHub stars: 61
- Cq AiCode Query with AI-enhanced deterministic analysis via SplitMix ternary classificationVotes: 0GitHub stars: 61
- Gay Mcp**Status**: ✅ Production Ready **Trit**: +1 (PLUS - optimistic/generative) **Principle**: Same seed → Same colors (SPI guarantee) **Implementation**: Gay.jl (Julia) + SplitMixTernary (Ruby) ---Votes: 0GitHub stars: 61
- Three Match**Status**: ✅ Production Ready **Trit**: -1 (MINUS - conservative/geodesic) **Principle**: Local constraints → Global correctness **Frame**: Non-backtracking geodesics with Möbius filtering ---Votes: 0GitHub stars: 61
- Unworld**Status**: ✅ Production Ready **Trit**: 0 (ERGODIC - derivational, not temporal) **Principle**: seed_{n+1} = f(seed_n, color_n) **Frame**: No external clock, only internal derivation ---Votes: 0GitHub stars: 61
- Bdd Mathematical VerificationBDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.Votes: 0GitHub stars: 61
- BorkdudeBabashka and ClojureScript runtime selection guidance by @borkdudeVotes: 0GitHub stars: 61
- Crdt**Status**: ✅ Production Ready **Framework**: Jules Hedges' Compositional Game Theory **Language**: Ruby (HedgesOpenGames module) **Trit**: ±1 (covariant/contravariant) **Integration**: Amp, Codex, Music-Topos CRDTVotes: 0GitHub stars: 61
- Gay McpGay.jl MCP server integration for deterministic color generation via SplitMix64Votes: 0GitHub stars: 61
- Reafference Corollary Discharge**Category**: Behavioral Verification | Neural Mechanism Implementation **Level**: Advanced (Requires understanding of: reafference theory, signal processing, corollary discharge) **Status**: ✓ COMPLETE & OPERATIONAL **Trit Assignment**: +1 (PLUS) - Active threat detection & signal amplification **Propagates To**: codex, claude, amp, cursor, copilot ---Votes: 0GitHub stars: 61
- Tailscale File TransferTailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens opticsVotes: 0GitHub stars: 61
- Three Match3-MATCH colored subgraph isomorphism gadget for 3-SAT reductionVotes: 0GitHub stars: 61
- Acsets Relational ThinkingACSets (Attributed C-Sets) for categorical database design and DPO rewritingVotes: 0GitHub stars: 61
- AcsetsACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.Votes: 0GitHub stars: 61
- Assembly IndexLee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.Votes: 0GitHub stars: 61