@specverse/engines 5.0.2 → 5.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (116) hide show
  1. package/assets/prompts/core/standard/default/analyse.prompt.yaml +5 -5
  2. package/assets/prompts/core/standard/default/app-demo.prompt.yaml +21 -1
  3. package/assets/prompts/core/standard/default/behavior.prompt.yaml +150 -0
  4. package/assets/prompts/core/standard/default/create.prompt.yaml +3 -3
  5. package/assets/prompts/core/standard/default/materialise.prompt.yaml +804 -774
  6. package/assets/prompts/core/standard/default/realize.prompt.yaml +581 -544
  7. package/assets/prompts/core/standard/v9/analyse.prompt.yaml +5 -5
  8. package/assets/prompts/core/standard/v9/app-demo.prompt.yaml +233 -0
  9. package/assets/prompts/core/standard/v9/behavior.prompt.yaml +33 -9
  10. package/assets/prompts/core/standard/v9/create.prompt.yaml +3 -3
  11. package/assets/prompts/core/standard/v9/materialise.prompt.yaml +804 -774
  12. package/assets/prompts/core/standard/v9/realize.prompt.yaml +581 -544
  13. package/dist/ai/commands/fill.d.ts.map +1 -1
  14. package/dist/ai/commands/fill.js +16 -7
  15. package/dist/ai/commands/fill.js.map +1 -1
  16. package/dist/ai/commands/template.d.ts.map +1 -1
  17. package/dist/ai/commands/template.js +17 -8
  18. package/dist/ai/commands/template.js.map +1 -1
  19. package/dist/bundles/deriveCatalog.d.ts +18 -0
  20. package/dist/bundles/deriveCatalog.d.ts.map +1 -0
  21. package/dist/bundles/deriveCatalog.js +263 -0
  22. package/dist/bundles/deriveCatalog.js.map +1 -0
  23. package/dist/bundles/index.d.ts +15 -0
  24. package/dist/bundles/index.d.ts.map +1 -0
  25. package/dist/bundles/index.js +15 -0
  26. package/dist/bundles/index.js.map +1 -0
  27. package/dist/bundles/types.d.ts +53 -0
  28. package/dist/bundles/types.d.ts.map +1 -0
  29. package/dist/bundles/types.js +22 -0
  30. package/dist/bundles/types.js.map +1 -0
  31. package/dist/bundles/validate.d.ts +55 -0
  32. package/dist/bundles/validate.d.ts.map +1 -0
  33. package/dist/bundles/validate.js +471 -0
  34. package/dist/bundles/validate.js.map +1 -0
  35. package/dist/inference/quint-transpiler.js +2 -2
  36. package/dist/inference/quint-transpiler.js.map +1 -1
  37. package/dist/libs/instance-factories/applications/templates/react/runtime-package-json-generator.js +1 -1
  38. package/dist/libs/instance-factories/cli/templates/commander/command-generator.js +227 -0
  39. package/dist/libs/instance-factories/tools/templates/mcp/mcp-server-generator.js +295 -14
  40. package/libs/instance-factories/applications/templates/react/runtime-package-json-generator.ts +1 -1
  41. package/libs/instance-factories/cli/templates/commander/command-generator.ts +227 -0
  42. package/libs/instance-factories/tools/templates/mcp/mcp-server-generator.ts +328 -15
  43. package/package.json +9 -5
  44. package/assets/examples/09-api/ai-spec.yaml +0 -194
  45. package/assets/examples/09-api/converted.yaml +0 -95
  46. package/assets/examples/09-api/diagram-architecture.mmd +0 -10
  47. package/assets/examples/09-api/diagram-er.mmd +0 -10
  48. package/assets/examples/09-api/documentation.html +0 -104
  49. package/assets/examples/09-api/documentation.md +0 -95
  50. package/assets/examples/09-api/inferred-spec.yaml +0 -420
  51. package/assets/examples/09-api/openapi.json +0 -61
  52. package/assets/examples/10-api/README.md +0 -216
  53. package/assets/examples/10-api/ai-spec.yaml +0 -194
  54. package/assets/examples/10-api/converted.yaml +0 -96
  55. package/assets/examples/10-api/diagram-architecture.mmd +0 -10
  56. package/assets/examples/10-api/diagram-er.mmd +0 -10
  57. package/assets/examples/10-api/documentation.html +0 -104
  58. package/assets/examples/10-api/documentation.md +0 -95
  59. package/assets/examples/10-api/inferred-spec.yaml +0 -7
  60. package/assets/examples/10-api/metadata.yaml +0 -89
  61. package/assets/examples/10-api/openapi.json +0 -61
  62. package/assets/examples/10-api/package-integration-test.js +0 -177
  63. package/assets/examples/10-api/usage-example.js +0 -323
  64. package/assets/examples/10-api/usage-example.ts +0 -363
  65. package/assets/examples/10-api/workflow-test.js +0 -113
  66. package/assets/examples/validate-examples-with-expected-failures.cjs +0 -328
  67. package/assets/examples/validate-examples.cjs +0 -225
  68. package/assets/prompts/MOVED.md +0 -35
  69. package/assets/prompts/SUMMARY-v8-PROMOTION.md +0 -445
  70. package/assets/prompts/core/CHANGELOG.md +0 -158
  71. package/assets/prompts/core/MIGRATION-v6-to-v7.md +0 -379
  72. package/assets/prompts/core/base-terminal-prompt.md +0 -201
  73. package/assets/prompts/core/examples/example-usage.ts +0 -140
  74. package/assets/prompts/core/schemas/prompt.schema.json +0 -309
  75. package/assets/prompts/core/schemas/prompt.schema.yaml +0 -229
  76. package/assets/prompts/core/standard/archive/v1/analyse.prompt.yaml +0 -259
  77. package/assets/prompts/core/standard/archive/v1/create.prompt.yaml +0 -302
  78. package/assets/prompts/core/standard/archive/v1/materialise.prompt.yaml +0 -328
  79. package/assets/prompts/core/standard/archive/v1/realize.prompt.yaml +0 -606
  80. package/assets/prompts/core/standard/archive/v2/README.md +0 -110
  81. package/assets/prompts/core/standard/archive/v2/analyse.prompt.yaml +0 -151
  82. package/assets/prompts/core/standard/archive/v2/create.prompt.yaml +0 -151
  83. package/assets/prompts/core/standard/archive/v2/materialise.prompt.yaml +0 -132
  84. package/assets/prompts/core/standard/archive/v2/realize.prompt.yaml +0 -147
  85. package/assets/prompts/core/standard/archive/v3/README.md +0 -279
  86. package/assets/prompts/core/standard/archive/v3/analyse.prompt.yaml +0 -309
  87. package/assets/prompts/core/standard/archive/v3/create.prompt.yaml +0 -351
  88. package/assets/prompts/core/standard/archive/v3/materialise.prompt.yaml +0 -247
  89. package/assets/prompts/core/standard/archive/v3/realize.prompt.yaml +0 -344
  90. package/assets/prompts/core/standard/archive/v4/README.md +0 -79
  91. package/assets/prompts/core/standard/archive/v4/analyse.prompt.yaml +0 -204
  92. package/assets/prompts/core/standard/archive/v4/create.prompt.yaml +0 -185
  93. package/assets/prompts/core/standard/archive/v5/README.md +0 -224
  94. package/assets/prompts/core/standard/archive/v5/analyse.prompt.yaml +0 -209
  95. package/assets/prompts/core/standard/archive/v5/create.prompt.yaml +0 -225
  96. package/assets/prompts/core/standard/archive/v5/materialise.prompt.yaml +0 -242
  97. package/assets/prompts/core/standard/archive/v5/realize.prompt.yaml +0 -336
  98. package/assets/prompts/core/standard/archive/v6/README.md +0 -187
  99. package/assets/prompts/core/standard/archive/v6/analyse.prompt.yaml +0 -219
  100. package/assets/prompts/core/standard/archive/v6/create.prompt.yaml +0 -180
  101. package/assets/prompts/core/standard/archive/v6/materialise.prompt.yaml +0 -203
  102. package/assets/prompts/core/standard/archive/v6/realize.prompt.yaml +0 -215
  103. package/assets/prompts/core/standard/archive/v7/analyse.prompt.nick.yaml +0 -144
  104. package/assets/prompts/core/standard/archive/v7/analyse.prompt.old.yaml +0 -146
  105. package/assets/prompts/core/standard/archive/v7/analyse.prompt.yaml +0 -129
  106. package/assets/prompts/core/standard/archive/v7/create.prompt.yaml +0 -146
  107. package/assets/prompts/core/standard/archive/v7/materialise.prompt.yaml +0 -297
  108. package/assets/prompts/core/standard/archive/v7/realize.prompt.yaml +0 -294
  109. package/assets/prompts/core/standard/archive/v8/README.md +0 -400
  110. package/assets/prompts/core/standard/archive/v8/analyse.prompt.yaml +0 -185
  111. package/assets/prompts/core/standard/archive/v8/create.prompt.yaml +0 -203
  112. package/assets/prompts/core/standard/archive/v8/materialise.prompt.yaml +0 -297
  113. package/assets/prompts/core/standard/archive/v8/realize.prompt.yaml +0 -294
  114. package/assets/prompts/templates/api-orchestrator-template.yaml +0 -188
  115. package/assets/prompts/templates/claude-integration-template.md +0 -121
  116. package/assets/prompts/templates/terminal-prompt-template.md +0 -97
@@ -1,309 +0,0 @@
1
- {
2
- "$id": "https://specverse.org/schemas/prompt-v1.0.0.yaml",
3
- "title": "SpecVerse Prompt Schema",
4
- "description": "Schema for validating SpecVerse AI prompt definitions",
5
- "type": "object",
6
- "required": [
7
- "name",
8
- "version",
9
- "description",
10
- "system",
11
- "user",
12
- "context",
13
- "validation"
14
- ],
15
- "properties": {
16
- "name": {
17
- "type": "string",
18
- "pattern": "^[a-z][a-z0-9-]*$",
19
- "description": "Unique prompt identifier (kebab-case)"
20
- },
21
- "version": {
22
- "type": "string",
23
- "pattern": "^\\d+\\.\\d+\\.\\d+$",
24
- "description": "Semantic version (e.g., 1.0.0)"
25
- },
26
- "description": {
27
- "type": "string",
28
- "maxLength": 200,
29
- "description": "Brief description of prompt purpose"
30
- },
31
- "author": {
32
- "type": "string",
33
- "description": "Prompt author or team"
34
- },
35
- "tags": {
36
- "type": "array",
37
- "items": {
38
- "type": "string"
39
- },
40
- "description": "Categorization tags"
41
- },
42
- "system": {
43
- "type": "object",
44
- "required": [
45
- "role",
46
- "context"
47
- ],
48
- "properties": {
49
- "role": {
50
- "type": "string",
51
- "description": "System role description for the LLM"
52
- },
53
- "context": {
54
- "type": "string",
55
- "description": "Required context and background"
56
- },
57
- "capabilities": {
58
- "type": "array",
59
- "items": {
60
- "type": "string"
61
- },
62
- "description": "List of capabilities the system should demonstrate"
63
- },
64
- "constraints": {
65
- "type": "array",
66
- "items": {
67
- "type": "string"
68
- },
69
- "description": "Limitations or rules to follow"
70
- }
71
- }
72
- },
73
- "user": {
74
- "type": "object",
75
- "required": [
76
- "template"
77
- ],
78
- "properties": {
79
- "template": {
80
- "type": "string",
81
- "description": "User prompt template with {{variables}}"
82
- },
83
- "variables": {
84
- "type": "array",
85
- "items": {
86
- "type": "object",
87
- "required": [
88
- "name",
89
- "type"
90
- ],
91
- "properties": {
92
- "name": {
93
- "type": "string",
94
- "pattern": "^[a-z][a-zA-Z0-9]*$"
95
- },
96
- "type": {
97
- "type": "string",
98
- "enum": [
99
- "string",
100
- "number",
101
- "boolean",
102
- "object",
103
- "array"
104
- ]
105
- },
106
- "required": {
107
- "type": "boolean",
108
- "default": false
109
- },
110
- "description": {
111
- "type": "string"
112
- },
113
- "default": {
114
- "description": "Default value if not provided"
115
- },
116
- "validation": {
117
- "type": "string",
118
- "description": "Validation rule or regex pattern"
119
- }
120
- }
121
- }
122
- }
123
- }
124
- },
125
- "context": {
126
- "type": "object",
127
- "required": [
128
- "includes"
129
- ],
130
- "properties": {
131
- "includes": {
132
- "type": "array",
133
- "items": {
134
- "type": "object",
135
- "properties": {
136
- "schema": {
137
- "type": "string",
138
- "description": "Schema file to include"
139
- },
140
- "library": {
141
- "type": "string",
142
- "description": "Library to include"
143
- },
144
- "template": {
145
- "type": "string",
146
- "description": "Template to include"
147
- }
148
- }
149
- },
150
- "description": "Context files to include"
151
- },
152
- "max_tokens": {
153
- "type": "integer",
154
- "minimum": 100,
155
- "maximum": 32000,
156
- "default": 4000,
157
- "description": "Maximum tokens for response"
158
- },
159
- "temperature": {
160
- "type": "number",
161
- "minimum": 0,
162
- "maximum": 2,
163
- "default": 0.7,
164
- "description": "LLM temperature setting"
165
- },
166
- "top_p": {
167
- "type": "number",
168
- "minimum": 0,
169
- "maximum": 1,
170
- "default": 1,
171
- "description": "LLM top_p setting"
172
- }
173
- }
174
- },
175
- "validation": {
176
- "type": "object",
177
- "properties": {
178
- "input": {
179
- "type": "array",
180
- "items": {
181
- "type": "object",
182
- "properties": {
183
- "rule": {
184
- "type": "string",
185
- "description": "Input validation rule"
186
- },
187
- "required": {
188
- "type": "boolean",
189
- "default": true
190
- }
191
- }
192
- },
193
- "description": "Input validation rules"
194
- },
195
- "output": {
196
- "type": "array",
197
- "items": {
198
- "type": "object",
199
- "properties": {
200
- "rule": {
201
- "type": "string",
202
- "description": "Output validation rule"
203
- },
204
- "format": {
205
- "type": "string",
206
- "enum": [
207
- "yaml",
208
- "json",
209
- "markdown",
210
- "text"
211
- ]
212
- },
213
- "schema": {
214
- "type": "string",
215
- "description": "Schema to validate against"
216
- }
217
- }
218
- },
219
- "description": "Output validation rules"
220
- }
221
- }
222
- },
223
- "examples": {
224
- "type": "array",
225
- "items": {
226
- "type": "object",
227
- "required": [
228
- "input",
229
- "output"
230
- ],
231
- "properties": {
232
- "name": {
233
- "type": "string",
234
- "description": "Example name"
235
- },
236
- "description": {
237
- "type": "string",
238
- "description": "What this example demonstrates"
239
- },
240
- "input": {
241
- "description": "Example input"
242
- },
243
- "output": {
244
- "description": "Expected output"
245
- },
246
- "explanation": {
247
- "type": "string",
248
- "description": "Explanation of the example"
249
- }
250
- }
251
- },
252
- "description": "Example usage cases"
253
- },
254
- "metadata": {
255
- "type": "object",
256
- "properties": {
257
- "created": {
258
- "type": "string",
259
- "format": "date-time"
260
- },
261
- "updated": {
262
- "type": "string",
263
- "format": "date-time"
264
- },
265
- "tested_with": {
266
- "type": "array",
267
- "items": {
268
- "type": "object",
269
- "properties": {
270
- "provider": {
271
- "type": "string",
272
- "enum": [
273
- "openai",
274
- "anthropic",
275
- "azure",
276
- "local"
277
- ]
278
- },
279
- "model": {
280
- "type": "string"
281
- },
282
- "success_rate": {
283
- "type": "number",
284
- "minimum": 0,
285
- "maximum": 100
286
- }
287
- }
288
- },
289
- "description": "Testing results with different providers"
290
- },
291
- "performance": {
292
- "type": "object",
293
- "properties": {
294
- "avg_response_time": {
295
- "type": "number",
296
- "description": "Average response time in seconds"
297
- },
298
- "avg_tokens_used": {
299
- "type": "integer",
300
- "description": "Average tokens consumed"
301
- }
302
- }
303
- }
304
- },
305
- "description": "Prompt metadata and performance metrics"
306
- }
307
- },
308
- "additionalProperties": false
309
- }
@@ -1,229 +0,0 @@
1
- # SpecVerse Prompt Schema
2
- # Defines the structure and validation rules for all SpecVerse prompts
3
-
4
- $schema: https://json-schema.org/draft-07/schema#
5
- $id: https://specverse.org/schemas/prompt-v1.0.0.yaml
6
- title: SpecVerse Prompt Schema
7
- description: Schema for validating SpecVerse AI prompt definitions
8
- type: object
9
-
10
- required:
11
- - name
12
- - version
13
- - description
14
- - system
15
- - user
16
- - context
17
- - validation
18
-
19
- properties:
20
- name:
21
- type: string
22
- pattern: "^[a-z][a-z0-9-]*$"
23
- description: Unique prompt identifier (kebab-case)
24
-
25
- version:
26
- type: string
27
- pattern: "^\\d+\\.\\d+\\.\\d+$"
28
- description: Semantic version (e.g., 1.0.0)
29
-
30
- description:
31
- type: string
32
- maxLength: 200
33
- description: Brief description of prompt purpose
34
-
35
- author:
36
- type: string
37
- description: Prompt author or team
38
-
39
- tags:
40
- type: array
41
- items:
42
- type: string
43
- description: Categorization tags
44
-
45
- system:
46
- type: object
47
- required:
48
- - role
49
- - context
50
- properties:
51
- role:
52
- type: string
53
- description: System role description for the LLM
54
- context:
55
- type: string
56
- description: Required context and background
57
- capabilities:
58
- type: array
59
- items:
60
- type: string
61
- description: List of capabilities the system should demonstrate
62
- constraints:
63
- type: array
64
- items:
65
- type: string
66
- description: Limitations or rules to follow
67
-
68
- user:
69
- type: object
70
- required:
71
- - template
72
- properties:
73
- template:
74
- type: string
75
- description: User prompt template with {{variables}}
76
- variables:
77
- type: array
78
- items:
79
- type: object
80
- required:
81
- - name
82
- - type
83
- properties:
84
- name:
85
- type: string
86
- pattern: "^[a-z][a-zA-Z0-9]*$"
87
- type:
88
- type: string
89
- enum: [string, number, boolean, object, array]
90
- required:
91
- type: boolean
92
- default: false
93
- description:
94
- type: string
95
- default:
96
- description: Default value if not provided
97
- validation:
98
- type: string
99
- description: Validation rule or regex pattern
100
-
101
- context:
102
- type: object
103
- required:
104
- - includes
105
- properties:
106
- includes:
107
- type: array
108
- items:
109
- type: object
110
- properties:
111
- schema:
112
- type: string
113
- description: Schema file to include
114
- library:
115
- type: string
116
- description: Library to include
117
- template:
118
- type: string
119
- description: Template to include
120
- description: Context files to include
121
- max_tokens:
122
- type: integer
123
- minimum: 100
124
- maximum: 32000
125
- default: 4000
126
- description: Maximum tokens for response
127
- temperature:
128
- type: number
129
- minimum: 0
130
- maximum: 2
131
- default: 0.7
132
- description: LLM temperature setting
133
- top_p:
134
- type: number
135
- minimum: 0
136
- maximum: 1
137
- default: 1
138
- description: LLM top_p setting
139
-
140
- validation:
141
- type: object
142
- properties:
143
- input:
144
- type: array
145
- items:
146
- type: object
147
- properties:
148
- rule:
149
- type: string
150
- description: Input validation rule
151
- required:
152
- type: boolean
153
- default: true
154
- description: Input validation rules
155
- output:
156
- type: array
157
- items:
158
- type: object
159
- properties:
160
- rule:
161
- type: string
162
- description: Output validation rule
163
- format:
164
- type: string
165
- enum: [yaml, json, markdown, text]
166
- schema:
167
- type: string
168
- description: Schema to validate against
169
- description: Output validation rules
170
-
171
- examples:
172
- type: array
173
- items:
174
- type: object
175
- required:
176
- - input
177
- - output
178
- properties:
179
- name:
180
- type: string
181
- description: Example name
182
- description:
183
- type: string
184
- description: What this example demonstrates
185
- input:
186
- description: Example input
187
- output:
188
- description: Expected output
189
- explanation:
190
- type: string
191
- description: Explanation of the example
192
- description: Example usage cases
193
-
194
- metadata:
195
- type: object
196
- properties:
197
- created:
198
- type: string
199
- format: date-time
200
- updated:
201
- type: string
202
- format: date-time
203
- tested_with:
204
- type: array
205
- items:
206
- type: object
207
- properties:
208
- provider:
209
- type: string
210
- enum: [openai, anthropic, azure, local]
211
- model:
212
- type: string
213
- success_rate:
214
- type: number
215
- minimum: 0
216
- maximum: 100
217
- description: Testing results with different providers
218
- performance:
219
- type: object
220
- properties:
221
- avg_response_time:
222
- type: number
223
- description: Average response time in seconds
224
- avg_tokens_used:
225
- type: integer
226
- description: Average tokens consumed
227
- description: Prompt metadata and performance metrics
228
-
229
- additionalProperties: false