spectral-gap-analyzer
Installation
SKILL.md
Spectral Gap Analyzer
Category: Theorem Prover Health Monitoring Type: Graph Analysis + Linear Algebra Language: Julia Status: Production Ready Version: 1.0.0 Date: December 22, 2025
Overview
Measures proof system health via Laplacian eigenvalue gap analysis. Computes the spectral gap λ₁ - λ₂ of proof dependency graphs to identify optimal connectivity (Ramanujan property) vs. tangled dependencies.