plurigrid/asi

Bifunctors: two-argument functors for product categories.

Gay MCP skill at invocation 22

Auto-grown skill at knight tour position 2

Auto-grown skill at knight tour position 3

Gay MCP skill at invocation 12

Gay MCP skill at invocation 9

Virtual reality (VR) reality tech. Locomotion, comfort defaults, controllers/hands, performance budgets, and interaction patterns.

Lawvere theories: categorical universal algebra.

Weighted (co)limits: J-indexed diagrams.

Rust ecosystem = cargo + rustc + clippy + rustfmt.

Universal properties: unique factorization.

Join semilattices and sup-preservation.

Presheaves: contravariant Set-valued functors.

Quillen model categories: (C,W,F) structures.

Map Projection Skill

Static type inference and validation for navigation paths

Toolkit for creating animated GIFs optimized for Slack, with validators for size constraints and composable animation primitives. This skill applies when users request animated GIFs or emoji animations for Slack from descriptions like "make me a GIF for Slack of X doing Y".

Categorical Rewriting: Triad 4 (World Transformation)

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 automation, or applying ANIMA principles to Gmail.

Reverse Engineering Skill

Google Workspace MCP integration for Gmail, Drive, Calendar, Docs, Sheets, Slides, Forms, Tasks, and Chat. Use when the user wants to read/send emails, manage files, create/edit documents, schedule events, or interact with any Google Workspace service.

Mechanically verified proofs from Narya event logs. Verifies queue consistency, replay determinism, non-leakage, and GF(3) conservation. Use for proving system invariants, audit trails, or formal verification of event-sourced systems.

Layer 5: Convergence to Equilibrium Analysis

DiscoPy Operads Skill

K-Scale Labs robotics skill collection - unified index for humanoid robot development, RL training, sim-to-real transfer, and deployment. Aggregates 9 specialized skills with GF(3) triadic organization.

Building applications with Large Language Models - prompt engineering, RAG patterns, and LLM integration. Use for AI-powered features, chatbots, or LLM-based automation.

∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.

Compositional algorithm and data analysis via algebraic databases

Cybernetic Open Game Skill

BDD-Driven Mathematical Content Verification Skill

Von Holst reafference and corollary discharge for behavioral verification and signal processing

Assists in writing high-quality content by conducting research, adding

Secure provisioning for TizenRT/ARTIK IoT devices. Coordinates certificate installation, key management, and network onboarding.

Assignment of vectors to points in phase space defining dynamics

World ALICE Skill

Sets preserved by the flow

Dialectica Skill (ERGODIC 0)

Mechanic wobbling duckoid robot that quacks and generates nonstandard musical scale compositions. Maximally cost-efficient design (~$68 BOM).

Testing for timing side channels and constant-time implementation verification.

Web application security testing with Burp Suite.

Fuzzing with AFL++ for comprehensive binary and source code fuzzing.

Integration with OSS-Fuzz for continuous fuzzing.

Use when interpreting Culture Index surveys, CI profiles, behavioral assessments, or personality data. Supports individual interpretation, team composition (gas/brake/glue), burnout detection, profile comparison, hiring profiles, manager coaching, interview transcript analysis for trait prediction, candidate debrief, onboarding planning, and conflict mediation. Handles PDF vision or JSON input.

Guide you through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability/ERC conformance/token integration), generates visual security diagrams, helps document security properties for fuzzing/verification, and reviews manual security areas. (project, gitignored)

Security-focused code review of diffs and pull requests using Trail of Bits expertise.

Overcoming fuzzing obstacles and improving fuzzer effectiveness.

Rust fuzzing with Ruzzy for automated vulnerability discovery.

Trifurcated Transfer Skill

Julia package equivalents for 137 K-Dense-AI scientific skills. Maps Python bioinformatics, chemistry, ML, quantum, and data science packages to native Julia ecosystem.

zig-programming skill