linearization
Local approximation of nonlinear dynamics
livekit-omnimodal
LiveKit omni-modal continuous coaching with stick-breaking color selection,
load-skills
Bootstrap skill loader for instance startup. Pulls fresh skills from plurigrid/asi and loads GF(3)-balanced startup triads. MUST run at beginning of every new instance.
local-compositionality-gadget
Local Compositionality Gadget
local-finetune
local-finetune
localsend-analysis
Analyze LocalSend repos with tree-sitter tags, gh GraphQL contributor snapshots, and protocol safety notes.
low-discrepancy-sequences
low-discrepancy-sequences skill
lyapunov-function
Scalar function decreasing along trajectories
lyapunov-stability
Stability via Lyapunov's direct method
magic-todo-watch-deploy
Build, deploy, and manage the MagicTodoWatch iOS/watchOS voice-to-task pipeline app. Use when building for device or simulator, fixing Xcode project issues, or running the 7-world backend pipeline.
managing-cloud-identity-with-okta
>
managing-intelligence-lifecycle
>
manifest-privilege-validator
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
map-projection
Map Projection Skill
mapping-mitre-attack-techniques
>
markov-game-acset
markov-game-acset skill
mcp-spec-checker
Predicate-level semantic diff for MCP protocol specs. Compares 0618 vs 1125 specs via Narya types, GF(3) evaluators, and Unison-style effects. Use for protocol verification, spec migration, or detecting breaking changes.
mdm-cobordism
macOS MDM with auth manifolds as cobordisms for credential derivation
media
Media processing = ffmpeg + imagemagick + sox.
meeting-insights-analyzer
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
merkle-proof-validation
Merkle Proof Validation Skill
mermaid-reverse-attempt
Mermaid URL codec - encodes/decodes #base64: (amp CLI) and #pako: (mermaid.live) formats
little-schemer
Little Schemer Skill
implementing-google-workspace-sso-configuration
Configure SAML 2.0 single sign-on for Google Workspace with a third-party identity provider, enabling centralized authentication and enforcing organization-wide access policies.
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
julia-scientific
Julia package equivalents for 137 K-Dense-AI scientific skills. Maps Python bioinformatics, chemistry, ML, quantum, and data science packages to native Julia ecosystem.
opennirscap-build
Build an OpenNIRScap 24-channel fNIRS brain cap from open-source hardware — Altium conversion, BOM sourcing, PCB fab, assembly, firmware flash
openscad-bci-hardware
Parametric OpenSCAD models for BCI electrode holders, paste adapters, headset hooks, pogo combs, fNIRS housings, and eurorack frames. Use when designing, modifying, or 3D-printing brain-computer interface hardware.
ordered-locale-fanout
UPDATED: Now uses proper ordered-locale (Heunen-van der Schaaf 2024). Cocone construction over triadic ordered locale with open cone condition.
ordered-locale
Ordered Locales (Heunen-van der Schaaf 2024): Point-free topology with direction. Frame + compatible preorder with open cone conditions.
org-babel-execution
Literate programming execution engine via org-babel for polyglot skill execution
org
Org-mode manual (25K lines info).
osm-topology
OSM Topology Skill
ossfuzz
Integration with OSS-Fuzz for continuous fuzzing.
owasp-security-check
Security audit guidelines for web applications and REST APIs based on OWASP Top 10 and web security best practices. Use when checking code for vulnerabilities, reviewing auth/authz, auditing APIs, or before production deployment.
own-goal
Save session goals to org files in the goals-*.org format. Auto-increments rank, classifies theme, writes org entry with properties and task checklist.
paperproof-validator
Formal Proof Visualization and Verification for Lean 4
parameter-dependent
Systems varying with external parameters
paypal-mcp
PayPal MCP server integration for invoices, payments, subscriptions, disputes, and transaction reporting via @paypal/mcp.
Comprehensive PDF manipulation toolkit for extracting text and tables,
pentest-exploit-validation
Proof-driven exploitation with 4-level evidence system, bypass exhaustion protocol, mandatory evidence checklists, and strict EXPLOITED/POTENTIAL/FALSE_POSITIVE classification.
performing-access-recertification-with-saviynt
Configure and execute access recertification campaigns in Saviynt Enterprise Identity Cloud to validate user entitlements, revoke excessive access, and maintain compliance with SOX, SOC2, and HIPAA.
performing-access-review-and-certification
Conduct systematic access reviews and certifications to ensure users have appropriate access rights aligned with their roles. This skill covers review campaign design, reviewer selection, risk-based p
mujoco-scenes
Package for creating different scenes in MuJoCo. Compose environments with objects, terrains, and obstacles for robot training.
multiversal-finance
Multiversal Finance: Prediction Markets for Interesting Observations
möbius-color-duality
Möbius inversion for Gay.jl color duality - closes sparsification spine gap
narya-hatchery
Narya Hatchery
narya-proofs
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.
naturality-factor
Naturality Factor Skill
nerv
NERV - Rapid LocalSend Test with Voice
Page 1018 of 1682 · 84057 results
