GitHub
stable-manifold
Manifold of points converging to equilibrium
☆ 5View skill
Development AI Skills
Discover Development skills, compare source repositories and read the instructions for each workflow.
Categories: Development
Development Clear filters
Browse skills
GitHub
persistent-homology
Topological data analysis for stable feature verification across filtrations
☆ 5View skill
GitHub
fix-review
Review security fixes and patches for completeness and correctness.
☆ 5View skill
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...
☆ 5View skill
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.
☆ 5View skill
GitHub
ies-flox
FloxHub publication `bmorphism/ies` - a focused development environment
☆ 5View skill
GitHub
ewig-editor
The eternal text editor — Didactic Ersatz Emacs demonstrating immutable
☆ 5View skill
GitHub
parameter-dependent
Systems varying with external parameters
☆ 5View skill
GitHub
differential-review
Security-focused code review of diffs and pull requests using Trail of Bits expertise.
☆ 5View skill
GitHub
homoiconic-rewriting
Unified homoiconic graph rewriting - λ-calculus, interaction nets, ACSets, CUDA parallelism
☆ 5View skill
GitHub
operad-compose
Operad Composition Skill (PLUS +1)
☆ 5View skill
GitHub
wycheproof
Google's Wycheproof test vectors for cryptographic implementation testing.
☆ 5View skill
GitHub
srfi
SRFI Skill
☆ 5View skill
GitHub
infinity-operads
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
☆ 5View skill
GitHub
glass-hopping
Glass Bead Game + World Hopping via Observational Bridge Types. Navigate possibility space through ordered locale ≪ relations with Narya-verified transitions.
☆ 5View skill
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.
☆ 5View skill
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...
☆ 5View skill
GitHub
manifest-privilege-validator
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
☆ 5View skill
GitHub
levity-levin
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...
☆ 5View skill
GitHub
ducklake-walk
Ergodic random walks over DuckLake lakehouses with GF(3) triadic concurrent walkers. Society-of-mind coordination for schema exploration.
☆ 5View skill
GitHub
mathpix-ocr
Mathpix OCR for LaTeX extraction with balanced ternary checkpoints
☆ 5View skill
GitHub
reflow
Information Reflow Skill (ERGODIC 0)
☆ 5View skill
GitHub
gmail-anima
Gmail inbox management via ANIMA condensation. Transforms messages into GF(3)-typed Interactions, routes to triadic queues, detects saturation for inbox-zero-as-condensed-state. Use for email triage, workflow a...
☆ 5View skill
GitHub
reafference-corollary-discharge
Von Holst reafference and corollary discharge for behavioral verification and signal processing
☆ 5View skill
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.