Getting started

Introduction Installation Quickstart Editors & LSP Mediva CI FAQ

Core concepts

Contracts Tags & rules Strictness Severity overrides Frontmatter Evidence lists Grounded templates

Tags

section list table code line media document front

Presence

Length

content.words content.links items

Forbidden text

Shape & masks

content.mask content.lead.mask content.eq content.blocks.has content.unlike heading title label lang

Lists & checkboxes

checked items.all labels.eq numbered

Tables

Structure

Section structure headings

Evidence & grounding

content.entities content.claims content.quotes content.refs content.dates content.scan issue context.has items.covers

Contract settings

Under review

content.sentences @glossary @markers @numbers @tables @lists/timeline @sets/required

Reference

All rules Diagnostics Cheatsheet Glossary

CLI

mdv mdv check mdv fix mdv init mdv explain mdv render mdv sources mdv lsp mdv debug Configuration

Integrations

TypeScript API Authoring plugins Starter contracts Terminology

Recipes

Gate PR bodies Validate LLM output before persisting Gate issue forms Enforce CHANGELOG entries Validate docs across a monorepo Check Markdown before every commit Validate a status table Enforce Architecture Decision Records Keep Runbooks Executable

Specification

Specification Core specification Conformance scenarios

Bench

Markdown Crimes

Starter contracts

Starters and template packs are being rebuilt on the new syntax; until then, write the contract by hand.

Starter contracts and template packs are being rebuilt on the new syntax, so mdv init <starter> is unavailable for now.

Until then, write an X.mdv.md contract beside X.md. See the quickstart and Contracts.

Authoring plugins

Add namespaced rules, diagnostics, and leaf tags to mediva without forking it — package them as a plugin.

Terminology

Ground your docs' vocabulary — glossary-backed lexicon rules over the same source layer as every other grounded check.