cryptography commands

SkyShannonProver/shannon-prover

Command Claude Code

Prove an EasyCrypt lemma with Shannon Prover.

VeritasActa/verify

Command

Walk the receipt chain produced by the current session from tip to root, validating every previousReceiptHash link.

VeritasActa/verify

Command

Verify a single Ed25519 signed receipt produced by protect-mcp. Runs @veritasacta/verify offline against the file and reports exit code semantics.

kota1026/quantum-shield

Command Claude Code

A Codespaces command for starting a web application and checking its user interface in a browser. GitHub Codespaces is a cloud development environment, while PostgreSQL, Redis, and RabbitMQ are supporting services the application may need.

kota1026/quantum-shield

Command Claude Code

A command for starting phase 6 of a project workflow. It checks progress, finds the first unfinished screen, reads required design files, and verifies supporting infrastructure.

kota1026/quantum-shield

Command Claude Code

A command that commits current changes, pushes the branch, opens a GitHub pull request, merges it into the main branch, and updates local and Codespaces copies.