GitHub
oapply-colimit
oapply operad algebra evaluation via colimits with Specter-style composition patterns
Skills IA Données et IA
Découvrez les skills Données et IA, comparez leurs dépôts et consultez leurs instructions.
Catégories: Données et IA
Données et IA Effacer les filtres
Explorer
GitHub
mlx-jax-splitmix
MLX on Apple Silicon with JAX-style SplitMix64 PRNG. Deterministic color generation with GPU acceleration.
GitHub
amp-api-awareness
Extract hidden Amp API patterns from local thread data via DuckDB analysis
GitHub
javascript-typescript
JavaScript and TypeScript development with ES6+, Node.js, React, and
GitHub
graph-grafting
Graph Grafting Skill
GitHub
token-integration-analyzer
Comprehensive token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implementations for ERC20/ERC721 conformity, checks for 20+ weird token patterns,...
GitHub
stable-manifold
Manifold of points converging to equilibrium
GitHub
persistent-homology
Topological data analysis for stable feature verification across filtrations
GitHub
fix-review
Review security fixes and patches for completeness and correctness.
GitHub
workspace-unified
Unified Google Workspace management via WorkspaceACSet. Transforms operations into GF(3)-typed Interactions across Gmail, Drive, Calendar, Tasks, Docs with cross-skill morphisms and MCP↔API equivalence. Use for...
GitHub
signal-isolated-auth
Maximally isolated Signal authentication via colored operad security boundaries. VM→Container→Process enclosure with GF(3) conservation for Agent-O-Rama pathways.
GitHub
ies-flox
FloxHub publication `bmorphism/ies` - a focused development environment
GitHub
ewig-editor
The eternal text editor — Didactic Ersatz Emacs demonstrating immutable
GitHub
parameter-dependent
Systems varying with external parameters
GitHub
differential-review
Security-focused code review of diffs and pull requests using Trail of Bits expertise.
GitHub
homoiconic-rewriting
Unified homoiconic graph rewriting - λ-calculus, interaction nets, ACSets, CUDA parallelism
GitHub
operad-compose
Operad Composition Skill (PLUS +1)
GitHub
wycheproof
Google's Wycheproof test vectors for cryptographic implementation testing.
GitHub
srfi
SRFI Skill
GitHub
infinity-operads
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
GitHub
glass-hopping
Glass Bead Game + World Hopping via Observational Bridge Types. Navigate possibility space through ordered locale ≪ relations with Narya-verified transitions.
GitHub
structural-rewilding
Homotopical approach to Artificial Life where 'life' is the topology of changes (diffs). Three orthogonal directions: Behavioral (→), Structural (↓), Bridge (↘) with Narya interaction-time verification.
GitHub
codeql
Run CodeQL static analysis for security vulnerability detection, taint tracking, and data flow analysis. Use when asked to analyze code with CodeQL, create CodeQL databases, write custom QL queries, perform sec...
GitHub
manifest-privilege-validator
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
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é.