plurigrid/bmorphism-stars
ies/music-topos/.claude-marketplaces/topos-skills/plugins/topos-skills/skills/bmorphism-stars/SKILL.md
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
$ install --global
skillsauthnpx skillsauth add plurigrid/asi bmorphism-starsInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Apr 24, 2026, 8:43 PM1.7s1 file scanned
SKILL.md
- name:
- bmorphism-stars
- description:
- bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
- source:
- github.com/bmorphism
- license:
- MIT
- total_stars:
- 2155
- public_repos:
- 396
- followers:
- 253
- following:
- 1547
- created:
- 2011-12-02
bmorphism Stars & Repos Index
"A library is a curated chaos."
Top Created Repositories
| Stars | Repository | Description | |-------|------------|-------------| | 60 | ocaml-mcp-sdk | OCaml SDK for MCP using Jane Street's oxcaml_effect | | 23 | risc0-cosmwasm-example | CosmWasm + zkVM RISC-V EFI template | | 23 | anti-bullshit-mcp-server | Epistemological analysis via MCP | | 18 | say-mcp-server | macOS TTS via MCP | | 16 | babashka-mcp-server | Babashka Clojure scripting via MCP | | 12 | manifold-mcp-server | Manifold Markets prediction markets | | 8 | penrose-mcp | Penrose diagrams for Infinity-Topos | | 7 | nats-mcp-server | NATS messaging via MCP | | 6 | marginalia-mcp-server | Marginalia annotations | | 3 | awesome-applied-category-theory | ACT community resources | | 2 | Gay.jl | Wide-gamut color sampling with splittable determinism |
Selected Starred Repositories
Category Theory & Math
- homalg-project/CategoricalTowers - Higher categorical structures
- zenna/Omega.jl - Probabilistic programming
- gjoncas/Lacan-Mathemes - Formalized Lacan
Julia Scientific
- EnzymeAD/Enzyme.jl - Automatic differentiation
- EnzymeAD/Reactant.jl - XLA compilation
- Julia-Tempering/Pigeons.jl - Parallel tempering (SPI pattern!)
- baggepinnen/MonteCarloMeasurements.jl - Uncertainty propagation
- peterkovesi/PerceptualColourMaps.jl - Perceptual color maps
- gdalle/SparseMatrixColorings.jl - Graph coloring for AD
Emacs & Editors
- justbur/emacs-which-key - Key binding help
- abo-abo/hydra - Sticky key bindings
- abo-abo/avy - Jump to visible text
- minad/corfu - Completion overlay
- oantolin/orderless - Orderless completion
- radian-software/straight.el - Package manager
- tvraman/emacspeak - Audio desktop
AI/ML
- yang-song/score_sde - Score-based diffusion
- volcengine/verl - RL for LLMs
- allenai/SAGE - AI safety
- deepseek-ai/DeepSeek-Math-V2 - Math reasoning
- malbergo/stochastic-interpolants - Generative models
Distributed Systems
- jepsen-io/jepsen - Distributed systems testing
- jepsen-io/knossos - Linearizability checker
- mutagen-io/mutagen - File sync
Scheme & Lisp
- scheme-requests-for-implementation/srfi-69 - Hash tables
- PollRobots/scheme - Scheme interpreter
- 6cdh/tree-sitter-scheme - Tree-sitter grammar
Haskell
- tweag/awesome-learning-haskell - Learning resources
- tweag/ifl2025-liquidhaskell - LiquidHaskell
- jajaperson/obsidian-literate-haskell - Literate programming
Web3 & Crypto
- Dstack-TEE/dstack - TEE stack
- privacy-ethereum/zkID - Zero-knowledge identity
- pluralitybook/plurality - Digital democracy
Applied Category Theory
- agentskills/agentskills - AI agent skills
- hdresearch/rhizome - Knowledge graphs
- boogie-org/boogie-friends - Verification tools
MCP Server Constellation
bmorphism's MCP servers form a constellation:
┌─────────────────┐
│ ocaml-mcp-sdk │ ← Core SDK
└────────┬────────┘
│
┌────────────────────┼────────────────────┐
│ │ │
┌───────▼───────┐ ┌─────────▼─────────┐ ┌──────▼──────┐
│ babashka-mcp │ │ anti-bullshit-mcp │ │ say-mcp │
│ Clojure │ │ Epistemology │ │ TTS │
└───────────────┘ └───────────────────┘ └─────────────┘
│ │ │
┌───────▼───────┐ ┌─────────▼─────────┐ ┌──────▼──────┐
│ manifold-mcp │ │ penrose-mcp │ │ nats-mcp │
│ Prediction │ │ Diagrams │ │ Messaging │
└───────────────┘ └───────────────────┘ └─────────────┘
GF(3) Color Classification
Classify starred repos by trit:
| Trit | Category | Example Repos | |------|----------|---------------| | -1 | Foundational (cold) | Jepsen, SRFI, homalg | | 0 | Infrastructure (neutral) | MCP servers, mutagen | | +1 | Application (warm) | AI/ML, Web3 |
Integration with Music Topos
# Use bmorphism stars as seed source
module BmorphismStars
SEED = 0x626d6f727068 # "bmorph" as hex
def self.color_for_repo(repo_name)
index = repo_name.bytes.sum
GenesisChain.color_at(SEED, index)
end
end
Commands
just bmorphism-stars # List all starred repos
just bmorphism-mcp # List MCP server repos
just bmorphism-act # Filter applied category theory
just bmorphism-random # Random starred repo
Related Skills
plurigrid/bdd-mathematical-verification
development
VerifiedTrustedCommunity
BDD-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.
16SKILL.mdUpdated Apr 11, 2026
plurigrid/Skill Maker: AI Skill Factory for Tools
tools
VerifiedTrustedCommunity
Meta-skill that generates domain-specific AI skills from tool documentation
16SKILL.mdUpdated Apr 11, 2026
plurigrid/CQ-AI: Deterministic Security Scanning with Ternary Polarity
development
VerifiedTrustedCommunity
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
16SKILL.mdUpdated Apr 11, 2026
plurigrid/yoneda-directed
development
VerifiedTrustedCommunity
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.
16SKILL.mdUpdated Apr 11, 2026