GitHub
compositional-acset-comparison
Compare data structures (DuckDB, LanceDB) via ACSets with persistent homology coverage analysis and geometric morphism translation.
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
voice-channel-uwd
Voice Channel UWD Skill
GitHub
blackhat-go
Go-based security techniques from "Black Hat Go" extended with macOS, Cloud, Mobile, IoT, Supply Chain, API, Web3, AI/ML, Red Team, ATT&CK, and LLM chapters. 186 techniques, 36 tools, 33 defenses across 37 chap...
GitHub
worlding
Gay.jl world_ pattern: persistent composable state builders with GF(3) conservation, Möbius invertibility, and Narya verification
GitHub
Comprehensive PDF manipulation toolkit for extracting text and tables,
GitHub
sicmutils
SICMUtils/Emmy - Clojure library for symbolic mathematics, automatic differentiation, and classical mechanics. Bridges SICM concepts to executable computation via SRFI-compatible abstractions.
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
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é.