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.

主要功能

Cryptographic proof generation via SHA-256 Merkle roots
CLI integration for rapid verification and ASCII reporting
2 GitHub stars
Mathematical GF(3) conservation verification for state transitions
Deterministic replay checking to ensure execution consistency
Automated PII and secret detection in event content

使用场景

Auditing distributed event-sourced systems for data integrity
Detecting accidental PII leaks in high-volume logging environments
Formal verification of complex state-machine transitions and queue logic

关于

主要功能

Cryptographic proof generation via SHA-256 Merkle roots
CLI integration for rapid verification and ASCII reporting
2 GitHub stars
Mathematical GF(3) conservation verification for state transitions
Deterministic replay checking to ensure execution consistency
Automated PII and secret detection in event content

使用场景

Auditing distributed event-sourced systems for data integrity
Detecting accidental PII leaks in high-volume logging environments
Formal verification of complex state-machine transitions and queue logic