erdos-problems 0.2.3 → 0.2.4
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 -0
- package/assets/social-card.png +0 -0
- package/assets/social-card.svg +15 -0
- package/docs/LAUNCH_KIT.md +8 -3
- package/package.json +10 -1
package/README.md
CHANGED
|
@@ -6,9 +6,14 @@
|
|
|
6
6
|
|
|
7
7
|
[](https://www.npmjs.com/package/erdos-problems)
|
|
8
8
|
[](https://www.npmjs.com/package/erdos-problems)
|
|
9
|
+
[](https://github.com/SproutSeeds/erdos-problems/stargazers)
|
|
10
|
+
[](https://github.com/SproutSeeds/erdos-problems/issues)
|
|
11
|
+
[](https://github.com/SproutSeeds/erdos-problems/discussions)
|
|
9
12
|
[](./LICENSE)
|
|
10
13
|
[](https://www.npmjs.com/package/erdos-problems)
|
|
11
14
|
|
|
15
|
+

|
|
16
|
+
|
|
12
17
|
```text
|
|
13
18
|
erdos-problems
|
|
14
19
|
atlas -> dossier -> pack -> checkpoint -> archive
|
|
@@ -17,6 +22,8 @@ atlas -> dossier -> pack -> checkpoint -> archive
|
|
|
17
22
|
`erdos-problems` is a CLI atlas and staged research harness for Paul Erdos problems.
|
|
18
23
|
It is built for people who want more than a problem list and for agents that need a real starting surface on day one.
|
|
19
24
|
|
|
25
|
+
**Links:** [GitHub](https://github.com/SproutSeeds/erdos-problems) · [npm](https://www.npmjs.com/package/erdos-problems)
|
|
26
|
+
|
|
20
27
|
## Why It Feels Different
|
|
21
28
|
|
|
22
29
|
Most open-problem repos stop at metadata.
|
|
Binary file
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
<svg width="1280" height="640" viewBox="0 0 1280 640" fill="none" xmlns="http://www.w3.org/2000/svg">
|
|
2
|
+
<rect width="1280" height="640" fill="#F3EBDD"/>
|
|
3
|
+
<rect x="40" y="40" width="1200" height="560" rx="28" fill="#111111"/>
|
|
4
|
+
<rect x="78" y="78" width="1124" height="484" rx="18" fill="#181818" stroke="#C86A3E" stroke-width="2"/>
|
|
5
|
+
|
|
6
|
+
<text x="104" y="168" fill="#F3EBDD" font-family="Menlo, Monaco, Consolas, monospace" font-size="28">erdos-problems</text>
|
|
7
|
+
<text x="104" y="228" fill="#F3EBDD" font-family="Georgia, 'Times New Roman', serif" font-size="68" font-weight="700">Research cockpit</text>
|
|
8
|
+
<text x="104" y="302" fill="#F3EBDD" font-family="Georgia, 'Times New Roman', serif" font-size="68" font-weight="700">for Paul Erdos problems</text>
|
|
9
|
+
|
|
10
|
+
<text x="104" y="392" fill="#DDB892" font-family="Menlo, Monaco, Consolas, monospace" font-size="28">atlas -> dossier -> pack -> checkpoint -> archive</text>
|
|
11
|
+
<text x="104" y="446" fill="#DDB892" font-family="Menlo, Monaco, Consolas, monospace" font-size="24">seed a problem | hand it to an agent | keep the truth clean</text>
|
|
12
|
+
|
|
13
|
+
<rect x="104" y="490" width="350" height="54" rx="12" fill="#C86A3E"/>
|
|
14
|
+
<text x="134" y="525" fill="#111111" font-family="Menlo, Monaco, Consolas, monospace" font-size="24" font-weight="700">npm install -g erdos-problems</text>
|
|
15
|
+
</svg>
|
package/docs/LAUNCH_KIT.md
CHANGED
|
@@ -17,7 +17,7 @@ Long version:
|
|
|
17
17
|
- Research cockpit for Paul Erdos problems.
|
|
18
18
|
|
|
19
19
|
### Short post
|
|
20
|
-
- I just released `erdos-problems`: a CLI atlas and agent-ready research harness for Paul Erdos problems. It ships canonical dossiers, ORP-governed workspaces, self-seeding flows, and deeper cockpits for the sunflower family. Install with `npm install -g erdos-problems`.
|
|
20
|
+
- I just released `erdos-problems`: a CLI atlas and agent-ready research harness for Paul Erdos problems. It ships canonical dossiers, ORP-governed workspaces, self-seeding flows, and deeper cockpits for the sunflower family. Install with `npm install -g erdos-problems`. GitHub: https://github.com/SproutSeeds/erdos-problems
|
|
21
21
|
|
|
22
22
|
### Longer post
|
|
23
23
|
- I just released `erdos-problems`, a CLI atlas and staged research harness for Paul Erdos problems. The goal is not just to list problems, but to make them operational for real research. The package bundles upstream problem data, creates canonical dossiers, scaffolds ORP-governed workspaces, supports one-step self-seeding for new problems, and already includes deeper family-specific cockpits for sunflower, number theory, and graph-theory archive work. It is designed so a person or agent can install it at night and start honest, structured work immediately.
|
|
@@ -59,8 +59,8 @@ Recommended repo tagline:
|
|
|
59
59
|
- Research cockpit for Paul Erdos problems.
|
|
60
60
|
|
|
61
61
|
Recommended social preview:
|
|
62
|
-
- `assets/social-card.svg`
|
|
63
|
-
-
|
|
62
|
+
- editable source: `assets/social-card.svg`
|
|
63
|
+
- upload-ready raster: `assets/social-card.png`
|
|
64
64
|
|
|
65
65
|
Recommended pinned bullets:
|
|
66
66
|
- atlas + dossiers
|
|
@@ -82,3 +82,8 @@ Recommended lead screenshot substitute:
|
|
|
82
82
|
- add repo description/tagline
|
|
83
83
|
- pin a short demo GIF or screenshot later if desired
|
|
84
84
|
- post the one-liner + short post copy
|
|
85
|
+
|
|
86
|
+
## Live links
|
|
87
|
+
|
|
88
|
+
- GitHub: https://github.com/SproutSeeds/erdos-problems
|
|
89
|
+
- npm: https://www.npmjs.com/package/erdos-problems
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "erdos-problems",
|
|
3
|
-
"version": "0.2.
|
|
3
|
+
"version": "0.2.4",
|
|
4
4
|
"description": "Research cockpit and agent-ready CLI atlas for Paul Erdos problems.",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"bin": {
|
|
@@ -13,6 +13,7 @@
|
|
|
13
13
|
"AGENT_INTEGRATION.md",
|
|
14
14
|
"bin",
|
|
15
15
|
"data",
|
|
16
|
+
"assets",
|
|
16
17
|
"docs",
|
|
17
18
|
"packs",
|
|
18
19
|
"problems",
|
|
@@ -42,5 +43,13 @@
|
|
|
42
43
|
"license": "MIT",
|
|
43
44
|
"engines": {
|
|
44
45
|
"node": ">=20"
|
|
46
|
+
},
|
|
47
|
+
"repository": {
|
|
48
|
+
"type": "git",
|
|
49
|
+
"url": "git+https://github.com/SproutSeeds/erdos-problems.git"
|
|
50
|
+
},
|
|
51
|
+
"homepage": "https://github.com/SproutSeeds/erdos-problems#readme",
|
|
52
|
+
"bugs": {
|
|
53
|
+
"url": "https://github.com/SproutSeeds/erdos-problems/issues"
|
|
45
54
|
}
|
|
46
55
|
}
|