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.
/plugin marketplace add cboone/agent-harness-pluginsnpx agentmods add plugins/cboone/agent-harness-plugins/scaffold-lean-librarygit clone --depth 1 https://github.com/cboone/agent-harness-pluginsWrote 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/cboone/agent-harness-plugins/scaffold-lean-library)<a href="https://agentmods.dev/plugins/cboone/agent-harness-plugins/scaffold-lean-library"><img src="https://agentmods.dev/badge/plugins/cboone/agent-harness-plugins/scaffold-lean-library.svg" alt="Measured on agentmods" height="20"></a>Grade A, and why
scaffold-lean-library 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 yesterday.
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
{
"author": {
"name": "Christopher Boone"
},
"description": "Scaffold a Lean 4 library project with Mathlib or PFR dependencies, Lake test/lint wiring, GitHub Actions CI, text linting, and agent instructions.",
"homepage": "https://github.com/cboone/agent-harness-plugins",
"keywords": ["lake", "lean", "mathlib", "pfr", "scaffolding"],
"license": "MIT",
"name": "scaffold-lean-library",
"repository": "https://github.com/cboone/agent-harness-plugins",
"skills": "./skills",
"version": "1.0.1"
}
What it installs
The manifest is a name and a version. 1 skill travel with it, and installing the plugin installs all of them — 128 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.
- yesterday First seen · 14 lines scan A e6ad8fc3ad0c
scaffold-lean-library is a plugin published in the GitHub repository cboone/agent-harness-plugins (2 stars, last pushed 1mo ago), licensed MIT. 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-09-03.
Other plugins, from other repositories
lean4
Archon's modified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — forked from cameronfreer/lean4-skills.
powergridmodel
power-grid-model Python skill - high-performance steady-state distribution power system analysis: power flow, state estimation, and IEC 60909 short-circuit calculations with 22 component types and batch/parallel computation.
google-go-style
Skill that codifies the Google Go Style Guide into actionable rules for writing, reviewing, and refactoring Go code.
stata-c-plugins
Develop high-performance C/C++ plugins for Stata — SDK setup, .ado wrappers, cross-platform compilation, performance optimization, and Python/R package translation.
numerical
Numerical computing verification and optimization agent for Python/Dart ndarray, tensor, and scientific computing codebases.
nextjs
Official Next.js skills: adopt and optimize Cache Components, adopt Partial Prefetching, and verify runtime behavior against a running dev server.