Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx skills add plurigrid/asi --skill continuous-invertergit clone --depth 1 https://github.com/plurigrid/asiWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/plurigrid/asi/continuous-inverter)<a href="https://agentmods.dev/skills/plurigrid/asi/continuous-inverter"><img src="https://agentmods.dev/badge/skills/plurigrid/asi/continuous-inverter/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/plurigrid/asi/continuous-inverter"><img src="https://agentmods.dev/badge/skills/plurigrid/asi/continuous-inverter.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00000 | $0.00619 |
| Opus 5 | $0.00000 | $0.00309 |
| Sonnet 5 | $0.00000 | $0.00124 |
| Haiku 4.5 | $0.00000 | $0.00062 |
Grade A, and why
continuous-inverter scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 6d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 108 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Continuous Inverter
Category: Real-Time Monitoring + CI/CD Type: Automated Measurement + Remediation Language: Julia Status: Production Ready Version: 1.0.0 Date: December 22, 2025
Overview
Real-time monitoring and automated remediation for proof system health. Runs on every commit to measure spectral gap across all 6 theorem provers in parallel, generates GitHub Actions CI/CD workflows, and provides automated suggestions when system health degrades.
Key Data Structures
struct CommitMetadata
commit_hash::String
timestamp::Float64
author::String
files_changed::Int
gap_before::Dict{String, Float64}
gap_after::Dict{String, Float64}
end
struct CommitAnalysis
commits::Vector{CommitMetadata}
trend::String
violations::Int
recommendation::String
end
Key Functions
analyze_commit(commit_hash): Measure gap before/aftercheck_all_provers(files): Parallel analysis across 6 proversgenerate_remediation_suggestions(gap_before, gap_after): Automated advicegenerate_ci_cd_template(): GitHub Actions workflow YAMLgenerate_monitoring_dashboard(): Trend visualization
Supported Provers
- Dafny
- Lean 4
- Stellogen
- Coq
- Agda
- Idris
Remediation Strategy
Alternating Möbius Weights for Resonance Patterns
When gap declines:
- Identify which prover degraded
- Run möbius_filter to find tangled paths
- Apply safe_rewriting recommendations
- Re-measure gap across all provers
- Deploy changes via CI/CD
Usage
using ContinuousInversion
# On every commit:
gap_after = compute_prover_gap(proofs)
# If gap < 0.25:
suggestions = suggest_remediation(prover, gap_before, gap_after)
# Generate CI/CD workflow:
yaml = generate_ci_cd_template()
Integration Points
- GitHub Actions continuous deployment
- Per-prover parallel checking
- PR automation with gap status comments
- Artifact upload for compliance tracking
Performance
What ships with it
1 file beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 6d ago First seen · 108 lines · 0 tokens per session scan A 90d47102bd47
continuous-inverter is a skill published in the GitHub repository plurigrid/asi (62 stars, last pushed 2mo ago), licensed MIT. It costs nothing until one of its globs matches a file; then it loads 619 tokens. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-09-03.
Other skills, from other repositories
import-prom-rule
Bulk import of a Prometheus alert rule YAML file (create a whole set of rules at once). Dedicated to handling a remote URL or local YAML text, automatically parsing the three formats groups / a plain rules array / a single rule. ⚠️ Do not use this skill for single-rule creation — when the user describes a single alert…
chinese-git-workflow
A reference for configuring Git with Chinese code-hosting services such as Gitee, Coding.net, GitLab China, and CNB, including SSH, HTTPS, credentials, CI, and repository mirroring.
configure-env-variables
Configures environment variables for Power Pages site settings to support ALM across environments. Creates environment variable definitions in Dataverse, guides the user through linking site settings to those variables via the Power Pages Management app, adds the variables to the solution, and generates a…
atmos-profiles
Atmos profiles: profile directories, --profile and ATMOSPROFILE activation, profile merge behavior, environment switching, and routing profile-specific auth/toolchain/config overrides.
webhook-management
Configure and validate CCAM webhook targets across supported chat, incident, automation, and generic providers. Use when listing provider requirements, creating or updating a target, scoping it to alert rules, sending a test notification, reviewing delivery history, or deleting a target.
monorepo-management
Master monorepo management with Turborepo, Nx, and pnpm workspaces to build efficient, scalable multi-package repositories with optimized builds and dependency management. Use when setting up monorepos, optimizing builds, or managing shared dependencies.