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 frenzymath/Archonnpx agentmods add plugins/frenzymath/archon/lean4git clone --depth 1 https://github.com/frenzymath/ArchonGrade A, and why
lean4 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 2d 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
{
"name": "archon-lean4",
"version": "4.4.0",
"description": "Archon's modified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — forked from cameronfreer/lean4-skills",
"author": {"name": "Cameron Freer", "email": "[email protected]"}
}
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.
- 2d ago First seen · 7 lines scan A 5d55e02656b7
lean4 is a plugin published in the GitHub repository frenzymath/Archon (212 stars, last pushed 15d 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
taskflow
Plugin marketplace listing 2 plugins: taskflow, claude-taskflow.
taskflow
Declarative, verifiable DAG orchestration for Claude Code subagents — fan-out, gates, loops, tournaments, approvals, resumable runs, and saveable commands, with intermediate transcripts kept out of your context.
forkmind
Local-first LLM branching, debugging & context offloading. Treat AI context windows like a Git repo — capture, branch, regression-test LLM calls as a DAG, and archive context as encrypted, restorable capsules. Teaches Claude when and how to drive ForkMind.
forkmind
Local-first LLM branching & debugging tool for Claude Code. Treat AI context windows like a Git repo.
wisp-local
Plugin marketplace listing 1 plugin: wisp.
wisp
Visual team-builder, plan-as-artifact, and live execution graph for autonomous Claude Code agent crews with WISP. Spawn a 3-role team, generate a DAG plan, run for hours, watch it ship in your browser.