← All skills

vdm-publication-bundle

95 / 100 · Low risk

Fine to try. Some of what it can do is expected: a coding skill usually runs build and test commands.

By justinlietz93/Perfect_Prompts (GitHub) · coding · 23 stars · scanned at commit ee649c7

Generate, audit, and validate complete VDM research bundles following theorem-bearing manuscript standards. Use this skill when the user wants to: create a research bundle, Lean4 package from formal claims, SymPy adversarial symbolic audit script, a skeptical-reviewer Jupyter notebook, score papers w/ CRAFT/BASS review metrics, audit burden coverage, generate SHA256 manifests, create figures following standards, scaffold a new Complete Formalism publication from claims, or check whether existin…

Works with any agent that supports SKILL.md skills.

What this skill can do

Install

Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.

if [ -e ~/.agents/skills/'vdm-publication-bundle' ] || [ -L ~/.agents/skills/'vdm-publication-bundle' ]; then echo 'A skill folder named vdm-publication-bundle already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/justinlietz93/Perfect_Prompts' "$d" && git -C "$d" checkout --quiet 'ee649c7a56c5a002f8d9be0d2ee78eb9168f90a5' -- 'Skills/rigorous_research' && mkdir -p ~/.agents/skills && cp -R "$d"/'Skills/rigorous_research' ~/.agents/skills/'vdm-publication-bundle' && rm -rf "$d"; fi

Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'vdm-publication-bundle' ~/.claude/skills/'vdm-publication-bundle' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.

Badge for your README

The badge for justinlietz93/Perfect_Prompts shows the score of its lowest-scoring skill.

[![SkillTrust](https://zalavijaysinh.github.io/skilltrust/badges/justinlietz93/Perfect_Prompts.svg)](https://zalavijaysinh.github.io/skilltrust/repos/justinlietz93/Perfect_Prompts/)

Score history