Skills
.Work. You
Rest

spi-parallel-verify

Official

Verify SPI and GF(3) invariants.

Software Engineering#verification#parallel#spi#color-streams#gf3
Authorplurigrid
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Strong Parallelism Invariance (SPI) guarantees that deterministic color streams yield identical results under any computation order. This Skill verifies SPI and GF(3) conservation across sequential, reversed, shuffled, and parallel executions.

Core Features & Use Cases

  • SPI Invariance Checks: verify order-independence of color generation
  • GF(3) Conservation: ensure triplets sum to 0 mod 3
  • Parallel Execution Validation: multi-threaded verification
  • Lightweight Python reference implementation included

Quick Start

Run the verifier with a seed and a set of indices to confirm SPI holds across orders.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: spi-parallel-verify
Download link: https://github.com/plurigrid/asi/archive/main.zip#spi-parallel-verify

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.