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.