GitHub
bidirectional-lens-logic
Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence
Skills IA Documentation
Découvrez les skills Documentation, comparez leurs dépôts et consultez leurs instructions.
Catégories: Documentation
Documentation Effacer les filtres
Explorer
GitHub
chaotic-attractor
Strange attractor with sensitive dependence on initial conditions
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
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...
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.
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...
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge
GitHub
kolmogorov-compression
Kolmogorov complexity as the ultimate intelligence measure. Shortest
GitHub
mcp-builder
Guide for creating high-quality MCP (Model Context Protocol) servers
GitHub
goblins
Distributed object capability system (6.5K lines info).
GitHub
saddle-node
Bifurcation creating/destroying equilibrium pair
GitHub
abductive-repl
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference
GitHub
keychain-secure
macOS Keychain credential management with GF(3) balanced operations
GitHub
tizen-cve-scanner
Scans for known Tizen CVEs in app dependencies and kernel. Checks OpenCVE database and Samsung security updates.
GitHub
fuzzing-dictionary
Building effective fuzzing dictionaries for improved fuzzer performance.
GitHub
ruler
Unified AI agent configuration propagation across 18+ coding assistants.
GitHub
mcp-tripartite
MCP tripartite integration for orchestrating distributed tool protocols
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...
GitHub
bmorphism-diagrams
bmorphism Diagrams
GitHub
bob
World BOB Skill
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
GitHub
l-space
L-Space Skill: The Library of All Libraries
GitHub
linearization
Local approximation of nonlinear dynamics
GitHub
ossfuzz
Integration with OSS-Fuzz for continuous fuzzing.
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.