Skip to content

fix(grok): discover skills with grok inspect and fail workspace probes loudly - #225

Merged
leoisadev1 merged 5 commits into
mainfrom
leoisadev1/t3-port-grok-skills
Sep 13, 2026
Merged

leoisadev1 merged 5 commits into
mainfrom
leoisadev1/t3-port-grok-skills

Conversation

@leoisadev1

Copy link
Copy Markdown
Member

Problem

Grok snapshots never listed skills, so the composer $ picker had nothing from the CLI catalog. grok inspect --json already reports user, project, bundled, and plugin skills.

A failed inspect must not be cached as an empty workspace catalog.

Changes

Add discoverGrokSkills via grok inspect --json. Machine-level health checks recover probe failures to an empty list. ProviderInstance.snapshotForCwd re-runs inspect in the thread workspace and fails loudly so an empty catalog is not cached.

Composer cwd refresh still uses the machine snapshot until a client calls snapshotForCwd. Cursor composer and mobile wiring from upstream pingdotgg#9180 are not in this PR.

Upstream

Adapted from pingdotgg/t3code#8358 skill discovery and the Grok portions of pingdotgg/t3code#9180. Depends on #214 for the rewritten Grok health check.

Scope

This PR is Grok skills only.

Assigned Grok ports:

Verification

  • GrokSkills tests: 5 passed, including cwd spawn and failed-probe rejection.
  • GrokProvider tests: 13 passed.
  • Targeted lint and format passed.

Stacked on #214. Leave both open.

Made by Grok 4.6 High in Grok Build via Orca.

…anges

Grok health checks opened a full ACP session, so background probes could hang
on authenticate or boot every configured MCP server. They also never reported
login state, and the snapshot locked model changes to a new thread even though
session/set_model already works.

The check now runs grok --version, grok models, then a single ACP initialize
and reads models from _meta.modelState. Failed initialize degrades to warning.
grok-build is never sent as a model id.

Adapted from pingdotgg#9154 and pingdotgg#8392.

Made by Grok 4.6 High in Grok Build via Orca.
Keep the Grok probe PR current with main.
…s loudly

Grok snapshots never listed skills, so the composer $ picker had nothing from
the CLI catalog. grok inspect --json already reports user, project, bundled,
and plugin skills.

Machine-level health checks recover a failed inspect to an empty list.
snapshotForCwd re-runs inspect in the thread workspace so a failed probe is
not cached as empty. Composer cwd refresh still uses the machine snapshot
until a client calls snapshotForCwd.

Adapted from pingdotgg#8358 and the Grok portions of pingdotgg#9180.

Made by Grok 4.6 High in Grok Build via Orca.
@vercel

vercel Bot commented Sep 10, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
akeru-bot-landing Building Building Preview Sep 10, 2026 5:55pm UTC

Request Review

@github-actions github-actions Bot added type:provider Agent provider contribution. vouch:trusted PR author is trusted by repo permissions or the VOUCHED list. size:L labels Sep 10, 2026
@greptile-apps

greptile-apps Bot commented Sep 10, 2026 •

Copy link
Copy Markdown

Greptile Summary

Adds workspace-scoped Grok skill discovery so project skills can refresh independently of the machine-level provider snapshot. The driver coverage exercises disabled fallback behavior, workspace skill replacement, and error wrapping for failed workspace probes.

Confidence Score: 5/5

Merge-safe: there are no outstanding blocking issues.

The prior test-coverage thread was manually resolved by leoisadev1 without explanation.

Reviews (3): Last reviewed commit: "merge main into grok skills stack" | Re-trigger Greptile

Greptile asked for driver-level coverage of snapshotForCwd. Helper tests
already covered inspect parsing; this exercises GrokDriver.create.

Disabled instances skip inspect. Enabled instances replace machine skills
and wrap inspect failures as ProviderDriverError via Effect.flip.

Made by Grok 4.6 High in Grok Build via Orca.
Base automatically changed from leoisadev1/t3-port-grok to main September 13, 2026 21:50
@leoisadev1
leoisadev1 merged commit 3756d35 into main Sep 13, 2026
11 checks passed
@leoisadev1
leoisadev1 deleted the leoisadev1/t3-port-grok-skills branch September 13, 2026 22:27
This was referenced Sep 13, 2026

This branch was successfully deployed

1 active deployment
Preview — cb4f0e93 Deployed Sep 13, 2026 by vercel[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:L type:provider Agent provider contribution. vouch:trusted PR author is trusted by repo permissions or the VOUCHED list.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant