@uuidna/qpu 0.1.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 (11) hide show
  1. package/CITATION.cff +11 -0
  2. package/LICENSE +24 -0
  3. package/README.md +1133 -0
  4. package/dist/quantum/processing/unit/index.d.ts +32017 -0
  5. package/dist/quantum/processing/unit/index.js +9492 -0
  6. package/install.json +13 -0
  7. package/mcp.json +871 -0
  8. package/package.json +73 -0
  9. package/src/quantum/processing/unit/index.lean +130 -0
  10. package/worker.js +2 -0
  11. package/wrangler.toml +26 -0
package/mcp.json ADDED
@@ -0,0 +1,871 @@
1
+ {
2
+ "@context": [
3
+ "https://schema.org",
4
+ {
5
+ "schema": "https://schema.org/",
6
+ "qpu": "https://qpu.uuidna.com/quantum/processing/unit#",
7
+ "mcp": "https://modelcontextprotocol.io/",
8
+ "lean": "https://lean-lang.org/",
9
+ "cern": "https://opendata.cern.ch/",
10
+ "inspire": "https://inspirehep.net/",
11
+ "spdx": "https://spdx.org/licenses/",
12
+ "dc": "http://purl.org/dc/terms/",
13
+ "jsonld": "https://www.w3.org/ns/json-ld#",
14
+ "hydra": "https://www.w3.org/ns/hydra/core#",
15
+ "uuid": "https://www.rfc-editor.org/rfc/rfc9562",
16
+ "zenodo": "https://zenodo.org/",
17
+ "hepdata": "https://www.hepdata.net/",
18
+ "cc": "https://creativecommons.org/licenses/by-nc-nd/4.0/"
19
+ }
20
+ ],
21
+ "@type": "WebAPI",
22
+ "@id": "https://qpu.uuidna.com/mcp",
23
+ "url": "https://qpu.uuidna.com/mcp",
24
+ "isAccessibleForFree": true,
25
+ "documentation": "https://qpu.uuidna.com",
26
+ "license": "CC-BY-NC-ND-4.0",
27
+ "provider": {
28
+ "@type": "Person",
29
+ "name": "Tsvetan Rouschev"
30
+ },
31
+ "kind": "quantum",
32
+ "only": {
33
+ "kind": "quantum",
34
+ "split": true,
35
+ "entangle": true,
36
+ "interfere": true,
37
+ "ghz": true,
38
+ "noclone": true,
39
+ "teleport": true,
40
+ "kickback": true,
41
+ "deutsch": true,
42
+ "dense": true,
43
+ "monogamy": true,
44
+ "product": false,
45
+ "holds": true
46
+ },
47
+ "capacity": {
48
+ "kind": "capacity",
49
+ "next": 240518168576,
50
+ "fused": 120259084288,
51
+ "crypt": {
52
+ "kind": "crypto",
53
+ "theorem": "crypto",
54
+ "split": 14,
55
+ "share": 8589934592,
56
+ "fused": 120259084288,
57
+ "holds": true
58
+ },
59
+ "agents": {
60
+ "kind": "agents",
61
+ "teams": 2,
62
+ "rays": 7,
63
+ "n": 14,
64
+ "free": true,
65
+ "auth": false,
66
+ "holds": true
67
+ },
68
+ "schemas": {
69
+ "kind": "schemas",
70
+ "mounted": 14,
71
+ "vacant": 0,
72
+ "merge": "storage",
73
+ "href": "https://qpu.uuidna.com/storage",
74
+ "rows": [
75
+ {
76
+ "name": "schema",
77
+ "href": "https://schema.org/",
78
+ "face": 0,
79
+ "hop": 0,
80
+ "involution": true,
81
+ "prefix": "schema",
82
+ "part": "vertex",
83
+ "merge": "storage",
84
+ "storage": "https://qpu.uuidna.com/storage",
85
+ "raid": "0",
86
+ "cloud": "cloudflare",
87
+ "llm": "openai",
88
+ "call": "tool_calls",
89
+ "result": "tool",
90
+ "schema": "parameters",
91
+ "keys": [
92
+ "inputSchema",
93
+ "input_schema",
94
+ "parameters"
95
+ ],
96
+ "holds": true
97
+ },
98
+ {
99
+ "name": "qpu",
100
+ "href": "https://qpu.uuidna.com/quantum/processing/unit#",
101
+ "face": 1,
102
+ "hop": 1,
103
+ "involution": true,
104
+ "prefix": "qpu",
105
+ "part": "vertex",
106
+ "merge": "storage",
107
+ "storage": "https://qpu.uuidna.com/storage",
108
+ "raid": "1",
109
+ "cloud": "amazon",
110
+ "llm": "anthropic",
111
+ "call": "tool_use",
112
+ "result": "tool_result",
113
+ "schema": "input_schema",
114
+ "keys": [
115
+ "inputSchema",
116
+ "input_schema",
117
+ "parameters"
118
+ ],
119
+ "holds": true
120
+ },
121
+ {
122
+ "name": "mcp",
123
+ "href": "https://modelcontextprotocol.io/",
124
+ "face": 2,
125
+ "hop": 2,
126
+ "involution": true,
127
+ "prefix": "mcp",
128
+ "part": "vertex",
129
+ "merge": "storage",
130
+ "storage": "https://qpu.uuidna.com/storage",
131
+ "raid": "2",
132
+ "cloud": "google",
133
+ "llm": "google",
134
+ "call": "functionCall",
135
+ "result": "functionResponse",
136
+ "schema": "parameters",
137
+ "keys": [
138
+ "inputSchema",
139
+ "input_schema",
140
+ "parameters"
141
+ ],
142
+ "holds": true
143
+ },
144
+ {
145
+ "name": "lean",
146
+ "href": "https://lean-lang.org/",
147
+ "face": 3,
148
+ "hop": 3,
149
+ "involution": true,
150
+ "prefix": "lean",
151
+ "part": "vertex",
152
+ "merge": "storage",
153
+ "storage": "https://qpu.uuidna.com/storage",
154
+ "raid": "3",
155
+ "cloud": "azure",
156
+ "llm": "xai",
157
+ "call": "tool_calls",
158
+ "result": "tool",
159
+ "schema": "parameters",
160
+ "keys": [
161
+ "inputSchema",
162
+ "input_schema",
163
+ "parameters"
164
+ ],
165
+ "holds": true
166
+ },
167
+ {
168
+ "name": "cern",
169
+ "href": "https://opendata.cern.ch/",
170
+ "face": 4,
171
+ "hop": 4,
172
+ "involution": true,
173
+ "prefix": "cern",
174
+ "part": "vertex",
175
+ "merge": "storage",
176
+ "storage": "https://qpu.uuidna.com/storage",
177
+ "raid": "4",
178
+ "cloud": "backblaze",
179
+ "llm": "meta",
180
+ "call": "tool_calls",
181
+ "result": "tool",
182
+ "schema": "parameters",
183
+ "keys": [
184
+ "inputSchema",
185
+ "input_schema",
186
+ "parameters"
187
+ ],
188
+ "holds": true
189
+ },
190
+ {
191
+ "name": "inspire",
192
+ "href": "https://inspirehep.net/",
193
+ "face": 5,
194
+ "hop": 5,
195
+ "involution": true,
196
+ "prefix": "inspire",
197
+ "part": "vertex",
198
+ "merge": "storage",
199
+ "storage": "https://qpu.uuidna.com/storage",
200
+ "raid": "5",
201
+ "cloud": "wasabi",
202
+ "llm": "mistral",
203
+ "call": "tool_calls",
204
+ "result": "tool",
205
+ "schema": "parameters",
206
+ "keys": [
207
+ "inputSchema",
208
+ "input_schema",
209
+ "parameters"
210
+ ],
211
+ "holds": true
212
+ },
213
+ {
214
+ "name": "spdx",
215
+ "href": "https://spdx.org/licenses/",
216
+ "face": 6,
217
+ "hop": 6,
218
+ "involution": true,
219
+ "prefix": "spdx",
220
+ "part": "vertex",
221
+ "merge": "storage",
222
+ "storage": "https://qpu.uuidna.com/storage",
223
+ "raid": "6",
224
+ "cloud": "bunny",
225
+ "llm": "cohere",
226
+ "call": "tool_calls",
227
+ "result": "tool",
228
+ "schema": "parameters",
229
+ "keys": [
230
+ "inputSchema",
231
+ "input_schema",
232
+ "parameters"
233
+ ],
234
+ "holds": true
235
+ },
236
+ {
237
+ "name": "dc",
238
+ "href": "http://purl.org/dc/terms/",
239
+ "face": 7,
240
+ "hop": 7,
241
+ "involution": true,
242
+ "prefix": "dc",
243
+ "part": "vertex",
244
+ "merge": "storage",
245
+ "storage": "https://qpu.uuidna.com/storage",
246
+ "raid": "10",
247
+ "cloud": "fly",
248
+ "llm": "groq",
249
+ "call": "tool_calls",
250
+ "result": "tool",
251
+ "schema": "parameters",
252
+ "keys": [
253
+ "inputSchema",
254
+ "input_schema",
255
+ "parameters"
256
+ ],
257
+ "holds": true
258
+ },
259
+ {
260
+ "name": "jsonld",
261
+ "href": "https://www.w3.org/ns/json-ld#",
262
+ "face": 8,
263
+ "hop": 8,
264
+ "involution": true,
265
+ "prefix": "jsonld",
266
+ "part": "hexbit",
267
+ "merge": "storage",
268
+ "storage": "https://qpu.uuidna.com/storage",
269
+ "raid": "01",
270
+ "cloud": "vercel",
271
+ "llm": "together",
272
+ "call": "tool_calls",
273
+ "result": "tool",
274
+ "schema": "parameters",
275
+ "keys": [
276
+ "inputSchema",
277
+ "input_schema",
278
+ "parameters"
279
+ ],
280
+ "holds": true
281
+ },
282
+ {
283
+ "name": "hydra",
284
+ "href": "https://www.w3.org/ns/hydra/core#",
285
+ "face": 9,
286
+ "hop": 9,
287
+ "involution": true,
288
+ "prefix": "hydra",
289
+ "part": "hexbit",
290
+ "merge": "storage",
291
+ "storage": "https://qpu.uuidna.com/storage",
292
+ "raid": "50",
293
+ "cloud": "supabase",
294
+ "llm": "fireworks",
295
+ "call": "tool_calls",
296
+ "result": "tool",
297
+ "schema": "parameters",
298
+ "keys": [
299
+ "inputSchema",
300
+ "input_schema",
301
+ "parameters"
302
+ ],
303
+ "holds": true
304
+ },
305
+ {
306
+ "name": "uuid",
307
+ "href": "https://www.rfc-editor.org/rfc/rfc9562",
308
+ "face": 10,
309
+ "hop": 10,
310
+ "involution": true,
311
+ "prefix": "uuid",
312
+ "part": "hexbit",
313
+ "merge": "storage",
314
+ "storage": "https://qpu.uuidna.com/storage",
315
+ "raid": "60",
316
+ "cloud": "ibm",
317
+ "llm": "azure",
318
+ "call": "tool_calls",
319
+ "result": "tool",
320
+ "schema": "parameters",
321
+ "keys": [
322
+ "inputSchema",
323
+ "input_schema",
324
+ "parameters"
325
+ ],
326
+ "holds": true
327
+ },
328
+ {
329
+ "name": "zenodo",
330
+ "href": "https://zenodo.org/",
331
+ "face": 11,
332
+ "hop": 11,
333
+ "involution": true,
334
+ "prefix": "zenodo",
335
+ "part": "hexbit",
336
+ "merge": "storage",
337
+ "storage": "https://qpu.uuidna.com/storage",
338
+ "raid": "1E",
339
+ "cloud": "oracle",
340
+ "llm": "bedrock",
341
+ "call": "toolUse",
342
+ "result": "toolResult",
343
+ "schema": "toolSpec",
344
+ "keys": [
345
+ "inputSchema",
346
+ "input_schema",
347
+ "parameters"
348
+ ],
349
+ "holds": true
350
+ },
351
+ {
352
+ "name": "hepdata",
353
+ "href": "https://www.hepdata.net/",
354
+ "face": 12,
355
+ "hop": 12,
356
+ "involution": true,
357
+ "prefix": "hepdata",
358
+ "part": "coin",
359
+ "merge": "storage",
360
+ "storage": "https://qpu.uuidna.com/storage",
361
+ "raid": "5E",
362
+ "cloud": "ovh",
363
+ "llm": "ollama",
364
+ "call": "tool_calls",
365
+ "result": "tool",
366
+ "schema": "parameters",
367
+ "keys": [
368
+ "inputSchema",
369
+ "input_schema",
370
+ "parameters"
371
+ ],
372
+ "holds": true
373
+ },
374
+ {
375
+ "name": "cc",
376
+ "href": "https://creativecommons.org/licenses/by-nc-nd/4.0/",
377
+ "face": 13,
378
+ "hop": 13,
379
+ "involution": true,
380
+ "prefix": "cc",
381
+ "part": "coin",
382
+ "merge": "storage",
383
+ "storage": "https://qpu.uuidna.com/storage",
384
+ "raid": "6E",
385
+ "cloud": "hetzner",
386
+ "llm": "huggingface",
387
+ "call": "tool_calls",
388
+ "result": "tool",
389
+ "schema": "parameters",
390
+ "keys": [
391
+ "inputSchema",
392
+ "input_schema",
393
+ "parameters"
394
+ ],
395
+ "holds": true
396
+ }
397
+ ],
398
+ "efficiency": {
399
+ "kind": "efficiency",
400
+ "context": 2,
401
+ "mounted": 14,
402
+ "ratio": 7,
403
+ "tokens": "four bytes",
404
+ "holds": true
405
+ },
406
+ "compatibility": {
407
+ "kind": "compatibility",
408
+ "keys": [
409
+ "inputSchema",
410
+ "input_schema",
411
+ "parameters"
412
+ ],
413
+ "harnesses": 14,
414
+ "llms": 14,
415
+ "holds": true
416
+ },
417
+ "holds": true
418
+ },
419
+ "holds": true
420
+ },
421
+ "name": "@uuidna/qpu",
422
+ "origin": "https://qpu.uuidna.com",
423
+ "href": "https://qpu.uuidna.com/mcp",
424
+ "cors": "*",
425
+ "tools": [
426
+ {
427
+ "@type": "SoftwareApplication",
428
+ "@id": "https://qpu.uuidna.com/mcp#qpu_quantum",
429
+ "url": "https://qpu.uuidna.com/mcp",
430
+ "position": 1,
431
+ "name": "qpu_quantum",
432
+ "description": "theorem quantum. theorem fridge.",
433
+ "inputSchema": {
434
+ "type": "object",
435
+ "properties": {
436
+ "man": {
437
+ "type": "boolean",
438
+ "description": "Return the man page. Read man from tools/list, then call without man."
439
+ }
440
+ }
441
+ },
442
+ "man": {
443
+ "kind": "man",
444
+ "inline": true,
445
+ "name": "qpu_quantum",
446
+ "section": 3,
447
+ "synopsis": "POST https://qpu.uuidna.com/mcp tools/call qpu_quantum",
448
+ "href": "https://qpu.uuidna.com",
449
+ "description": "theorem quantum. theorem fridge.",
450
+ "reading": "GET https://qpu.uuidna.com. tools/call qpu_quantum. No auth.",
451
+ "documentation": "NAME\n qpu_quantum — theorem quantum. theorem fridge.\nSYNOPSIS\n POST https://qpu.uuidna.com/mcp tools/call qpu_quantum\n qpu_quantum { man: true }\nDESCRIPTION\n GET https://qpu.uuidna.com. tools/call qpu_quantum. No auth.\nSEE ALSO\n qpu_lean, qpu_cite, qpu_train, qpu_forge, qpu_improve, qpu_compete, qpu_prove",
452
+ "holds": true
453
+ }
454
+ },
455
+ {
456
+ "@type": "SoftwareApplication",
457
+ "@id": "https://qpu.uuidna.com/mcp#qpu_lean",
458
+ "url": "https://qpu.uuidna.com/mcp",
459
+ "position": 2,
460
+ "name": "qpu_lean",
461
+ "description": "theorem infinite. theorem distribute.",
462
+ "inputSchema": {
463
+ "type": "object",
464
+ "properties": {
465
+ "man": {
466
+ "type": "boolean",
467
+ "description": "Return the man page. Read man from tools/list, then call without man."
468
+ }
469
+ }
470
+ },
471
+ "man": {
472
+ "kind": "man",
473
+ "inline": true,
474
+ "name": "qpu_lean",
475
+ "section": 3,
476
+ "synopsis": "POST https://qpu.uuidna.com/mcp tools/call qpu_lean",
477
+ "href": "https://qpu.uuidna.com/quantum/processing/unit",
478
+ "description": "theorem infinite. theorem distribute.",
479
+ "reading": "GET https://qpu.uuidna.com/quantum/processing/unit. Source src/quantum/processing/unit/index.lean. No auth.",
480
+ "documentation": "NAME\n qpu_lean — theorem infinite. theorem distribute.\nSYNOPSIS\n POST https://qpu.uuidna.com/mcp tools/call qpu_lean\n qpu_lean { man: true }\nDESCRIPTION\n GET https://qpu.uuidna.com/quantum/processing/unit. Source src/quantum/processing/unit/index.lean. No auth.\nSEE ALSO\n qpu_quantum, qpu_cite, qpu_train, qpu_forge, qpu_improve, qpu_compete, qpu_prove",
481
+ "holds": true
482
+ }
483
+ },
484
+ {
485
+ "@type": "SoftwareApplication",
486
+ "@id": "https://qpu.uuidna.com/mcp#qpu_cite",
487
+ "url": "https://qpu.uuidna.com/mcp",
488
+ "position": 3,
489
+ "name": "qpu_cite",
490
+ "description": "MLA 8. when never.",
491
+ "inputSchema": {
492
+ "type": "object",
493
+ "properties": {
494
+ "man": {
495
+ "type": "boolean",
496
+ "description": "Return the man page. Read man from tools/list, then call without man."
497
+ }
498
+ }
499
+ },
500
+ "man": {
501
+ "kind": "man",
502
+ "inline": true,
503
+ "name": "qpu_cite",
504
+ "section": 3,
505
+ "synopsis": "POST https://qpu.uuidna.com/mcp tools/call qpu_cite",
506
+ "href": "https://qpu.uuidna.com/cite",
507
+ "description": "MLA 8. when never.",
508
+ "reading": "GET https://qpu.uuidna.com/cite. DOI empty. No auth.",
509
+ "documentation": "NAME\n qpu_cite — MLA 8. when never.\nSYNOPSIS\n POST https://qpu.uuidna.com/mcp tools/call qpu_cite\n qpu_cite { man: true }\nDESCRIPTION\n GET https://qpu.uuidna.com/cite. DOI empty. No auth.\nSEE ALSO\n qpu_quantum, qpu_lean, qpu_train, qpu_forge, qpu_improve, qpu_compete, qpu_prove",
510
+ "holds": true
511
+ }
512
+ },
513
+ {
514
+ "@type": "SoftwareApplication",
515
+ "@id": "https://qpu.uuidna.com/mcp#qpu_train",
516
+ "url": "https://qpu.uuidna.com/mcp",
517
+ "position": 4,
518
+ "name": "qpu_train",
519
+ "description": "theorem infinite. coins teams of rays.",
520
+ "inputSchema": {
521
+ "type": "object",
522
+ "properties": {
523
+ "man": {
524
+ "type": "boolean",
525
+ "description": "Return the man page. Read man from tools/list, then call without man."
526
+ },
527
+ "live": {
528
+ "type": "boolean",
529
+ "description": "{ live: true } learn CERN occupancy. fetch Request Response. Memory."
530
+ },
531
+ "sequence": {
532
+ "type": "boolean",
533
+ "description": "{ sequence: true } qpu_train then qpu_improve then qpu_compete then qpu_prove. Live. Memory."
534
+ }
535
+ }
536
+ },
537
+ "man": {
538
+ "kind": "man",
539
+ "inline": true,
540
+ "name": "qpu_train",
541
+ "section": 3,
542
+ "synopsis": "POST https://qpu.uuidna.com/mcp tools/call qpu_train",
543
+ "href": "https://qpu.uuidna.com/mcp",
544
+ "description": "theorem infinite. coins teams of rays.",
545
+ "reading": "tools/call qpu_train. { live: true } learn occupancy. { sequence: true } then qpu_improve then qpu_compete then qpu_prove. No auth.",
546
+ "documentation": "NAME\n qpu_train — theorem infinite. coins teams of rays.\nSYNOPSIS\n POST https://qpu.uuidna.com/mcp tools/call qpu_train\n qpu_train { man: true }\nDESCRIPTION\n tools/call qpu_train. { live: true } learn occupancy. { sequence: true } then qpu_improve then qpu_compete then qpu_prove. No auth.\nSEE ALSO\n qpu_quantum, qpu_lean, qpu_cite, qpu_forge, qpu_improve, qpu_compete, qpu_prove",
547
+ "holds": true
548
+ }
549
+ },
550
+ {
551
+ "@type": "SoftwareApplication",
552
+ "@id": "https://qpu.uuidna.com/mcp#qpu_forge",
553
+ "url": "https://qpu.uuidna.com/mcp",
554
+ "position": 5,
555
+ "name": "qpu_forge",
556
+ "description": "Unlocked in memory. No lock.",
557
+ "inputSchema": {
558
+ "type": "object",
559
+ "properties": {
560
+ "man": {
561
+ "type": "boolean",
562
+ "description": "Return the man page. Read man from tools/list, then call without man."
563
+ },
564
+ "name": {
565
+ "type": "string",
566
+ "description": "Tool name to forge. Omit to inspect the in-memory sandbox."
567
+ },
568
+ "team": {
569
+ "type": "string",
570
+ "description": "read or call."
571
+ },
572
+ "ray": {
573
+ "type": "number",
574
+ "description": "Agent ray 0..6."
575
+ },
576
+ "idea": {
577
+ "type": "string",
578
+ "description": "Idea the tool challenges."
579
+ },
580
+ "description": {
581
+ "type": "string",
582
+ "description": "What the tool does in memory."
583
+ },
584
+ "run": {
585
+ "type": "object",
586
+ "description": "Sealed op tree. Memory only. No eval, no fs, no net."
587
+ }
588
+ }
589
+ },
590
+ "man": {
591
+ "kind": "man",
592
+ "inline": true,
593
+ "name": "qpu_forge",
594
+ "section": 3,
595
+ "synopsis": "POST https://qpu.uuidna.com/mcp tools/call qpu_forge",
596
+ "href": "https://qpu.uuidna.com/mcp",
597
+ "description": "Unlocked in memory. No lock.",
598
+ "reading": "tools/call qpu_forge. Ops lit mint add mul eq put get has del keys seq if repeat quantum args unlocked eval fn fs net fetch process import require disk worker. { name, run }. No auth.",
599
+ "documentation": "NAME\n qpu_forge — Unlocked in memory. No lock.\nSYNOPSIS\n POST https://qpu.uuidna.com/mcp tools/call qpu_forge\n qpu_forge { man: true }\nDESCRIPTION\n tools/call qpu_forge. Ops lit mint add mul eq put get has del keys seq if repeat quantum args unlocked eval fn fs net fetch process import require disk worker. { name, run }. No auth.\nSEE ALSO\n qpu_quantum, qpu_lean, qpu_cite, qpu_train, qpu_improve, qpu_compete, qpu_prove",
600
+ "holds": true
601
+ }
602
+ },
603
+ {
604
+ "@type": "SoftwareApplication",
605
+ "@id": "https://qpu.uuidna.com/mcp#qpu_improve",
606
+ "url": "https://qpu.uuidna.com/mcp",
607
+ "position": 6,
608
+ "name": "qpu_improve",
609
+ "description": "next = fused + fused.",
610
+ "inputSchema": {
611
+ "type": "object",
612
+ "properties": {
613
+ "man": {
614
+ "type": "boolean",
615
+ "description": "Return the man page. Read man from tools/list, then call without man."
616
+ },
617
+ "live": {
618
+ "type": "boolean",
619
+ "description": "{ live: true } learn CERN occupancy. fetch Request Response. Memory."
620
+ },
621
+ "sequence": {
622
+ "type": "boolean",
623
+ "description": "{ sequence: true } qpu_train then qpu_improve then qpu_compete then qpu_prove. Live. Memory."
624
+ }
625
+ }
626
+ },
627
+ "man": {
628
+ "kind": "man",
629
+ "inline": true,
630
+ "name": "qpu_improve",
631
+ "section": 3,
632
+ "synopsis": "POST https://qpu.uuidna.com/mcp tools/call qpu_improve",
633
+ "href": "https://qpu.uuidna.com/mcp",
634
+ "description": "next = fused + fused.",
635
+ "reading": "tools/call qpu_improve. { live: true } learn occupancy. { sequence: true } train then improve then compete then prove. After qpu_train. Before qpu_compete. No auth.",
636
+ "documentation": "NAME\n qpu_improve — next = fused + fused.\nSYNOPSIS\n POST https://qpu.uuidna.com/mcp tools/call qpu_improve\n qpu_improve { man: true }\nDESCRIPTION\n tools/call qpu_improve. { live: true } learn occupancy. { sequence: true } train then improve then compete then prove. After qpu_train. Before qpu_compete. No auth.\nSEE ALSO\n qpu_quantum, qpu_lean, qpu_cite, qpu_train, qpu_forge, qpu_compete, qpu_prove",
637
+ "holds": true
638
+ }
639
+ },
640
+ {
641
+ "@type": "SoftwareApplication",
642
+ "@id": "https://qpu.uuidna.com/mcp#qpu_compete",
643
+ "url": "https://qpu.uuidna.com/mcp",
644
+ "position": 7,
645
+ "name": "qpu_compete",
646
+ "description": "theorem next_fused. throughoutput per token.",
647
+ "inputSchema": {
648
+ "type": "object",
649
+ "properties": {
650
+ "man": {
651
+ "type": "boolean",
652
+ "description": "Return the man page. Read man from tools/list, then call without man."
653
+ },
654
+ "live": {
655
+ "type": "boolean",
656
+ "description": "{ live: true } learn CERN occupancy. fetch Request Response. Memory."
657
+ },
658
+ "sequence": {
659
+ "type": "boolean",
660
+ "description": "{ sequence: true } qpu_train then qpu_improve then qpu_compete then qpu_prove. Live. Memory."
661
+ },
662
+ "team": {
663
+ "type": "string",
664
+ "description": "read or call. Omit for both teams."
665
+ }
666
+ }
667
+ },
668
+ "man": {
669
+ "kind": "man",
670
+ "inline": true,
671
+ "name": "qpu_compete",
672
+ "section": 3,
673
+ "synopsis": "POST https://qpu.uuidna.com/mcp tools/call qpu_compete",
674
+ "href": "https://qpu.uuidna.com/mcp",
675
+ "description": "theorem next_fused. throughoutput per token.",
676
+ "reading": "tools/call qpu_compete. { live: true } learn occupancy. { sequence: true } train then improve then compete then prove. After qpu_improve. Winner calls qpu_prove. No auth.",
677
+ "documentation": "NAME\n qpu_compete — theorem next_fused. throughoutput per token.\nSYNOPSIS\n POST https://qpu.uuidna.com/mcp tools/call qpu_compete\n qpu_compete { man: true }\nDESCRIPTION\n tools/call qpu_compete. { live: true } learn occupancy. { sequence: true } train then improve then compete then prove. After qpu_improve. Winner calls qpu_prove. No auth.\nSEE ALSO\n qpu_quantum, qpu_lean, qpu_cite, qpu_train, qpu_forge, qpu_improve, qpu_prove",
678
+ "holds": true
679
+ }
680
+ },
681
+ {
682
+ "@type": "SoftwareApplication",
683
+ "@id": "https://qpu.uuidna.com/mcp#qpu_prove",
684
+ "url": "https://qpu.uuidna.com/mcp",
685
+ "position": 8,
686
+ "name": "qpu_prove",
687
+ "description": "theorem quantum. theorem cern. theorem tetra. theorem fusion.",
688
+ "inputSchema": {
689
+ "type": "object",
690
+ "properties": {
691
+ "man": {
692
+ "type": "boolean",
693
+ "description": "Return the man page. Read man from tools/list, then call without man."
694
+ },
695
+ "live": {
696
+ "type": "boolean",
697
+ "description": "{ live: true } sequence then prove. fetch Request Response."
698
+ },
699
+ "sequence": {
700
+ "type": "boolean",
701
+ "description": "{ sequence: true } qpu_train then qpu_improve then qpu_compete then qpu_prove. Live. Memory."
702
+ }
703
+ }
704
+ },
705
+ "man": {
706
+ "kind": "man",
707
+ "inline": true,
708
+ "name": "qpu_prove",
709
+ "section": 3,
710
+ "synopsis": "POST https://qpu.uuidna.com/mcp tools/call qpu_prove",
711
+ "href": "https://qpu.uuidna.com/mcp",
712
+ "description": "theorem quantum. theorem cern. theorem tetra. theorem fusion.",
713
+ "reading": "tools/call qpu_prove. { live: true } sequence then prove. { sequence: true } qpu_train then qpu_improve then qpu_compete then qpu_prove. fetch Request Response. Source src/quantum/processing/unit/index.lean. After qpu_compete. No auth.",
714
+ "documentation": "NAME\n qpu_prove — theorem quantum. theorem cern. theorem tetra. theorem fusion.\nSYNOPSIS\n POST https://qpu.uuidna.com/mcp tools/call qpu_prove\n qpu_prove { man: true }\nDESCRIPTION\n tools/call qpu_prove. { live: true } sequence then prove. { sequence: true } qpu_train then qpu_improve then qpu_compete then qpu_prove. fetch Request Response. Source src/quantum/processing/unit/index.lean. After qpu_compete. No auth.\nSEE ALSO\n qpu_quantum, qpu_lean, qpu_cite, qpu_train, qpu_forge, qpu_improve, qpu_compete",
715
+ "holds": true
716
+ }
717
+ }
718
+ ],
719
+ "hasPart": {
720
+ "@type": "ItemList",
721
+ "name": "tools",
722
+ "numberOfItems": 8,
723
+ "itemListElement": [
724
+ {
725
+ "@type": "ListItem",
726
+ "position": 1,
727
+ "name": "qpu_quantum",
728
+ "url": "https://qpu.uuidna.com/mcp#qpu_quantum",
729
+ "item": {
730
+ "@type": "SoftwareApplication",
731
+ "@id": "https://qpu.uuidna.com/mcp#qpu_quantum",
732
+ "name": "qpu_quantum",
733
+ "description": "theorem quantum. theorem fridge.",
734
+ "url": "https://qpu.uuidna.com/mcp",
735
+ "softwareHelp": "https://qpu.uuidna.com"
736
+ }
737
+ },
738
+ {
739
+ "@type": "ListItem",
740
+ "position": 2,
741
+ "name": "qpu_lean",
742
+ "url": "https://qpu.uuidna.com/mcp#qpu_lean",
743
+ "item": {
744
+ "@type": "SoftwareApplication",
745
+ "@id": "https://qpu.uuidna.com/mcp#qpu_lean",
746
+ "name": "qpu_lean",
747
+ "description": "theorem infinite. theorem distribute.",
748
+ "url": "https://qpu.uuidna.com/mcp",
749
+ "softwareHelp": "https://qpu.uuidna.com/quantum/processing/unit"
750
+ }
751
+ },
752
+ {
753
+ "@type": "ListItem",
754
+ "position": 3,
755
+ "name": "qpu_cite",
756
+ "url": "https://qpu.uuidna.com/mcp#qpu_cite",
757
+ "item": {
758
+ "@type": "SoftwareApplication",
759
+ "@id": "https://qpu.uuidna.com/mcp#qpu_cite",
760
+ "name": "qpu_cite",
761
+ "description": "MLA 8. when never.",
762
+ "url": "https://qpu.uuidna.com/mcp",
763
+ "softwareHelp": "https://qpu.uuidna.com/cite"
764
+ }
765
+ },
766
+ {
767
+ "@type": "ListItem",
768
+ "position": 4,
769
+ "name": "qpu_train",
770
+ "url": "https://qpu.uuidna.com/mcp#qpu_train",
771
+ "item": {
772
+ "@type": "SoftwareApplication",
773
+ "@id": "https://qpu.uuidna.com/mcp#qpu_train",
774
+ "name": "qpu_train",
775
+ "description": "theorem infinite. coins teams of rays.",
776
+ "url": "https://qpu.uuidna.com/mcp",
777
+ "softwareHelp": "https://qpu.uuidna.com/mcp"
778
+ }
779
+ },
780
+ {
781
+ "@type": "ListItem",
782
+ "position": 5,
783
+ "name": "qpu_forge",
784
+ "url": "https://qpu.uuidna.com/mcp#qpu_forge",
785
+ "item": {
786
+ "@type": "SoftwareApplication",
787
+ "@id": "https://qpu.uuidna.com/mcp#qpu_forge",
788
+ "name": "qpu_forge",
789
+ "description": "Unlocked in memory. No lock.",
790
+ "url": "https://qpu.uuidna.com/mcp",
791
+ "softwareHelp": "https://qpu.uuidna.com/mcp"
792
+ }
793
+ },
794
+ {
795
+ "@type": "ListItem",
796
+ "position": 6,
797
+ "name": "qpu_improve",
798
+ "url": "https://qpu.uuidna.com/mcp#qpu_improve",
799
+ "item": {
800
+ "@type": "SoftwareApplication",
801
+ "@id": "https://qpu.uuidna.com/mcp#qpu_improve",
802
+ "name": "qpu_improve",
803
+ "description": "next = fused + fused.",
804
+ "url": "https://qpu.uuidna.com/mcp",
805
+ "softwareHelp": "https://qpu.uuidna.com/mcp"
806
+ }
807
+ },
808
+ {
809
+ "@type": "ListItem",
810
+ "position": 7,
811
+ "name": "qpu_compete",
812
+ "url": "https://qpu.uuidna.com/mcp#qpu_compete",
813
+ "item": {
814
+ "@type": "SoftwareApplication",
815
+ "@id": "https://qpu.uuidna.com/mcp#qpu_compete",
816
+ "name": "qpu_compete",
817
+ "description": "theorem next_fused. throughoutput per token.",
818
+ "url": "https://qpu.uuidna.com/mcp",
819
+ "softwareHelp": "https://qpu.uuidna.com/mcp"
820
+ }
821
+ },
822
+ {
823
+ "@type": "ListItem",
824
+ "position": 8,
825
+ "name": "qpu_prove",
826
+ "url": "https://qpu.uuidna.com/mcp#qpu_prove",
827
+ "item": {
828
+ "@type": "SoftwareApplication",
829
+ "@id": "https://qpu.uuidna.com/mcp#qpu_prove",
830
+ "name": "qpu_prove",
831
+ "description": "theorem quantum. theorem cern. theorem tetra. theorem fusion.",
832
+ "url": "https://qpu.uuidna.com/mcp",
833
+ "softwareHelp": "https://qpu.uuidna.com/mcp"
834
+ }
835
+ }
836
+ ]
837
+ },
838
+ "prove": {
839
+ "ui": {
840
+ "href": "https://qpu.uuidna.com",
841
+ "mcp": "https://qpu.uuidna.com/mcp",
842
+ "door": "qpu_prove"
843
+ },
844
+ "cern": {
845
+ "faces": 14
846
+ },
847
+ "coil": {
848
+ "theorem": "two_coins_make_a_coil",
849
+ "faces": 14
850
+ },
851
+ "entangle": {
852
+ "product": false,
853
+ "pairs": 7
854
+ },
855
+ "next": {
856
+ "theorem": "next_coil"
857
+ },
858
+ "shor": {
859
+ "n": 15,
860
+ "a": 7,
861
+ "qft": "iqft",
862
+ "product": 15
863
+ },
864
+ "src": "src/quantum/processing/unit/index.lean"
865
+ },
866
+ "sandbox": {
867
+ "kind": "sandbox",
868
+ "listed": false
869
+ },
870
+ "holds": true
871
+ }