mlx-jax-splitmix
MLX on Apple Silicon with JAX-style SplitMix64 PRNG. Deterministic color generation with GPU acceleration.
Discover Testing & security skills, compare source repositories and read the instructions for each workflow.
MLX on Apple Silicon with JAX-style SplitMix64 PRNG. Deterministic color generation with GPU acceleration.
Extract hidden Amp API patterns from local thread data via DuckDB analysis
JavaScript and TypeScript development with ES6+, Node.js, React, and
Graph Grafting Skill
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,...
Manifold of points converging to equilibrium
Topological data analysis for stable feature verification across filtrations
Review security fixes and patches for completeness and correctness.
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...
Maximally isolated Signal authentication via colored operad security boundaries. VM→Container→Process enclosure with GF(3) conservation for Agent-O-Rama pathways.
FloxHub publication `bmorphism/ies` - a focused development environment
The eternal text editor — Didactic Ersatz Emacs demonstrating immutable
Systems varying with external parameters
Security-focused code review of diffs and pull requests using Trail of Bits expertise.
Unified homoiconic graph rewriting - λ-calculus, interaction nets, ACSets, CUDA parallelism
Operad Composition Skill (PLUS +1)
Google's Wycheproof test vectors for cryptographic implementation testing.
SRFI Skill
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
Glass Bead Game + World Hopping via Observational Bridge Types. Navigate possibility space through ordered locale ≪ relations with Narya-verified transitions.
Homotopical approach to Artificial Life where 'life' is the topology of changes (diffs). Three orthogonal directions: Behavioral (→), Structural (↓), Bridge (↘) with Narya interaction-time verification.
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...
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
Playful mutual ingression meets Leonid Levin's algorithmic bounds. Use for: playful exploration with theoretical guarantees, mutual ingression with convergence proofs, emergent solutions within complexity bound...
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.