Which theorem provers does Continuous Inverter support?

Continuous Inverter supports six major provers in parallel: Dafny, Lean 4, Stellogen, Coq, Agda, and Idris.

Can I integrate this with GitHub Actions?

Yes, the skill includes a specific function to generate GitHub Actions YAML templates, making it easy to add spectral health checks to any repository.

How does it handle proof system degradation?

It identifies the specific prover that degraded, runs a Möbius filter to find tangled paths, and provides automated safe-rewriting recommendations to restore the spectral gap.

What is the performance impact on my CI/CD pipeline?

The tool is highly optimized, with commit analysis taking less than 1 second and total CI/CD latency typically under 5 seconds.

What is measured by the spectral gap?

In this context, the spectral gap represents a metric of proof system resonance and health, used to detect when code changes have negatively impacted the formal verification structure.

Continuous Inverter

Name: Continuous Inverter
Author: plurigrid

byplurigrid

•

Analytics & Monitoring

Monitors and remediates formal proof system health by measuring spectral gaps across multiple theorem provers in real-time.

Continuous Inverter is a specialized tool for formal verification environments that automates the monitoring and remediation of proof system health. Built in Julia, it measures the spectral gap across six major theorem provers—including Lean 4, Coq, and Agda—in parallel on every commit. It provides a comprehensive suite for CI/CD integration by generating GitHub Actions workflows, visualizing health trends via dashboards, and offering automated remediation suggestions through alternating Möbius weights to resolve tangled proof paths and resonance patterns.

Key Features

01High-performance execution with under 5-second total latency

02Automated GitHub Actions CI/CD workflow generation

03Parallel spectral gap analysis across 6 major theorem provers

04Real-time remediation suggestions using Möbius inversion patterns

057 GitHub stars

06Comprehensive trend visualization and health dashboards

Use Cases

01Implementing automated remediation for proof degradation during active development

02Automating regression testing and health checks for theorem provers

03Maintaining stability in large-scale formal verification and topological codebases

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi continuous-inverter

For use in Claude.ai and ChatGPT

Download Skill