Skill Claude CodeCodex
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppxsexpconv-style deriving.
not rated 70
+3 3mo ago A SkillSpector: warn 30 tokens
original MIT
Skill Claude CodeCodex
Building applications with Large Language Models - prompt engineering, RAG patterns, and LLM integration. Use for AI-powered features, chatbots, or LLM-based automation.
not rated 70
+3 3mo ago A 40 tokens
copy · 92% MIT
Skill Claude CodeCodex
Category theory of map projections: functors between manifolds with distortion analysis.
not rated 70
+3 3mo ago A SkillSpector: pass 0 tokens
original MIT
mcp-builder
28Skill Claude CodeCodex
Guide for creating high-quality MCP (Model Context Protocol) servers that enable LLMs to interact with external services through well-designed tools. Use when building MCP servers to integrate external APIs or services, whether in Python (FastMCP) or Node/TypeScript (MCP SDK).
not rated 70
+3 3mo ago A SkillSpector: warn 61 tokens
original MIT
Skill Claude CodeCodex
Version: 1.0.0 Trit: 0 (ERGODIC) Domain: mcp, integration, orchestration.
not rated 70
+3 3mo ago B 0 tokens
original MIT
Skill Claude CodeCodex
Non-orientable topological filtering that eliminates self-revisiting paths.
not rated 70
+3 3mo ago A SkillSpector: pass 21 tokens
original MIT
Skill Claude CodeCodex
Skill "oapply-colimit" from plurigrid/asi, covering oapply-colimit skill, core pattern, pattern + components → composite, two composition modes and implementation.
not rated 70
+3 3mo ago A 23 tokens
original MIT
osm-topology
32Skill Claude CodeCodex
OpenStreetMap graph analysis: road networks, routing, and topological structure with GF(3) coloring.
not rated 70
+3 3mo ago B 0 tokens
original MIT
polyglot-spi
33Skill Claude CodeCodex
Cross-Language Strong Parallelism Invariance Verification for 15+ languages.
not rated 70
+3 3mo ago A SkillSpector: pass 20 tokens
original MIT
Skill Claude CodeCodex
Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence.
not rated 70
+3 3mo ago A SkillSpector: pass 19 tokens
original MIT
Skill Claude CodeCodex
Guide for creating effective skills. Use when users want to create a new skill (or update an existing skill) that extends Claude's capabilities with specialized knowledge, workflows, or tool integrations.
not rated 70
+3 3mo ago A 41 tokens
original MIT
Skill Claude CodeCodex
StructuredDecompositions.jl: Sheaves on tree decompositions for FPT algorithms.
not rated 70
+3 3mo ago A 21 tokens
original MIT
Skill Claude CodeCodex
Trit: +1 (PLUS/Generator) | Color: #D82626 | Subagent: Generator.
not rated 70
+3 3mo ago A SkillSpector: pass 0 tokens
original MIT
Skill Claude CodeCodex
Tuple and product structure navigation with composition.
not rated 70
+3 3mo ago A SkillSpector: pass 12 tokens
original MIT
Skill Claude CodeCodex
Static type inference and validation for navigation paths.
not rated 70
+3 3mo ago A SkillSpector: pass 13 tokens
original MIT
uv-discohy
40Skill Claude CodeCodex needs its repo
UV/UVX/Ruff toolchain for DiscoHy Thread Operad with Python packaging and linting.
not rated 70
+3 3mo ago C 25 tokens
original MIT
topos-skills
41Plugin Claude Code
Bundles 29 skills · 784 tokens together
Local Codex skills bundled for Claude Code.
not rated 70
+3 3mo ago A
tokens not measured
original MIT
Skill Claude Code
Compare data structures (DuckDB, LanceDB) via ACSets with persistent homology coverage analysis and geometric morphism translation.
not rated 70
+3 3mo ago A SkillSpector: warn 33 tokens
original MIT
Skill Codex needs its repo
ASI skill integrating polynomial functors, free monad/cofree comonad module action, operadic decomposition, and open games for compositional intelligence.
not rated 70
+3 3mo ago A SkillSpector: pass 36 tokens
original MIT
Skill Codex
Category: Proof Navigation + Caching Type: Graph Index Structure Language: Julia Status: Production Ready Version: 1.0.0 Date: December 22, 2025.
not rated 70
+3 3mo ago A 0 tokens
original MIT
Skill Codex
Category: Phase 3 Core - Compositional Architecture Status: Skeleton Implementation Dependencies: None (foundational).
not rated 70
+3 3mo ago A SkillSpector: pass 0 tokens
original MIT
Skill Codex
Bengio's causal inference for AI: Interventional reasoning, counterfactuals, and System 2 deep learning. World models with causal structure.
not rated 70
+3 3mo ago A SkillSpector: pass 36 tokens
original MIT
Skill Codex
Category: Phase 3 Core - Autopoietic Systems Status: Skeleton Implementation Dependencies: categorical-composition (reaction networks as categories).
not rated 70
+3 3mo ago A SkillSpector: pass 0 tokens
original MIT
Skill Codex
Cognitive superposition synthesizing Riehl (∞-categories), Sutskever (compression), Schmidhuber (curiosity-driven), and Bengio (GFlowNets) into unified ASI framework with quantum-inspired measurement collapse.
not rated 70
+3 3mo ago A SkillSpector: warn 54 tokens
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: