GitHub
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
Skills IA Développement
Découvrez les skills Développement, comparez leurs dépôts et consultez leurs instructions.
Catégories: Développement
Développement Effacer les filtres
Explorer
GitHub
proof-of-frog
Proof-of-Frog Skill 🐸
GitHub
constant-time-testing
Testing for timing side channels and constant-time implementation verification.
GitHub
unison
Unison language - content-addressed functional programming with abilities for effects, distributed computing, and structural types. Use for pure functional code, effect management, distributed systems, and refa...
GitHub
color-envelope-preserving
GF(3) color envelope preservation across navigator compositions
GitHub
tailscale-mesh
Tailscale mesh VPN for secure peer-to-peer networking. WireGuard-based overlay network with MagicDNS and ACLs.
GitHub
elements-infinity-cats
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical
GitHub
implicit-coordination
Stigmergic agent coordination through environment modification, not messages. Vehicle semantics where carrier encodes meaning.
GitHub
resource-sharing
Resource Sharing Skill
GitHub
uv-oneliners
UV/UVX zero-install Python with comma-syntax deps, justfile patterns, PEP 723 scripts
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
GitHub
secure-workflow-guide
Guide you through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability/ERC conformance/token integration), generates visual security diagrams, helps doc...
GitHub
entry-point-analyzer
Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level (public, admin, role-re...
GitHub
skill-validation-gf3
Skill Validation GF(3) - SLAVE (-1)
GitHub
mlx-apple-silicon
Run LLMs on Apple Silicon with MLX/mlx_lm - unified memory, 4-bit quantization, streaming generation, prompt caching. Optimal for M-series chips.
GitHub
tasks-acset
Google Tasks management via TasksACSet. Transforms task operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for task-zero-as-condensed-state.
GitHub
pulse-mcp-stream
Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence
GitHub
gflownet
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
GitHub
ruler-maximal
Ruler Maximal Skill
GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
GitHub
linear-logic
Linear Logic Skill
GitHub
refuse-mediocrity
Reject complacency. Demand excellence. Ship or die.
GitHub
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
GitHub
worldmat-tidar
worldmat-tidar
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é.