Merge pull request #192 from proofgeist/changeset-release/main

Author: eluce2

.changeset/pre.json

@@ -44,6 +44,7 @@
     "fmodata-cli-binary",
     "fmodata-date-filter-date-param",
     "get-query-string-entity-ids-override",
+    "green-worms-care",
     "happy-rocks-watch",
     "improve-local-mcp-init-messaging",
     "list-tables-post",

packages/cli/CHANGELOG.md

@@ -1,5 +1,11 @@
 # @proofgeist/kit
 
+## 2.0.0-beta.26
+
+### Patch Changes
+
+- e3b25c3: Refocus the ProofKit CLI around project bootstrap and diagnostics by adding `doctor` and placeholder `prompt` commands, updating default guidance and docs, and switching scaffolded typegen scripts to package-native `@proofkit/typegen` commands.
+
 ## 2.0.0-beta.25
 
 ### Patch Changes

packages/cli/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proofkit/cli",
-  "version": "2.0.0-beta.25",
+  "version": "2.0.0-beta.26",
   "description": "Interactive CLI to scaffold and manage ProofKit projects",
   "license": "MIT",
   "repository": {