lab-tools
16
acset-superior-measurement
Measure ACSets better than authors via surjectivity gadgets, Betti numbers, Möbius classification, and p-adic ultrametric distance
plurigrid
research
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
lab-tools
16
iso-13485-certification
Comprehensive toolkit for preparing ISO 13485 certification documentation for medical device Quality Management Systems. Use when users need help with ISO 13485 QMS documentation, including (1) conducting gap analysis of existing documentation, (2) creating Quality Manuals, (3) developing required procedures and work instructions, (4) preparing Medical Device Files, (5) understanding ISO 13485 requirements, or (6) identifying missing documentation for medical device certification. Also use when users mention medical device regulations, QMS certification, FDA QMSR, EU MDR, or need help with quality system documentation.
plurigrid
research
lab-tools
16
jepsen-testing
Jepsen-style correctness testing for distributed systems under faults (partitions, crashes, clock skew) using concurrent operation histories and formal checkers (linearizability/serializability and Elle-style anomalies). Use when designing, implementing, or running Jepsen tests, or interpreting histories/violations.
plurigrid
research
lab-tools
16
ikea-varmblixt-smart-lamp
IKEA VARMBLIXT smart donut lamp (Matter over Thread). Use when pairing, factory resetting, troubleshooting, configuring, or integrating the VARMBLIXT with Apple Home, Google Home, Amazon Alexa, SmartThings, Home Assistant, or other Matter ecosystems. Covers BILRESA remote, wall mounting, color quirks.
plurigrid
research
lab-tools
16
lean4-music-topos
Formal verification of music topos theorems - spectral gaps, CRDT correctness, color harmony, preference learning
plurigrid
research
lab-tools
16
rf-signal-analysis
Analyze wireless and radio frequency security in applications, protocols, and hardware. Covers WiFi, Bluetooth/BLE, RFID/NFC, Zigbee, LoRa, cellular, and SDR-based analysis. Use when auditing IoT devices, wireless protocols, access control systems, or any RF-enabled infrastructure.
plurigrid
research
lab-tools
16
spectral-gap-analyzer
Measures proof system health via Laplacian eigenvalue gap analysis.
plurigrid
research
lab-tools
16
self-improvement
Captures learnings, errors, corrections for continuous improvement.
xyva-yuangui
research
lab-tools
16
openspec-archive-change
Archive a completed change in the experimental workflow. Use when the user wants to finalize and archive a change after implementation is complete.
cp-yu
research
lab-tools
16
continuous-inverter
Real-time monitoring and automated remediation for proof system health.
plurigrid
research
lab-tools
16
otel-go-reviewer
Review pull requests, diffs, patches, or design proposals for the open-telemetry/opentelemetry-go repository with a senior maintainer mindset. Use when changes in opentelemetry-go may affect OpenTelemetry specification compliance, repository contribution rules, changelog requirements, module versioning boundaries, API or telemetry compatibility, performance-sensitive paths, concurrency or lifecycle behavior, or test coverage.
flc1125
research
lab-tools
16
ab-test-setup
When the user wants to plan, design, or implement an A/B test or experiment. Also use when the user mentions "A/B test," "split test," "experiment," "test this change," "variant copy," "multivariate test," or "hypothesis." For tracking implementation, see analytics-tracking.
eddiebelaval
research
lab-tools
16
collecting-volatile-evidence-from-compromised-host
Collect volatile forensic evidence from a compromised system following order of volatility, preserving memory, network connections, processes, and system state before they are lost.
plurigrid
research
lab-tools
16
performing-mobile-device-forensics-with-cellebrite
Acquire and analyze mobile device data using Cellebrite UFED and open-source tools to extract communications, location data, and application artifacts.
plurigrid
research
lab-tools
16
nhero-scramble
Derangement-based medication name scrambling for nhero. No medication maps to its own initial letter. Full derangement with GF(3) conservation. Append-only index — medications can be added but never removed from the scramble table.
plurigrid
research
lab-tools
16
performing-indicator-lifecycle-management
Indicator lifecycle management tracks IOCs from initial discovery through validation, enrichment, deployment, monitoring, and eventual retirement. This skill covers implementing systematic processes f
plurigrid
research
lab-tools
16
nhero-confidential
Twisted ElGamal encrypted supply tracking on Aptos for nhero devices. ZK range proofs verify supply sufficiency without revealing counts. Nurse auditor key model. Uses @aptos-labs/confidential-assets SDK.
plurigrid
research
lab-tools
15
ibm-sg-numbers-and-measurement
Review documentation for IBM Style Guide number and measurement formatting — numerals vs. spelled-out numbers, commas in large numbers, currency codes (USD/EUR), date formats, 24-hour time, units of measurement (KB/MB/GB with spaces), IEC binary prefixes (KiB/MiB/GiB), and phone numbers. Use this skill when checking number formatting, date/time consistency, unit abbreviations, or measurement conventions in documentation.
redhat-documentation
research
lab-tools
15
garbage-collector-implementer
Implements tracing garbage collectors. Use when: (1) Building language runtimes, (2) Learning memory management, (3) Optimizing memory allocation.
rainoftime
research
lab-tools
15
test-battery
Fire-and-forget orchestrator test battery. Interactive wizard sets up a cron-driven orchestrator pipeline, triggers the first tick, and exits. Use '/gobby test-battery cleanup' to finalize after completion.
GobbyAI
research
lab-tools
15
bubbaloop-physical-ai
Manage physical sensors, cameras, and actuators via the bubbaloop skill runtime. Query real-time sensor data, control node lifecycle, and monitor hardware health.
kornia
research