report-export

Export generated .marvin/ reports to PDF-ready HTML or Markdown digests using a print-quality template.

Updated Apr 16, 2026
One-click install
npx skills add https://github.com/real-case/marvin-toolkit --skill report-export-real-case
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: report-export
Source: https://github.com/real-case/marvin-toolkit/tree/main/plugins/marvin/skills/report-export
Command: npx skills add https://github.com/real-case/marvin-toolkit --skill report-export-real-case

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve? Reports generated during a session (security scans, verification results, task specs, handoffs) live as Markdown files under .marvin/ and are hard to share with people outside the terminal. This Skill converts any of those reports into a shareable artifact — a print-ready HTML document for PDF export or a Markdown digest — without any server-side rendering. ## Core Features & Use Cases - Multi-format export: Produce a standalone HTML document (print to PDF via the browser) or a Markdown digest from any report under .marvin/. - Template-driven rendering: Fill a shipped, self-contained template styled on the widget theme, with cookbook sections for findings, checks, and document report kinds. - Provenance tracking: Every export carries Source, Command, Generated, Exported, and Marvin version metadata. - Use Case: After running a security scan, ask to export the scan report as a PDF; the Skill resolves the report via the report MCP tool, fills the findings template with severity-grouped results, and writes a self-contained HTML file to .marvin/export/ ready for browser printing. ## Quick Start Ask the assistant to export the latest security scan report to PDF using the report-export skill.

Frequently Asked Questions about report-export

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I export a security scan report to PDF?▼

Ask to export the report to PDF; the Skill resolves the report via the marvin report MCP tool, fills the shipped HTML template, and writes a self-contained .html file to .marvin/export/. Open it in any browser and use Print → Save as PDF with background graphics enabled.

What report formats can be exported from .marvin/ files?▼

Three formats are supported: pdf (a filled HTML document you print to PDF), html (the same document as the final artifact), and md (a Markdown digest). The Skill handles findings, checks, and document report kinds.

Does the export require a server or external rendering service?▼

No. The export is generated entirely in-session from a shipped template under a template-only architecture (ADR-0033). Nothing renders server-side, and the HTML output is fully self-contained with no scripts, external stylesheets, or remote assets.

Where are exported reports saved and are they versioned?▼

Exports are written to .marvin/export/ named by group and source basename. On first use the directory is created with a .gitignore containing *, so exports are treated as derived, shareable artifacts and never versioned.

What happens if the report reference is ambiguous or missing?▼

The Skill lists all generated reports via the report MCP tool and asks which one to export. If the tool is unavailable, it reads the .marvin/ families directly (security, refactor, task, handoff, critique) and matches by filename or title.