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/jpablo/vibe-typesWrote 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/jpablo/vibe-types/plugin)<a href="https://agentmods.dev/plugins/jpablo/vibe-types/plugin"><img src="https://agentmods.dev/badge/plugins/jpablo/vibe-types/plugin/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/jpablo/vibe-types/plugin"><img src="https://agentmods.dev/badge/plugins/jpablo/vibe-types/plugin.svg" alt="Reviewed on agentmods" width="80" height="20"></a>Grade A, and why
vibe-types 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
{
"name": "vibe-types",
"version": "1.1.0",
"description": "Type system constraint guides for Python, Rust, Scala 3, Lean 4, and TypeScript — maps language features to the constraints they enforce at check/compile time",
"author": {
"name": "jpablo"
},
"repository": "https://github.com/jpablo/vibe-types",
"license": "Apache-2.0",
"keywords": ["python", "rust", "scala3", "lean", "typescript", "types", "typing", "type-safety", "skills"]
}
What it installs
The manifest is a name and a version. 7 skills travel with it, and installing the plugin installs all of them — 882 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 · 12 lines scan A 94d89b3f71e1
vibe-types is a plugin published in the GitHub repository jpablo/vibe-types (41 stars, last pushed 2mo 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
rust-learner
Learn Rust language features and crate updates using Actionbook + agent-browser.
python-exercise-generator-skill
Python coach: exercise generator & checker with hints function (RU).
rust-exercise-generator-skill
Rust coach: exercise generator & checker with hints function (RU).
pykx-knowledge
KDB-X Python (pykx) workflows — using kdb+/q from Python, conversions between Python and q types, and KDB-X Python API guidance.
oat-publish-python
Python release management: cleanup, version bump, uv build, GitHub release, publish monitoring.
coding
Programming skills: Python, TypeScript, FastAPI, Postgres, coding guidelines, and more.