GitHub
ordered-locale-fanout
UPDATED: Now uses proper ordered-locale (Heunen-van der Schaaf 2024). Cocone construction over triadic ordered locale with open cone condition.
Skills IA Tests et sécurité
Découvrez les skills Tests et sécurité, comparez leurs dépôts et consultez leurs instructions.
Catégories: Tests et sécurité
Tests et sécurité Effacer les filtres
Explorer
GitHub
cheapskate
Cheapskate Skill
GitHub
jira-issues
Create, update, and manage Jira issues from natural language. Use when the user wants to log bugs, create tickets, update issue status, or manage their Jira backlog.
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
GitHub
hatchery-papers
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.
GitHub
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
GitHub
specter-navigator-gadget
Unified Specter/Navigator/3-MATCH architecture with bidirectional path compilation
GitHub
trajectory
Path traced by solution through phase space
GitHub
code-documentation
Writing effective code documentation - API docs, README files, inline
GitHub
lean-proof-walk
GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof spa...
GitHub
meeting-insights-analyzer
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
GitHub
fuzzing-obstacles
Overcoming fuzzing obstacles and improving fuzzer effectiveness.
GitHub
nix-acset-worlding
Model Nix store as Attributed C-Set for dependency verification, GC analysis,
GitHub
scum-score
SCUM Score Skill
GitHub
directed-interval
Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy
GitHub
lyapunov-stability
Stability via Lyapunov's direct method
GitHub
ergodicity
Time averages equal space averages
GitHub
elisp
Emacs Lisp reference (106K lines info).
GitHub
specter-acset
Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching
GitHub
zx-calculus
Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)
GitHub
obstruction-learning
Obstruction Learning Skill
GitHub
iot-device-provisioning
Secure provisioning for TizenRT/ARTIK IoT devices. Coordinates certificate installation, key management, and network onboarding.
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
GitHub
agent-o-rama
Layer 4: Learning and Pattern Extraction for Cognitive Surrogate 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é.