GitHub
skill-creator
Guide for creating effective skills. Use when users want to create a
☆ 5View skill
Tools AI Skills
Discover Tools skills, compare source repositories and read the instructions for each workflow.
Categories: Tools
Tools Clear filters
Browse skills
GitHub
slime-lisp
SLIME integration for Common Lisp development
☆ 5View skill
GitHub
plurigrid-asi-integrated
Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.
☆ 5View skill
GitHub
world-hopping
Badiou-inspired possible world navigation using triangle inequality constraints, event ontology, and truth procedures for traversing mathematical possibility space.
☆ 5View skill
GitHub
ultrametric-distance
Non-Archimedean distance metrics for hierarchical clustering and p-adic analysis
☆ 5View skill
GitHub
compression-progress
Schmidhuber's compression progress as intrinsic curiosity reward for
☆ 5View skill
GitHub
latent-latency
Latent-Latency Skill
☆ 5View skill
GitHub
quantum-guitar
Coecke's Quantum Guitar: quantising guitar strings via qubit association, ZX-calculus notation, Moth Actias synth integration
☆ 5View skill
GitHub
cognitive-superposition
Cognitive superposition synthesizing Riehl (∞-categories), Sutskever
☆ 5View skill
GitHub
reversible-computing
Janus and reversible languages: run programs backwards, time-symmetric computation.
☆ 5View skill
GitHub
cat
cat Skill: Derivational Pipe Chaining
☆ 5View skill
GitHub
rubato-composer
Rubato Composer integration for Mazzola's mathematical music theory
☆ 5View skill
GitHub
spectral-locale-debugging
Debug and simulate ghostly phenomena using ordered locale theory and trifurcated interactions
☆ 5View skill
GitHub
smack-policy-auditor
Analyzes SMACK policy files for correctness, label conflicts, and access control issues. Verifies mandatory access control rules.
☆ 5View skill
GitHub
coequalizers
Quotient redundant skill paths via coequalizers, preserving GF(3) conservation
☆ 5View skill
GitHub
slowtime-mcp
Asymmetric time dilation for MCP operations - deliberate slow paths enable capability accumulation through Cat# bicomodule composition.
☆ 5View skill
GitHub
invoice-organizer
Automatically organizes invoices and receipts for tax preparation by
☆ 5View skill
GitHub
rama-gay-clojure
Red Planet Labs Rama with Gay.jl deterministic coloring for 100x backend development with gay-colored parentheses as expressive as tensor shapes.
☆ 5View skill
GitHub
gay-monte-carlo
Gay Monte Carlo Measurements
☆ 5View skill
GitHub
frustration-eradication
Frustration Eradication Skill
☆ 5View skill
GitHub
gay-fokker-planck-staging
Two Fokker-Plancks per staging gate, conditioned on (rama OR goblins)
☆ 5View skill
GitHub
solver-fee
Solver Fee Skill
☆ 5View skill
GitHub
asi-polynomial-operads
ASI skill integrating polynomial functors, free monad/cofree comonad
☆ 5View skill
GitHub
aptos-society
Aptos Society: World Extractable Value (WEV) implementation via GayMove contracts. Path A vault-only multiverse finance with worldnet ledger for 26 Agent-O-Rama worlds. Deployed 2024-12-29 on Aptos mainnet.
☆ 5View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.