GitHub
sicmutils
SICMUtils/Emmy - Clojure library for symbolic mathematics, automatic differentiation, and classical mechanics. Bridges SICM concepts to executable computation via SRFI-compatible abstractions.
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
sandbox-escape-detector
Tests Tizen application sandboxes for privilege escalation and escape vulnerabilities. Validates process isolation and capability limitations.
GitHub
asi-agent-orama
ASI Agent-O-Rama Skill
GitHub
slime-lisp
SLIME integration for Common Lisp development
GitHub
triad-interleave
Interleave three deterministic color streams into balanced schedules
GitHub
rick-roderick
Rick Roderick: Philosophy Under Siege
GitHub
three-match
3-MATCH gadgets and non-backtracking geodesics for 3-SAT via colored subgraph isomorphism.
GitHub
rust
Rust ecosystem = cargo + rustc + clippy + rustfmt.
GitHub
bidirectional-lens-logic
Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence
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.
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é.