How does it detect data leaks?

The skill includes a non-leakage verifier that automatically scans event content for sensitive PII patterns such as email addresses, SSNs, credit card numbers, and API keys.

Can I use this for production audits?

Yes, Narya Proofs generates SHA-256 proof bundles and Merkle-root certificates that serve as immutable, mechanically checked audit trails for distributed systems.

What are GF(3) conservation laws?

GF(3) conservation refers to a triadic mathematical balancing system used to ensure that workflow transitions remain coherent and follow specified invariants within a closed context.

What log format does it support?

The skill is optimized for JSONL (JSON Lines) logs, where each line represents a discrete event containing IDs, timestamps, and state transition data.

What is Narya Proofs?

Narya Proofs is a specialized formal verification skill for Claude Code that analyzes event logs to ensure system consistency, mathematical correctness, and security compliance.

Narya Formal Proofs

Name: Narya Formal Proofs
Author: plurigrid

byplurigrid

•

보안 및 테스팅

Mechanically verifies event-sourced systems by generating cryptographic proof certificates for consistency, determinism, and data integrity.

The Narya Proofs skill provides a robust formal verification framework for event-sourced systems using JSONL interaction logs. By implementing four distinct verifiers—Queue Consistency, Replay Determinism, Non-Leakage, and GF(3) Conservation—it ensures that system invariants hold true across distributed environments. It is an essential tool for developers needing to maintain strict audit trails, detect PII leaks in event logs, and prove the mathematical correctness of state transitions through SHA-256 Merkle-root certificates.

주요 기능

01Cryptographic proof generation via SHA-256 Merkle roots

02CLI integration for rapid verification and ASCII reporting

032 GitHub stars

04Mathematical GF(3) conservation verification for state transitions

05Deterministic replay checking to ensure execution consistency

06Automated PII and secret detection in event content

사용 사례

01Auditing distributed event-sourced systems for data integrity

02Detecting accidental PII leaks in high-volume logging environments

03Formal verification of complex state-machine transitions and queue logic

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