Pick a template. Watch the ink talk back.

Each example pairs an .mdv.md contract with a typically-broken document. Everything runs in your browser with the real mediva library — edit either side and the findings update on every keystroke.

agent-pr.mdv.mdthe contract

<!-- mdv: section required minWords=20 noPlaceholder -->
## Summary
Describe what changed, why it changed, and the user-visible impact.
<!-- mdv: endsection -->

<!-- mdv: taskList required allChecked exactLabels -->
## Checklist
- [ ] Tests added or updated
- [ ] Docs updated
- [ ] Screenshots or output attached
<!-- mdv: endtaskList -->

document.mdwhat gets checked — edit me

## Summary
TODO: it works

## Checklist
- [x] Tests added or updated
- [ ] Docs updated
- [x] Ship it

$ mediva check document.md

3 errors2 warnings

Click a finding to jump to its line. Deterministic — no LLM, no network; this is the same compile().validate() your CI runs.