GitHub
aqua-voice-malleability
Adversarial malleability analysis of Aqua Voice Electron app with IPC injection, WebSocket interception, and braided monoidal skill interleaving
☆ 5查看技能
生活与效率 AI 技能
发现 生活与效率 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 生活与效率
生活与效率 清除筛选
全部技能
GitHub
opam-ocaml
OPAM package manager for OCaml. Switch management, dependency resolution, and OCaml toolchain.
☆ 5查看技能
GitHub
buberian-relations
Buberian Relations Skill
☆ 5查看技能
GitHub
oapply-colimit
oapply operad algebra evaluation via colimits with Specter-style composition patterns
☆ 5查看技能
GitHub
mlx-jax-splitmix
MLX on Apple Silicon with JAX-style SplitMix64 PRNG. Deterministic color generation with GPU acceleration.
☆ 5查看技能
GitHub
amp-api-awareness
Extract hidden Amp API patterns from local thread data via DuckDB analysis
☆ 5查看技能
GitHub
javascript-typescript
JavaScript and TypeScript development with ES6+, Node.js, React, and
☆ 5查看技能
GitHub
graph-grafting
Graph Grafting Skill
☆ 5查看技能
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,...
☆ 5查看技能
GitHub
stable-manifold
Manifold of points converging to equilibrium
☆ 5查看技能
GitHub
persistent-homology
Topological data analysis for stable feature verification across filtrations
☆ 5查看技能
GitHub
fix-review
Review security fixes and patches for completeness and correctness.
☆ 5查看技能
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...
☆ 5查看技能
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.
☆ 5查看技能
GitHub
ies-flox
FloxHub publication `bmorphism/ies` - a focused development environment
☆ 5查看技能
GitHub
ewig-editor
The eternal text editor — Didactic Ersatz Emacs demonstrating immutable
☆ 5查看技能
GitHub
parameter-dependent
Systems varying with external parameters
☆ 5查看技能
GitHub
differential-review
Security-focused code review of diffs and pull requests using Trail of Bits expertise.
☆ 5查看技能
GitHub
homoiconic-rewriting
Unified homoiconic graph rewriting - λ-calculus, interaction nets, ACSets, CUDA parallelism
☆ 5查看技能
GitHub
operad-compose
Operad Composition Skill (PLUS +1)
☆ 5查看技能
GitHub
wycheproof
Google's Wycheproof test vectors for cryptographic implementation testing.
☆ 5查看技能
GitHub
srfi
SRFI Skill
☆ 5查看技能
GitHub
infinity-operads
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
☆ 5查看技能
GitHub
glass-hopping
Glass Bead Game + World Hopping via Observational Bridge Types. Navigate possibility space through ordered locale ≪ relations with Narya-verified transitions.
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。