GitHub
dwarf-expert
Provides expertise for analyzing DWARF debug files and understanding the DWARF debug format/standard (v3-v5). Triggers when understanding DWARF information, interacting with DWARF files, answering DWARF-related...
Skills IA Outils
Découvrez les skills Outils, comparez leurs dépôts et consultez leurs instructions.
Catégories: Outils
Outils Effacer les filtres
Explorer
GitHub
protocol-evolution-markets
Prediction markets for protocol standard evolution. Bet on which specs survive, fork, or merge using multiverse finance and GF(3) fitness signals.
GitHub
aptos-agent
Interact with Aptos blockchain - check balances, transfer APT, swap tokens, stake, and execute Move view functions. Features game-theoretic decision analysis with Nash equilibrium detection. All transactions re...
GitHub
canvas-design
Create beautiful visual art in .png and .pdf documents using design philosophy.
GitHub
gf3-constrained-animation
A skill for creating minimal, GF(3)-constrained animations optimized for Slack emoji GIFs
GitHub
cybernetic-immune
Cybernetic immune system with Varela+Friston+Powers for Self/Non-Self discrimination via reafference, GF(3) trit encoding, and information geometry
GitHub
xlsx
Comprehensive spreadsheet creation, editing, and analysis with support
GitHub
world-memory-worlding
World memory is world remembering is world worlding - the autopoietic loop where memory enables remembering enables worlding enables memory
GitHub
gworkspace-mcp
gworkspace-mcp - Google Workspace MCP Integration with Temporal Consistency
GitHub
triad-interleave
Interleave three deterministic color streams into balanced schedules for parallel execution and evaluation.
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...
GitHub
effective-topos
FloxHub publication `bmorphism/effective-topos` - a comprehensive development
GitHub
developer-growth-analysis
Analyzes your recent Claude Code chat history to identify coding patterns,
GitHub
libfuzzer
Fuzzing with libFuzzer for finding vulnerabilities in code.
GitHub
polynomial-dynamics
Dynamic structures via polynomial functor arrangements from Topos Institute
GitHub
frontend-design
Create distinctive, production-grade frontend interfaces with high design
GitHub
dynamical-system-functor
Categorical structure of dynamical systems
GitHub
atproto-ingest
Layer 1 - Data Acquisition for Bluesky/AT Protocol social graph and content.
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...
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
GitHub
topos-of-music
Guerino Mazzola's mathematical music theory - Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with Gay.jl color integration
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...
GitHub
delta-derivation
Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification
GitHub
synchronization
Convergence to common trajectory in coupled systems
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é.