catalog / engines

PDF Renderer

Draw a PDF faithfully, quickly, and without trusting its contents.

18 capabilities 1 sections reference specification

Build against it

# give your agent the catalog — no account, no install
claude mcp add provespec -- npx -y provespec-mcp

# then, from any agent session
spec_get(slug: "pdf-renderer")                → the capability tree
spec_checklist(slug: "pdf-renderer")          → the questions to answer
spec_grade(slug: "pdf-renderer", grades: [...])  → parity % + the gap list

# or just fetch it
curl https://provespec.com/catalog/pdf-renderer/spec.json

Grade every capability below as yes · partial · no · na, with a file reference as evidence. Whatever you leave ungraded counts as missing — the gap list is the work queue.

Or just paste this to your agent

Use the ProveSpec MCP server. Fetch the "pdf-renderer" spec with
spec_get, then walk spec_checklist and grade this repository against it —
one verdict per capability, each with a file reference as the note.
Call spec_grade with the results and give me the gap list as the plan.

If the server is not registered, add it first:
  claude mcp add provespec -- npx -y provespec-mcp

The specification

AI 18

Parse
  • Document structure: catalog, pages, resources
  • Cross-reference tables and streams, including damaged files reconstruct rather than fail
  • Object streams and compression filters Flate, LZW, DCT, JBIG2
  • Encrypted documents with a password
Text
  • Embedded font programs rendered Type1, TrueType, CFF
  • CID and CJK fonts with correct encoding
  • Text extraction with reading order and positions
Graphics
  • Paths, fills, strokes, clipping
  • Transparency groups, blend modes, soft masks where most renderers diverge
  • Colour spaces including ICC and separation
  • Shadings and tiling patterns
Interactive
  • Annotations and form fields rendered
  • Fill and flatten form values
  • Outlines, links and destinations
Safety
  • JavaScript and external references disabled by default PDF is an attack surface
  • Resource limits guard against decompression bombs
Performance
  • Progressive page rendering and page-level caching
Output
  • Raster at a chosen DPI, and print-ready output
Download spec.json All 85 specs