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/OutlineDriven/odin-claude-pluginWrote 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/outlinedriven/odin-claude-plugin/odin-formal)<a href="https://agentmods.dev/plugins/outlinedriven/odin-claude-plugin/odin-formal"><img src="https://agentmods.dev/badge/plugins/outlinedriven/odin-claude-plugin/odin-formal/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/outlinedriven/odin-claude-plugin/odin-formal"><img src="https://agentmods.dev/badge/plugins/outlinedriven/odin-claude-plugin/odin-formal.svg" alt="Reviewed on agentmods" width="80" height="20"></a>Grade A, and why
odin-formal 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 29d 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": "https://json.schemastore.org/claude-code-plugin-manifest.json",
"name": "odin-formal",
"displayName": "ODIN Formal",
"version": "2.1.5",
"description": "ODIN workflows for formal methods: model checking, SMT solving, deductive verification, and proof assistants.",
"author": {
"name": "OutlineDriven",
"url": "https://github.com/OutlineDriven"
},
"homepage": "https://github.com/OutlineDriven/odin-claude-plugin",
"repository": "https://github.com/OutlineDriven/odin-claude-plugin",
"license": "SEE LICENSE IN LICENSE",
"keywords": [
"odin",
"outlinedriven",
"agent-skills",
"formal-methods"
]
}
What it installs
The manifest is a name and a version. 9 skills travel with it, and installing the plugin installs all of them — 431 tokens a session between them. Each is measured on its own page, and each can be installed alone.
- Skill rust-formal-verification A 51 tokens
- Skill smt-solving-with-z3-cvc5 A 47 tokens
- Skill writing-lean-proofs A 56 tokens
- Skill writing-tla-plus-specs A 52 tokens
- Skill writing-isabelle-proofs A 39 tokens
- Skill writing-rocq-proofs A 50 tokens
- Skill f-star-effectful-verification A 36 tokens
- Skill bounded-model-checking-c A 52 tokens
- Skill deductive-verification-with-dafny-and-why3 A 48 tokens
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.
- 29d ago Changed a3e5e1855859
- 1mo ago Changed 964567cd2dbc
- 1mo ago Changed c09673b3a8f5
- 1mo ago Changed 47163f2ee2e0
- 1mo ago First seen · 21 lines scan A 127ea524f985
odin-formal is a plugin published in the GitHub repository OutlineDriven/odin-claude-plugin (39 stars, last pushed 26d 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-06.
Other plugins, from other repositories
humanizer
Rewrite AI-sounding text so it reads like the writer without changing what it says.
claude-plugins-official marketplace
Directory of popular Claude Code extensions including development tools, productivity plugins, and MCP integrations.
nextjs
Official Next.js skills: adopt and optimize Cache Components, adopt Partial Prefetching, and verify runtime behavior against a running dev server.
themes-example
themes-example. An open-source AI agent that brings the power of Gemini directly into your terminal.
knowledge-work-plugins marketplace
Plugin marketplace listing 123 plugins: noibu, productivity, enterprise-search, cowork-plugin-management, sales.
superpowers
Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques.