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.
git clone --depth 1 https://github.com/krokoko/cairnWrote 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/plugins/krokoko/cairn/software-verification)<a href="https://agentmods.dev/plugins/krokoko/cairn/software-verification"><img src="https://agentmods.dev/badge/plugins/krokoko/cairn/software-verification/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/plugins/krokoko/cairn/software-verification"><img src="https://agentmods.dev/badge/plugins/krokoko/cairn/software-verification.svg" alt="Reviewed on agentmods" width="80" height="20"></a>Grade A, and why
software-verification 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 1mo 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.
What it actually says
{
"$schema": "../../../schemas/plugin.schema.json",
"name": "software-verification",
"version": "0.5.0",
"description": "Design verification strategies that unlock higher levels of autonomous software development.",
"author": {
"name": "Alain Krok"
},
"keywords": ["verification", "testing", "formal-methods", "oracles", "strategy"],
"license": "Apache-2.0",
"homepage": "https://github.com/krokoko/cairn",
"repository": "https://github.com/krokoko/cairn"
}
What it installs
The manifest is a name and a version. 3 skills travel with it, and installing the plugin installs all of them — 228 tokens a session between them. Each is measured on its own page, and each can be installed alone.
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.
- 1mo ago First seen · 14 lines scan A 50fe8882df58
software-verification is a plugin published in the GitHub repository krokoko/cairn (17 stars, last pushed 5d ago), licensed Apache-2.0. Its token cost is not measured: this kind of file is read by the harness, not the model. 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-08-30.
Other plugins, from other repositories
nightshift
Keep long Claude Code runs on task: enforce the punch list, park questions, recover crashes, run product or quality shifts until done, and leave a receipt for every item with its tokens and time.
agents-meet-rl
Troubleshooter + machine-readable corpus for reinforcement-learning training, evaluation, and experiment design on LLM agents (single/multi-agent, multi-turn, tool-augmented). Distilled from the AgentsMeetRL awesome list (378 projects).
superstack
An agent-based software-development system that guides work from a short request to a tested, demonstrated piece of software. It uses checkpoints for planning and verification and explains conclusions in plain language.
exosuit
Suit up. Build anything. A full engineering organization for Claude Code — deep idea interrogation, TDD sprints, enforced quality gates. 43 skills, 8 agents, 13 hooks, path-scoped rules.
cc-autopilot
Autonomous judge agents fix your app's debt, build what's missing, and verify every change through a browser or gate suite before it lands, then find the next thing and keep going until you say stop. Each fixer owns a file-disjoint slice of the tree, so no two can ever collide, and nothing unverified reaches git. A…
humanizer
Rewrite AI-sounding text so it reads like the writer without changing what it says.