v0.13.0 — revise_proposal tool
New
revise_proposaltool — Submit revised proposals on existing issues after receiving REVISE or REJECT feedback. Formats the## Revised Submissioncomment automatically and posts via the new/propose/commentproxy endpoint.check_proposalsenhancement — Now suggestsrevise_proposal()when the verdict is REVISE or REJECT.
Details
Closes the revision loop for MCP users: propose_term → check_proposals → revise_proposal → check_proposals.
Tool count: 19 → 20.