GitHub
bidirectional-lens-logic
Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence
☆ 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
chaotic-attractor
Strange attractor with sensitive dependence on initial conditions
☆ 5View skill
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5View skill
GitHub
academic-research
Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX citations, download PDFs, analyze citation networks. Use for literature reviews, finding pap...
☆ 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
spec-to-code-compliance
Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks f...
☆ 5View skill
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge
☆ 5View skill
GitHub
kolmogorov-compression
Kolmogorov complexity as the ultimate intelligence measure. Shortest
☆ 5View skill
GitHub
mcp-builder
Guide for creating high-quality MCP (Model Context Protocol) servers
☆ 5View skill
GitHub
goblins
Distributed object capability system (6.5K lines info).
☆ 5View skill
GitHub
saddle-node
Bifurcation creating/destroying equilibrium pair
☆ 5View skill
GitHub
abductive-repl
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference
☆ 5View skill
GitHub
keychain-secure
macOS Keychain credential management with GF(3) balanced operations
☆ 5View skill
GitHub
tizen-cve-scanner
Scans for known Tizen CVEs in app dependencies and kernel. Checks OpenCVE database and Samsung security updates.
☆ 5View skill
GitHub
fuzzing-dictionary
Building effective fuzzing dictionaries for improved fuzzer performance.
☆ 5View skill
GitHub
ruler
Unified AI agent configuration propagation across 18+ coding assistants.
☆ 5View skill
GitHub
mcp-tripartite
MCP tripartite integration for orchestrating distributed tool protocols
☆ 5View skill
GitHub
solana-vulnerability-scanner
Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validation, missing signer/ownership checks, and sysvar spoofing. Use when auditing Solana/Anchor programs. (project, g...
☆ 5View skill
GitHub
bmorphism-diagrams
bmorphism Diagrams
☆ 5View skill
GitHub
bob
World BOB Skill
☆ 5View skill
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
☆ 5View skill
GitHub
l-space
L-Space Skill: The Library of All Libraries
☆ 5View skill
GitHub
linearization
Local approximation of nonlinear dynamics
☆ 5View skill
GitHub
ossfuzz
Integration with OSS-Fuzz for continuous fuzzing.
☆ 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.