x07-lint-repair

Use this skill when an X07 file fails linting and the agent needs a repeatable converge loop.

Safety Notice

This listing is imported from skills.sh public index metadata. Review upstream SKILL.md and repository scripts before running.

Copy this and send it to your AI assistant to learn

Install skill "x07-lint-repair" with this command: npx skills add x07lang/x07-website/x07lang-x07-website-x07-lint-repair

x07-lint-repair

Use this skill when an X07 file fails linting and the agent needs a repeatable converge loop.

Note: x07 run , x07 build , and x07 bundle run the same auto-repair loop by default (--repair=... ). Use this skill when you want raw diagnostics or tighter control.

Canonical converge loop

Lint (machine-readable JSON report):

  • x07 lint --input src/main.x07.json --json

Apply tool-provided quickfixes (when diagnostics include JSON Patch quickfixes):

  • x07 fix --input src/main.x07.json --write --json

If a custom fix is needed, apply an explicit JSON Patch (RFC 6902):

  • x07 ast apply-patch --in src/main.x07.json --patch /tmp/repair.patch.json --validate

Canonicalize after patching:

  • x07 fmt --input src/main.x07.json --write --json

Repeat (max 3 iterations). If still failing, stop and change strategy (reduce scope, regenerate the x07AST cleanly, or ask for clarification).

Related:

  • If the failure came from x07 test --pbt (a counterexample repro), use x07 fix --from-pbt <repro.json> --write to generate a deterministic regression test.

Source Transparency

This detail page is rendered from real SKILL.md content. Trust labels are metadata-based hints, not a safety guarantee.

Related Skills

Related by shared tags or category signals.

Automation

x07-agent-playbook

No summary provided by upstream source.

Repository SourceNeeds Review
General

x07-os-run

No summary provided by upstream source.

Repository SourceNeeds Review
General

x07-package

No summary provided by upstream source.

Repository SourceNeeds Review
General

x07-test

No summary provided by upstream source.

Repository SourceNeeds Review