GitHub
gf3-constrained-animation
A skill for creating minimal, GF(3)-constrained animations optimized for Slack emoji GIFs
☆ 5View skill
Documentation AI Skills
Discover Documentation skills, compare source repositories and read the instructions for each workflow.
Categories: Documentation
Documentation Clear filters
Browse skills
GitHub
cybernetic-immune
Cybernetic immune system with Varela+Friston+Powers for Self/Non-Self discrimination via reafference, GF(3) trit encoding, and information geometry
☆ 5View skill
GitHub
xlsx
Comprehensive spreadsheet creation, editing, and analysis with support
☆ 5View skill
GitHub
world-memory-worlding
World memory is world remembering is world worlding - the autopoietic loop where memory enables remembering enables worlding enables memory
☆ 5View skill
GitHub
gworkspace-mcp
gworkspace-mcp - Google Workspace MCP Integration with Temporal Consistency
☆ 5View skill
GitHub
triad-interleave
Interleave three deterministic color streams into balanced schedules for parallel execution and evaluation.
☆ 5View skill
GitHub
tree-sitter
AST-based code analysis using tree-sitter. Use for parsing code structure, extracting symbols, finding patterns with tree-sitter queries, analyzing complexity, and understanding code architecture. Supports Pyth...
☆ 5View skill
GitHub
effective-topos
FloxHub publication `bmorphism/effective-topos` - a comprehensive development
☆ 5View skill
GitHub
developer-growth-analysis
Analyzes your recent Claude Code chat history to identify coding patterns,
☆ 5View skill
GitHub
libfuzzer
Fuzzing with libFuzzer for finding vulnerabilities in code.
☆ 5View skill
GitHub
polynomial-dynamics
Dynamic structures via polynomial functor arrangements from Topos Institute
☆ 5View skill
GitHub
frontend-design
Create distinctive, production-grade frontend interfaces with high design
☆ 5View skill
GitHub
dynamical-system-functor
Categorical structure of dynamical systems
☆ 5View skill
GitHub
atproto-ingest
Layer 1 - Data Acquisition for Bluesky/AT Protocol social graph and content.
☆ 5View skill
GitHub
semgrep-rule-creator
Create custom Semgrep rules for detecting bug patterns and security vulnerabilities. This skill should be used when the user explicitly asks to "create a Semgrep rule", "write a Semgrep rule", "make a Semgrep r...
☆ 5View skill
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5View skill
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
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.