GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5View skill
plurigrid AI Skills
GitHub ↗Browse published AI skills maintained by plurigrid. Compare skill descriptions and follow each source repository for setup instructions.
Author statistics
Indexed skills
639Repository stars across indexed skills
3,235Repository forks
1,917Average repository stars per indexed skill
5Repository stars may repeat across skills from the same repository.
Popular categories
Recent indexing activity
Browse skills
GitHub
topos-of-music
Guerino Mazzola's mathematical music theory - Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with Gay.jl color integration
☆ 5View skill
GitHub
cosmos-vulnerability-scanner
Scans Cosmos SDK blockchains for 9 consensus-critical vulnerabilities including non-determinism, incorrect signers, ABCI panics, and rounding errors. Use when auditing Cosmos chains or CosmWasm contracts. (proj...
☆ 5View skill
GitHub
delta-derivation
Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification
☆ 5View skill
GitHub
synchronization
Convergence to common trajectory in coupled systems
☆ 5View skill
GitHub
gh-interactome
GitHub author interaction network discovery. Maps cobordisms between
☆ 5View skill
GitHub
amp-skill
Interruption pattern detection and retrieval from Amp thread history. Use for analyzing tool rejection patterns and improving agent behavior.
☆ 5View skill
GitHub
internal-comms
Write internal communications using company formats. Use when writing
☆ 5View skill
GitHub
smack-label-orchestrator
Manages SMACK label assignments across apps and kernel. Coordinates mandatory access control labels with process isolation.
☆ 5View skill
GitHub
babashka
Clojure scripting without JVM startup.
☆ 5View skill
GitHub
condensed-anima-qc
Condensed ANIMA on quantum-classical and classical-quantum networks. All skill compositions materialized as s-expressions across the polyglot substrate.
☆ 5View skill
GitHub
load-skills
Bootstrap skill loader for instance startup. Pulls fresh skills from plurigrid/asi and loads GF(3)-balanced startup triads. MUST run at beginning of every new instance.
☆ 5View skill
GitHub
exo-distributed
Distributed LLM inference across Apple Silicon clusters with exo. Run models across Mac Studios via Thunderbolt RDMA, auto peer discovery, and MLX sharding. Use for multi-device inference, model parallelism, or...
☆ 5View skill
GitHub
crossmodal-gf3
GF(3) → {Tactile, Auditory, Haptic} universal bridge for accessible color perception
☆ 5View skill
GitHub
gay-mcp
Gay.jl MCP server integration for deterministic color generation via SplitMix64
☆ 5View skill
GitHub
tizen-compliance-checker
Validates Tizen app compliance with TCT (Tizen Compliance Tests). Checks conformance to IoT, TV, or mobile profiles.
☆ 5View skill
GitHub
zls-integration
"zls-integration skill"
☆ 5View skill
GitHub
network
Network tools = tailscale + curl + ssh + nmap.
☆ 5View skill
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style
☆ 5View skill
GitHub
depth-search
Deep 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 so...
☆ 5View skill
GitHub
secure-storage-template
Boilerplate code templates for Tizen KeyManager integration. Generates C/C#/.NET code for password-protected secure data storage.
☆ 5View skill
GitHub
ordered-locale
Ordered Locales (Heunen-van der Schaaf 2024): Point-free topology with direction. Frame + compatible preorder with open cone conditions.
☆ 5View skill
GitHub
aptos-gf3-society
Aptos GF(3) Society Skill
☆ 5View skill
GitHub
quantum-music
Quantum computer music composition and performance using quantum circuits, ZX-calculus notation, and quantum instruments
☆ 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.