How does this skill detect PII leaks?

The non-leakage verifier scans event content for patterns matching emails, SSNs, credit card numbers, and credentials to prevent sensitive data from entering log streams.

What are Narya event logs?

Narya event logs are JSONL-formatted interaction logs that capture system state transitions, including event IDs, timestamps, and context-specific data used for mechanical verification.

What is GF(3) conservation in this context?

It is a mathematical verification method ensuring that workflow effects (categorized as -1, 0, or +1) sum to zero (mod 3), guaranteeing logical balance and state integrity in complex system transitions.

Can I use this for regulatory audit trails?

Yes, the skill generates SHA-256 Merkle-based proof certificates that serve as immutable evidence of system consistency and adherence to formal invariants.

Narya Event Proofs

Name: Narya Event Proofs
Author: plurigrid

byplurigrid

•

セキュリティとテスト

Generates mechanically verified cryptographic proofs and audit trails for event-sourced systems to ensure consistency, security, and deterministic replay.

Narya Event Proofs provides a robust framework for formal verification of event-sourced architectures using JSONL interaction logs. By implementing four specialized verifiers—queue consistency, replay determinism, non-leakage (PII detection), and GF(3) conservation—it generates cryptographic proof certificates that validate system invariants. This skill is essential for developers building high-integrity distributed systems that require rigorous audit trails, deterministic state transitions, and mathematical proof of state conservation throughout the system lifecycle.

主な機能

01Automated PII and secret leakage detection within event content schemas

02Queue consistency validation via commuting diagram checks and Cech cohomology

03Mechanically verified cryptographic proof generation with SHA-256 Merkle roots

04Deterministic replay verification to ensure consistent state across distributed nodes

058 GitHub stars

06GF(3) triadic conservation monitoring for complex workflow balance and invariants

ユースケース

01Generating immutable audit trails for regulated financial or data-sensitive event systems

02Ensuring PII compliance by scanning event logs for sensitive data leaks before archiving

03Verifying the integrity and determinism of event-driven microservices during CI/CD pipelines

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi narya-proofs

For use in Claude.ai and ChatGPT

Download Skill