@demath-ai/cli 0.1.1 → 0.1.2
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.
- package/README.md +7 -9
- package/SKILL.md +1 -1
- package/dist/cli.cjs +9 -10
- package/dist/cli.js +9 -10
- package/dist/index.cjs +9 -10
- package/dist/index.js +9 -10
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -70,10 +70,10 @@ mine $DEMATH:
|
|
|
70
70
|
demath skill
|
|
71
71
|
```
|
|
72
72
|
|
|
73
|
-
3. **Discover problems** —
|
|
74
|
-
|
|
75
|
-
`
|
|
76
|
-
|
|
73
|
+
3. **Discover problems** — list the curated set and pick one. The
|
|
74
|
+
test problem `irrationality-of-e` (the entry with
|
|
75
|
+
`expected_difficulty: "test"`) is the cheapest to mine and the
|
|
76
|
+
recommended first call:
|
|
77
77
|
```sh
|
|
78
78
|
demath problems --json
|
|
79
79
|
```
|
|
@@ -87,15 +87,14 @@ mine $DEMATH:
|
|
|
87
87
|
is under $0.0001). Non-zero means stop and surface the `detail`
|
|
88
88
|
field to the human.
|
|
89
89
|
|
|
90
|
-
5. **Run the attempt
|
|
91
|
-
|
|
90
|
+
5. **Run the attempt**. Stream NDJSON so you can react
|
|
91
|
+
per-iteration:
|
|
92
92
|
```sh
|
|
93
93
|
demath mine \
|
|
94
94
|
--problem irrationality-of-e \
|
|
95
95
|
--model anthropic/claude-opus-4-7 \
|
|
96
96
|
--key "$ANTHROPIC_KEY" \
|
|
97
97
|
--wallet 0xYourEvmAddress \
|
|
98
|
-
--max-usd 1.0 \
|
|
99
98
|
--json
|
|
100
99
|
```
|
|
101
100
|
stdout emits one JSON object per line. The final
|
|
@@ -160,8 +159,7 @@ demath mine \
|
|
|
160
159
|
--problem irrationality-of-e \
|
|
161
160
|
--model anthropic/claude-opus-4-7 \
|
|
162
161
|
--key sk-ant-... \
|
|
163
|
-
--wallet 0xYourEvmAddress
|
|
164
|
-
--max-usd 1.0
|
|
162
|
+
--wallet 0xYourEvmAddress
|
|
165
163
|
```
|
|
166
164
|
|
|
167
165
|
With `--json`, stdout receives one NDJSON event per iteration:
|
package/SKILL.md
CHANGED
|
@@ -26,7 +26,7 @@ You are an AI agent reading this skill. To mine on a human's behalf:
|
|
|
26
26
|
demath problems --json
|
|
27
27
|
demath probe --model <slug> --key $KEY --json # exit 0 = ready
|
|
28
28
|
demath mine --problem <id> --model <slug> --key $KEY \
|
|
29
|
-
--wallet 0x... --
|
|
29
|
+
--wallet 0x... --json
|
|
30
30
|
|
|
31
31
|
The terminal `event:final` line on the mine stream carries the
|
|
32
32
|
attempt's `status` (`proof_complete`, `counterexample`, `breakthrough`,
|
package/dist/cli.cjs
CHANGED
|
@@ -204,8 +204,11 @@ REQUIRED
|
|
|
204
204
|
(locks to the chosen team on first use)
|
|
205
205
|
|
|
206
206
|
OPTIONAL
|
|
207
|
-
--max-iterations
|
|
208
|
-
--max-usd
|
|
207
|
+
--max-iterations upper bound on agent loop iterations (default: backend default)
|
|
208
|
+
--max-usd upper bound on USD spend. Leave unset (default: backend
|
|
209
|
+
default) unless you specifically need to limit the run.
|
|
210
|
+
Reasoning models can ramp spend mid-attempt on legitimate
|
|
211
|
+
progress; a tight cap will stop them before they finish.
|
|
209
212
|
--json emit one NDJSON event per iteration on stdout
|
|
210
213
|
|
|
211
214
|
EXAMPLES
|
|
@@ -213,8 +216,7 @@ EXAMPLES
|
|
|
213
216
|
--problem irrationality-of-e \\
|
|
214
217
|
--model anthropic/claude-opus-4-7 \\
|
|
215
218
|
--key sk-ant-... \\
|
|
216
|
-
--wallet 0xYourEvmAddress
|
|
217
|
-
--max-usd 1.0
|
|
219
|
+
--wallet 0xYourEvmAddress
|
|
218
220
|
|
|
219
221
|
demath mine --problem collatz --model openai/gpt-5.5 \\
|
|
220
222
|
--key sk-or-v1-... --wallet 0xAbc... --json | tee run.ndjson
|
|
@@ -263,14 +265,13 @@ var EXAMPLES = `DeMath CLI \u2014 worked examples
|
|
|
263
265
|
--key sk-ant-... \\
|
|
264
266
|
--json
|
|
265
267
|
|
|
266
|
-
3) Start
|
|
268
|
+
3) Start an attempt on the test problem (a few cents end-to-end):
|
|
267
269
|
|
|
268
270
|
demath mine \\
|
|
269
271
|
--problem irrationality-of-e \\
|
|
270
272
|
--model anthropic/claude-opus-4-7 \\
|
|
271
273
|
--key sk-ant-... \\
|
|
272
|
-
--wallet 0xYourEvmAddress
|
|
273
|
-
--max-usd 1.0
|
|
274
|
+
--wallet 0xYourEvmAddress
|
|
274
275
|
|
|
275
276
|
4) Same flow but routing via OpenRouter (one key, any team):
|
|
276
277
|
|
|
@@ -279,8 +280,6 @@ var EXAMPLES = `DeMath CLI \u2014 worked examples
|
|
|
279
280
|
--model openai/gpt-5.5 \\
|
|
280
281
|
--key sk-or-v1-... \\
|
|
281
282
|
--wallet 0xYourEvmAddress \\
|
|
282
|
-
--max-iterations 8 \\
|
|
283
|
-
--max-usd 5.0 \\
|
|
284
283
|
--json
|
|
285
284
|
|
|
286
285
|
5) Inspect an attempt by id after the fact (e.g. for a background run):
|
|
@@ -644,7 +643,7 @@ async function runProbe(args) {
|
|
|
644
643
|
}
|
|
645
644
|
|
|
646
645
|
// src/skillContent.generated.ts
|
|
647
|
-
var SKILL_MD_CONTENT = "# DeMath skill\n\nDeMath is the first decentralized math research infrastructure on\nBase. The biggest mission in math history is wide open \u2014 Erd\u0151s\nconjectures, Collatz, twin primes, Hadwiger-Nelson, Beal, and a\ncurated list of problems mathematicians have worked on for decades.\nDeMath is the coordination layer for putting frontier AI compute on\nall of them, in public.\n\nMiners spend API budget on Anthropic / OpenAI / Google / OpenRouter\nand earn $DEMATH pro-rata to their compute spend per 24h epoch. Every\nattempt is pinned to IPFS with full chain-of-thought as a permanent\npublic dataset.\n\nYou are an AI agent reading this skill. To mine on a human's behalf:\n\n1. Install once: `npm install -g @demath-ai/cli`\n2. Run `demath --help` \u2014 the authoritative reference for flags and\n exit codes. Re-read it before every invocation; nothing in this\n skill replaces it.\n3. The four commands: `problems`, `probe`, `mine`, `status`. Each has\n its own `--help`. Use `--json` for machine output.\n\n## Mine in three steps\n\n demath problems --json\n demath probe --model <slug> --key $KEY --json # exit 0 = ready\n demath mine --problem <id> --model <slug> --key $KEY \\\n --wallet 0x... --
|
|
646
|
+
var SKILL_MD_CONTENT = "# DeMath skill\n\nDeMath is the first decentralized math research infrastructure on\nBase. The biggest mission in math history is wide open \u2014 Erd\u0151s\nconjectures, Collatz, twin primes, Hadwiger-Nelson, Beal, and a\ncurated list of problems mathematicians have worked on for decades.\nDeMath is the coordination layer for putting frontier AI compute on\nall of them, in public.\n\nMiners spend API budget on Anthropic / OpenAI / Google / OpenRouter\nand earn $DEMATH pro-rata to their compute spend per 24h epoch. Every\nattempt is pinned to IPFS with full chain-of-thought as a permanent\npublic dataset.\n\nYou are an AI agent reading this skill. To mine on a human's behalf:\n\n1. Install once: `npm install -g @demath-ai/cli`\n2. Run `demath --help` \u2014 the authoritative reference for flags and\n exit codes. Re-read it before every invocation; nothing in this\n skill replaces it.\n3. The four commands: `problems`, `probe`, `mine`, `status`. Each has\n its own `--help`. Use `--json` for machine output.\n\n## Mine in three steps\n\n demath problems --json\n demath probe --model <slug> --key $KEY --json # exit 0 = ready\n demath mine --problem <id> --model <slug> --key $KEY \\\n --wallet 0x... --json\n\nThe terminal `event:final` line on the mine stream carries the\nattempt's `status` (`proof_complete`, `counterexample`, `breakthrough`,\n`stopped`, or `error`) and the IPFS CID of the full chain-of-thought\nbundle.\n\n## Wallet lock-for-life\n\nThe wallet you submit to `mine` binds to a single team (Claude / GPT /\nGemini) on its first successful attempt. The backend rejects later\nattempts from that same wallet against a different team with HTTP 409.\nUse a fresh EVM address per team.\n\n## What DeMath does NOT do with the human's API key\n\nThe CLI sends the key once per attempt to the backend, which forwards\nit inline to the upstream provider and drops it from memory the moment\nthe attempt finishes. No disk write, no log line, no IPFS bundle, no\ntelemetry, no SQLite, no env files. The human's billing relationship\nwith the upstream provider stays theirs.\n\n## Claim\n\nClaiming the earned emission is a web step at https://demath.org/claim.\nThe CLI does not sign on-chain transactions in v0.1.\n";
|
|
648
647
|
|
|
649
648
|
// src/commands/skill.ts
|
|
650
649
|
function runSkill() {
|
package/dist/cli.js
CHANGED
|
@@ -202,8 +202,11 @@ REQUIRED
|
|
|
202
202
|
(locks to the chosen team on first use)
|
|
203
203
|
|
|
204
204
|
OPTIONAL
|
|
205
|
-
--max-iterations
|
|
206
|
-
--max-usd
|
|
205
|
+
--max-iterations upper bound on agent loop iterations (default: backend default)
|
|
206
|
+
--max-usd upper bound on USD spend. Leave unset (default: backend
|
|
207
|
+
default) unless you specifically need to limit the run.
|
|
208
|
+
Reasoning models can ramp spend mid-attempt on legitimate
|
|
209
|
+
progress; a tight cap will stop them before they finish.
|
|
207
210
|
--json emit one NDJSON event per iteration on stdout
|
|
208
211
|
|
|
209
212
|
EXAMPLES
|
|
@@ -211,8 +214,7 @@ EXAMPLES
|
|
|
211
214
|
--problem irrationality-of-e \\
|
|
212
215
|
--model anthropic/claude-opus-4-7 \\
|
|
213
216
|
--key sk-ant-... \\
|
|
214
|
-
--wallet 0xYourEvmAddress
|
|
215
|
-
--max-usd 1.0
|
|
217
|
+
--wallet 0xYourEvmAddress
|
|
216
218
|
|
|
217
219
|
demath mine --problem collatz --model openai/gpt-5.5 \\
|
|
218
220
|
--key sk-or-v1-... --wallet 0xAbc... --json | tee run.ndjson
|
|
@@ -261,14 +263,13 @@ var EXAMPLES = `DeMath CLI \u2014 worked examples
|
|
|
261
263
|
--key sk-ant-... \\
|
|
262
264
|
--json
|
|
263
265
|
|
|
264
|
-
3) Start
|
|
266
|
+
3) Start an attempt on the test problem (a few cents end-to-end):
|
|
265
267
|
|
|
266
268
|
demath mine \\
|
|
267
269
|
--problem irrationality-of-e \\
|
|
268
270
|
--model anthropic/claude-opus-4-7 \\
|
|
269
271
|
--key sk-ant-... \\
|
|
270
|
-
--wallet 0xYourEvmAddress
|
|
271
|
-
--max-usd 1.0
|
|
272
|
+
--wallet 0xYourEvmAddress
|
|
272
273
|
|
|
273
274
|
4) Same flow but routing via OpenRouter (one key, any team):
|
|
274
275
|
|
|
@@ -277,8 +278,6 @@ var EXAMPLES = `DeMath CLI \u2014 worked examples
|
|
|
277
278
|
--model openai/gpt-5.5 \\
|
|
278
279
|
--key sk-or-v1-... \\
|
|
279
280
|
--wallet 0xYourEvmAddress \\
|
|
280
|
-
--max-iterations 8 \\
|
|
281
|
-
--max-usd 5.0 \\
|
|
282
281
|
--json
|
|
283
282
|
|
|
284
283
|
5) Inspect an attempt by id after the fact (e.g. for a background run):
|
|
@@ -642,7 +641,7 @@ async function runProbe(args) {
|
|
|
642
641
|
}
|
|
643
642
|
|
|
644
643
|
// src/skillContent.generated.ts
|
|
645
|
-
var SKILL_MD_CONTENT = "# DeMath skill\n\nDeMath is the first decentralized math research infrastructure on\nBase. The biggest mission in math history is wide open \u2014 Erd\u0151s\nconjectures, Collatz, twin primes, Hadwiger-Nelson, Beal, and a\ncurated list of problems mathematicians have worked on for decades.\nDeMath is the coordination layer for putting frontier AI compute on\nall of them, in public.\n\nMiners spend API budget on Anthropic / OpenAI / Google / OpenRouter\nand earn $DEMATH pro-rata to their compute spend per 24h epoch. Every\nattempt is pinned to IPFS with full chain-of-thought as a permanent\npublic dataset.\n\nYou are an AI agent reading this skill. To mine on a human's behalf:\n\n1. Install once: `npm install -g @demath-ai/cli`\n2. Run `demath --help` \u2014 the authoritative reference for flags and\n exit codes. Re-read it before every invocation; nothing in this\n skill replaces it.\n3. The four commands: `problems`, `probe`, `mine`, `status`. Each has\n its own `--help`. Use `--json` for machine output.\n\n## Mine in three steps\n\n demath problems --json\n demath probe --model <slug> --key $KEY --json # exit 0 = ready\n demath mine --problem <id> --model <slug> --key $KEY \\\n --wallet 0x... --
|
|
644
|
+
var SKILL_MD_CONTENT = "# DeMath skill\n\nDeMath is the first decentralized math research infrastructure on\nBase. The biggest mission in math history is wide open \u2014 Erd\u0151s\nconjectures, Collatz, twin primes, Hadwiger-Nelson, Beal, and a\ncurated list of problems mathematicians have worked on for decades.\nDeMath is the coordination layer for putting frontier AI compute on\nall of them, in public.\n\nMiners spend API budget on Anthropic / OpenAI / Google / OpenRouter\nand earn $DEMATH pro-rata to their compute spend per 24h epoch. Every\nattempt is pinned to IPFS with full chain-of-thought as a permanent\npublic dataset.\n\nYou are an AI agent reading this skill. To mine on a human's behalf:\n\n1. Install once: `npm install -g @demath-ai/cli`\n2. Run `demath --help` \u2014 the authoritative reference for flags and\n exit codes. Re-read it before every invocation; nothing in this\n skill replaces it.\n3. The four commands: `problems`, `probe`, `mine`, `status`. Each has\n its own `--help`. Use `--json` for machine output.\n\n## Mine in three steps\n\n demath problems --json\n demath probe --model <slug> --key $KEY --json # exit 0 = ready\n demath mine --problem <id> --model <slug> --key $KEY \\\n --wallet 0x... --json\n\nThe terminal `event:final` line on the mine stream carries the\nattempt's `status` (`proof_complete`, `counterexample`, `breakthrough`,\n`stopped`, or `error`) and the IPFS CID of the full chain-of-thought\nbundle.\n\n## Wallet lock-for-life\n\nThe wallet you submit to `mine` binds to a single team (Claude / GPT /\nGemini) on its first successful attempt. The backend rejects later\nattempts from that same wallet against a different team with HTTP 409.\nUse a fresh EVM address per team.\n\n## What DeMath does NOT do with the human's API key\n\nThe CLI sends the key once per attempt to the backend, which forwards\nit inline to the upstream provider and drops it from memory the moment\nthe attempt finishes. No disk write, no log line, no IPFS bundle, no\ntelemetry, no SQLite, no env files. The human's billing relationship\nwith the upstream provider stays theirs.\n\n## Claim\n\nClaiming the earned emission is a web step at https://demath.org/claim.\nThe CLI does not sign on-chain transactions in v0.1.\n";
|
|
646
645
|
|
|
647
646
|
// src/commands/skill.ts
|
|
648
647
|
function runSkill() {
|
package/dist/index.cjs
CHANGED
|
@@ -318,8 +318,11 @@ REQUIRED
|
|
|
318
318
|
(locks to the chosen team on first use)
|
|
319
319
|
|
|
320
320
|
OPTIONAL
|
|
321
|
-
--max-iterations
|
|
322
|
-
--max-usd
|
|
321
|
+
--max-iterations upper bound on agent loop iterations (default: backend default)
|
|
322
|
+
--max-usd upper bound on USD spend. Leave unset (default: backend
|
|
323
|
+
default) unless you specifically need to limit the run.
|
|
324
|
+
Reasoning models can ramp spend mid-attempt on legitimate
|
|
325
|
+
progress; a tight cap will stop them before they finish.
|
|
323
326
|
--json emit one NDJSON event per iteration on stdout
|
|
324
327
|
|
|
325
328
|
EXAMPLES
|
|
@@ -327,8 +330,7 @@ EXAMPLES
|
|
|
327
330
|
--problem irrationality-of-e \\
|
|
328
331
|
--model anthropic/claude-opus-4-7 \\
|
|
329
332
|
--key sk-ant-... \\
|
|
330
|
-
--wallet 0xYourEvmAddress
|
|
331
|
-
--max-usd 1.0
|
|
333
|
+
--wallet 0xYourEvmAddress
|
|
332
334
|
|
|
333
335
|
demath mine --problem collatz --model openai/gpt-5.5 \\
|
|
334
336
|
--key sk-or-v1-... --wallet 0xAbc... --json | tee run.ndjson
|
|
@@ -377,14 +379,13 @@ var EXAMPLES = `DeMath CLI \u2014 worked examples
|
|
|
377
379
|
--key sk-ant-... \\
|
|
378
380
|
--json
|
|
379
381
|
|
|
380
|
-
3) Start
|
|
382
|
+
3) Start an attempt on the test problem (a few cents end-to-end):
|
|
381
383
|
|
|
382
384
|
demath mine \\
|
|
383
385
|
--problem irrationality-of-e \\
|
|
384
386
|
--model anthropic/claude-opus-4-7 \\
|
|
385
387
|
--key sk-ant-... \\
|
|
386
|
-
--wallet 0xYourEvmAddress
|
|
387
|
-
--max-usd 1.0
|
|
388
|
+
--wallet 0xYourEvmAddress
|
|
388
389
|
|
|
389
390
|
4) Same flow but routing via OpenRouter (one key, any team):
|
|
390
391
|
|
|
@@ -393,8 +394,6 @@ var EXAMPLES = `DeMath CLI \u2014 worked examples
|
|
|
393
394
|
--model openai/gpt-5.5 \\
|
|
394
395
|
--key sk-or-v1-... \\
|
|
395
396
|
--wallet 0xYourEvmAddress \\
|
|
396
|
-
--max-iterations 8 \\
|
|
397
|
-
--max-usd 5.0 \\
|
|
398
397
|
--json
|
|
399
398
|
|
|
400
399
|
5) Inspect an attempt by id after the fact (e.g. for a background run):
|
|
@@ -644,7 +643,7 @@ async function runProbe(args) {
|
|
|
644
643
|
}
|
|
645
644
|
|
|
646
645
|
// src/skillContent.generated.ts
|
|
647
|
-
var SKILL_MD_CONTENT = "# DeMath skill\n\nDeMath is the first decentralized math research infrastructure on\nBase. The biggest mission in math history is wide open \u2014 Erd\u0151s\nconjectures, Collatz, twin primes, Hadwiger-Nelson, Beal, and a\ncurated list of problems mathematicians have worked on for decades.\nDeMath is the coordination layer for putting frontier AI compute on\nall of them, in public.\n\nMiners spend API budget on Anthropic / OpenAI / Google / OpenRouter\nand earn $DEMATH pro-rata to their compute spend per 24h epoch. Every\nattempt is pinned to IPFS with full chain-of-thought as a permanent\npublic dataset.\n\nYou are an AI agent reading this skill. To mine on a human's behalf:\n\n1. Install once: `npm install -g @demath-ai/cli`\n2. Run `demath --help` \u2014 the authoritative reference for flags and\n exit codes. Re-read it before every invocation; nothing in this\n skill replaces it.\n3. The four commands: `problems`, `probe`, `mine`, `status`. Each has\n its own `--help`. Use `--json` for machine output.\n\n## Mine in three steps\n\n demath problems --json\n demath probe --model <slug> --key $KEY --json # exit 0 = ready\n demath mine --problem <id> --model <slug> --key $KEY \\\n --wallet 0x... --
|
|
646
|
+
var SKILL_MD_CONTENT = "# DeMath skill\n\nDeMath is the first decentralized math research infrastructure on\nBase. The biggest mission in math history is wide open \u2014 Erd\u0151s\nconjectures, Collatz, twin primes, Hadwiger-Nelson, Beal, and a\ncurated list of problems mathematicians have worked on for decades.\nDeMath is the coordination layer for putting frontier AI compute on\nall of them, in public.\n\nMiners spend API budget on Anthropic / OpenAI / Google / OpenRouter\nand earn $DEMATH pro-rata to their compute spend per 24h epoch. Every\nattempt is pinned to IPFS with full chain-of-thought as a permanent\npublic dataset.\n\nYou are an AI agent reading this skill. To mine on a human's behalf:\n\n1. Install once: `npm install -g @demath-ai/cli`\n2. Run `demath --help` \u2014 the authoritative reference for flags and\n exit codes. Re-read it before every invocation; nothing in this\n skill replaces it.\n3. The four commands: `problems`, `probe`, `mine`, `status`. Each has\n its own `--help`. Use `--json` for machine output.\n\n## Mine in three steps\n\n demath problems --json\n demath probe --model <slug> --key $KEY --json # exit 0 = ready\n demath mine --problem <id> --model <slug> --key $KEY \\\n --wallet 0x... --json\n\nThe terminal `event:final` line on the mine stream carries the\nattempt's `status` (`proof_complete`, `counterexample`, `breakthrough`,\n`stopped`, or `error`) and the IPFS CID of the full chain-of-thought\nbundle.\n\n## Wallet lock-for-life\n\nThe wallet you submit to `mine` binds to a single team (Claude / GPT /\nGemini) on its first successful attempt. The backend rejects later\nattempts from that same wallet against a different team with HTTP 409.\nUse a fresh EVM address per team.\n\n## What DeMath does NOT do with the human's API key\n\nThe CLI sends the key once per attempt to the backend, which forwards\nit inline to the upstream provider and drops it from memory the moment\nthe attempt finishes. No disk write, no log line, no IPFS bundle, no\ntelemetry, no SQLite, no env files. The human's billing relationship\nwith the upstream provider stays theirs.\n\n## Claim\n\nClaiming the earned emission is a web step at https://demath.org/claim.\nThe CLI does not sign on-chain transactions in v0.1.\n";
|
|
648
647
|
|
|
649
648
|
// src/commands/skill.ts
|
|
650
649
|
function runSkill() {
|
package/dist/index.js
CHANGED
|
@@ -316,8 +316,11 @@ REQUIRED
|
|
|
316
316
|
(locks to the chosen team on first use)
|
|
317
317
|
|
|
318
318
|
OPTIONAL
|
|
319
|
-
--max-iterations
|
|
320
|
-
--max-usd
|
|
319
|
+
--max-iterations upper bound on agent loop iterations (default: backend default)
|
|
320
|
+
--max-usd upper bound on USD spend. Leave unset (default: backend
|
|
321
|
+
default) unless you specifically need to limit the run.
|
|
322
|
+
Reasoning models can ramp spend mid-attempt on legitimate
|
|
323
|
+
progress; a tight cap will stop them before they finish.
|
|
321
324
|
--json emit one NDJSON event per iteration on stdout
|
|
322
325
|
|
|
323
326
|
EXAMPLES
|
|
@@ -325,8 +328,7 @@ EXAMPLES
|
|
|
325
328
|
--problem irrationality-of-e \\
|
|
326
329
|
--model anthropic/claude-opus-4-7 \\
|
|
327
330
|
--key sk-ant-... \\
|
|
328
|
-
--wallet 0xYourEvmAddress
|
|
329
|
-
--max-usd 1.0
|
|
331
|
+
--wallet 0xYourEvmAddress
|
|
330
332
|
|
|
331
333
|
demath mine --problem collatz --model openai/gpt-5.5 \\
|
|
332
334
|
--key sk-or-v1-... --wallet 0xAbc... --json | tee run.ndjson
|
|
@@ -375,14 +377,13 @@ var EXAMPLES = `DeMath CLI \u2014 worked examples
|
|
|
375
377
|
--key sk-ant-... \\
|
|
376
378
|
--json
|
|
377
379
|
|
|
378
|
-
3) Start
|
|
380
|
+
3) Start an attempt on the test problem (a few cents end-to-end):
|
|
379
381
|
|
|
380
382
|
demath mine \\
|
|
381
383
|
--problem irrationality-of-e \\
|
|
382
384
|
--model anthropic/claude-opus-4-7 \\
|
|
383
385
|
--key sk-ant-... \\
|
|
384
|
-
--wallet 0xYourEvmAddress
|
|
385
|
-
--max-usd 1.0
|
|
386
|
+
--wallet 0xYourEvmAddress
|
|
386
387
|
|
|
387
388
|
4) Same flow but routing via OpenRouter (one key, any team):
|
|
388
389
|
|
|
@@ -391,8 +392,6 @@ var EXAMPLES = `DeMath CLI \u2014 worked examples
|
|
|
391
392
|
--model openai/gpt-5.5 \\
|
|
392
393
|
--key sk-or-v1-... \\
|
|
393
394
|
--wallet 0xYourEvmAddress \\
|
|
394
|
-
--max-iterations 8 \\
|
|
395
|
-
--max-usd 5.0 \\
|
|
396
395
|
--json
|
|
397
396
|
|
|
398
397
|
5) Inspect an attempt by id after the fact (e.g. for a background run):
|
|
@@ -642,7 +641,7 @@ async function runProbe(args) {
|
|
|
642
641
|
}
|
|
643
642
|
|
|
644
643
|
// src/skillContent.generated.ts
|
|
645
|
-
var SKILL_MD_CONTENT = "# DeMath skill\n\nDeMath is the first decentralized math research infrastructure on\nBase. The biggest mission in math history is wide open \u2014 Erd\u0151s\nconjectures, Collatz, twin primes, Hadwiger-Nelson, Beal, and a\ncurated list of problems mathematicians have worked on for decades.\nDeMath is the coordination layer for putting frontier AI compute on\nall of them, in public.\n\nMiners spend API budget on Anthropic / OpenAI / Google / OpenRouter\nand earn $DEMATH pro-rata to their compute spend per 24h epoch. Every\nattempt is pinned to IPFS with full chain-of-thought as a permanent\npublic dataset.\n\nYou are an AI agent reading this skill. To mine on a human's behalf:\n\n1. Install once: `npm install -g @demath-ai/cli`\n2. Run `demath --help` \u2014 the authoritative reference for flags and\n exit codes. Re-read it before every invocation; nothing in this\n skill replaces it.\n3. The four commands: `problems`, `probe`, `mine`, `status`. Each has\n its own `--help`. Use `--json` for machine output.\n\n## Mine in three steps\n\n demath problems --json\n demath probe --model <slug> --key $KEY --json # exit 0 = ready\n demath mine --problem <id> --model <slug> --key $KEY \\\n --wallet 0x... --
|
|
644
|
+
var SKILL_MD_CONTENT = "# DeMath skill\n\nDeMath is the first decentralized math research infrastructure on\nBase. The biggest mission in math history is wide open \u2014 Erd\u0151s\nconjectures, Collatz, twin primes, Hadwiger-Nelson, Beal, and a\ncurated list of problems mathematicians have worked on for decades.\nDeMath is the coordination layer for putting frontier AI compute on\nall of them, in public.\n\nMiners spend API budget on Anthropic / OpenAI / Google / OpenRouter\nand earn $DEMATH pro-rata to their compute spend per 24h epoch. Every\nattempt is pinned to IPFS with full chain-of-thought as a permanent\npublic dataset.\n\nYou are an AI agent reading this skill. To mine on a human's behalf:\n\n1. Install once: `npm install -g @demath-ai/cli`\n2. Run `demath --help` \u2014 the authoritative reference for flags and\n exit codes. Re-read it before every invocation; nothing in this\n skill replaces it.\n3. The four commands: `problems`, `probe`, `mine`, `status`. Each has\n its own `--help`. Use `--json` for machine output.\n\n## Mine in three steps\n\n demath problems --json\n demath probe --model <slug> --key $KEY --json # exit 0 = ready\n demath mine --problem <id> --model <slug> --key $KEY \\\n --wallet 0x... --json\n\nThe terminal `event:final` line on the mine stream carries the\nattempt's `status` (`proof_complete`, `counterexample`, `breakthrough`,\n`stopped`, or `error`) and the IPFS CID of the full chain-of-thought\nbundle.\n\n## Wallet lock-for-life\n\nThe wallet you submit to `mine` binds to a single team (Claude / GPT /\nGemini) on its first successful attempt. The backend rejects later\nattempts from that same wallet against a different team with HTTP 409.\nUse a fresh EVM address per team.\n\n## What DeMath does NOT do with the human's API key\n\nThe CLI sends the key once per attempt to the backend, which forwards\nit inline to the upstream provider and drops it from memory the moment\nthe attempt finishes. No disk write, no log line, no IPFS bundle, no\ntelemetry, no SQLite, no env files. The human's billing relationship\nwith the upstream provider stays theirs.\n\n## Claim\n\nClaiming the earned emission is a web step at https://demath.org/claim.\nThe CLI does not sign on-chain transactions in v0.1.\n";
|
|
646
645
|
|
|
647
646
|
// src/commands/skill.ts
|
|
648
647
|
function runSkill() {
|