lean-doc-feedback

Flag undefined terms and score readability in Lean documentation drafts.

2|Updated May 26, 2026
One-click install
npx skills add https://github.com/r-irbe/proof-skills --skill lean-doc-feedback
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: lean-doc-feedback
Source: https://github.com/r-irbe/proof-skills/tree/main/skills/lean-doc-feedback
Command: npx skills add https://github.com/r-irbe/proof-skills --skill lean-doc-feedback

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

The workflow helps reviewers identify undefined terms, suggest cross-links to blueprint nodes, and score readability against a project rubric to improve Lean documentation drafts.

Core Features & Use Cases

  • Flag undefined terms and ambiguities in drafts.
  • Suggest cross-links to blueprint nodes to improve navigability.
  • Score readability and compliance with the rubric, guiding targeted improvements.
  • Respect revision boundaries: do not rewrite prose end-to-end; trigger dedicated improvement workflows instead.

Quick Start

Review a Lean draft and provide line-anchored feedback aligned to the rubric.

Frequently Asked Questions about lean-doc-feedback

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

FAQPage Schema
How do I review Lean documentation drafts for undefined terms and readability?

To review Lean documentation drafts, you can apply a rubric-based approach that identifies undefined terms, suggests cross-links to blueprint nodes, and scores readability. This provides line-anchored feedback to guide targeted improvements without rewriting prose end-to-end.

What is the best way to score documentation readability against a project rubric?

Scoring documentation readability against a project rubric involves evaluating the draft for clarity and compliance, flagging ambiguities, and mapping issues directly to rubric criteria. This generates line-anchored feedback and minimal-diff suggestions for targeted improvements.

How do I suggest cross-links to blueprint nodes in API references and policy docs?

To suggest cross-links to blueprint nodes in API references and policy docs, annotate the draft to improve navigability. The process identifies relevant connection points and provides line-anchored feedback, ensuring minimal-diff suggestions without performing end-to-end edits.

Can I use rubric-based feedback for domain handbooks without rewriting the entire prose?

Yes, rubric-based feedback for domain handbooks respects revision boundaries by providing line-anchored annotations and minimal-diff suggestions. It explicitly maps issues to a rubric and triggers dedicated improvement workflows instead of performing end-to-end prose rewrites.

Does this documentation review approach work for policy docs, API references, and domain handbooks?

Yes, this documentation review approach applies to policy docs, API references, and domain handbooks. It flags undefined terms, suggests cross-links to blueprint nodes, and scores readability against a rubric to improve clarity across these Lean documentation formats.