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 agentmods add plugins/justincasher/lean-explore/marketplace/plugin marketplace add justincasher/lean-exploregit clone --depth 1 https://github.com/justincasher/lean-exploreGrade A, and why
lean-explore 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 today.
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": "lean-explore",
"owner": {
"name": "Justin Asher",
"email": "[email protected]"
},
"description": "Plugins for searching Lean 4 declarations with LeanExplore.",
"plugins": [
{
"name": "lean-explore",
"source": "./plugins/lean-explore",
"description": "Search Lean 4 declarations through the hosted LeanExplore MCP server.",
"version": "0.1.0"
}
]
}
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.
- today First seen · 17 lines scan A d15e0751ceb5
lean-explore is a plugin published in the GitHub repository justincasher/lean-explore (76 stars, last pushed 29d 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-09-01.
Other plugins, from other repositories
moraine
Claude Code plugin for Moraine MCP session search, realtime agent awareness, and sanitized bug reports.
classifier
Text classification CLI using Bayesian, LSI, KNN, Logistic Regression, and TF-IDF algorithms.
public-apis-live
Discover working public APIs for any task, with their real endpoints. Auto-verified, refreshed daily.
mixedbread-skills
Plugin marketplace listing 5 plugins: mxbai-cli, mixedbread-search, mixedbread-parsing, mixedbread-search-agent, mixedbread-search-agent-harness.
scholar-feed
Scholar Feed: research-paper search and literature-review tools for Claude Code.
tray-api
Plugin completo para integração com as APIs da Tray. Acelera o desenvolvimento de aplicativos e-commerce por parceiros e comunidade na plataforma Tray, fornecendo documentação detalhada de todos os endpoints, fluxos de autenticação OAuth, webhooks e boas práticas de integração.