Refactor GRACE 4 governed code while keeping .grace graph, verification, change scopes, and file-local anchors synchronized.
The English summary is being prepared. Showing the original description.
See how to installReview the instructions the agent will receive before you install.
<must_do>
M-*, DF-*, and V-M-* anchors through .grace/graph/index.xml and .grace/verification/index.xml..grace/changes for scope overlap before editing.LINKS:, module contracts, function contracts, and semantic blocks.grace lint --path <project-root> when available.
</must_do>
</skill>
No reviews yet. Tell others what you thought.
No login needed. Share how it worked for you, ask a question, or note where it did not run.
No comments yet. Be the first to write one.
Answer questions about a GRACE 4 project by navigating .grace current-state artifacts and file-local semantic markup.
The English summary is being prepared. Showing the original description.
Operate the GRACE 4 CLI for .grace linting, status, module navigation, verification navigation, and file-local semantic markup.
The English summary is being prepared. Showing the original description.
Execute an approved GRACE 4 GraceChangePlan in sequential or parallel-safe mode with recovery-aware preflight and centralized durable apply.
The English summary is being prepared. Showing the original description.
Explain GRACE 4 methodology, .grace artifacts, semantic anchors, change lifecycle, verification, and migration boundaries.
The English summary is being prepared. Showing the original description.
Debug and fix issues in a GRACE 4 project using .grace semantic navigation, assertions, and verification evidence.
The English summary is being prepared. Showing the original description.
Bootstrap a Full GRACE 4 project by creating the canonical .grace context, graph, verification, and changes skeleton.
The English summary is being prepared. Showing the original description.