agentic-lang 0.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 (146) hide show
  1. package/COMMUNITY.md +220 -0
  2. package/CONTRIBUTING.md +194 -0
  3. package/FINAL_REPORT.md +398 -0
  4. package/FOR_OTHER_LLMS.md +286 -0
  5. package/IMPROVEMENTS.md +319 -0
  6. package/LAUNCH_GUIDE.md +388 -0
  7. package/LICENSE +21 -0
  8. package/NPM_PUBLISH.md +257 -0
  9. package/PROJECT_COMPLETE.md +414 -0
  10. package/PROJECT_OVERVIEW.md +265 -0
  11. package/PROJECT_TREE.txt +228 -0
  12. package/PUBLISHING_GUIDE.md +426 -0
  13. package/PUBLISH_NOW.md +337 -0
  14. package/QUICKSTART.md +207 -0
  15. package/README.md +195 -0
  16. package/README_ENHANCED.md +329 -0
  17. package/READY_TO_LAUNCH.txt +56 -0
  18. package/REFACTOR_PLAN.md +179 -0
  19. package/ROADMAP.md +201 -0
  20. package/SUMMARY.md +315 -0
  21. package/bin/agentic.js +3 -0
  22. package/blog/001-introducing-agentic.md +382 -0
  23. package/blog/002-confidence-driven-development.md +490 -0
  24. package/blog/003-formal-verification.md +427 -0
  25. package/blog/004-multi-agent-production.md +436 -0
  26. package/dist/cli.d.ts +7 -0
  27. package/dist/cli.d.ts.map +1 -0
  28. package/dist/cli.js +151 -0
  29. package/dist/cli.js.map +1 -0
  30. package/dist/diagnostics/diagnostic.d.ts +115 -0
  31. package/dist/diagnostics/diagnostic.d.ts.map +1 -0
  32. package/dist/diagnostics/diagnostic.js +101 -0
  33. package/dist/diagnostics/diagnostic.js.map +1 -0
  34. package/dist/diagnostics/formatter.d.ts +36 -0
  35. package/dist/diagnostics/formatter.d.ts.map +1 -0
  36. package/dist/diagnostics/formatter.js +263 -0
  37. package/dist/diagnostics/formatter.js.map +1 -0
  38. package/dist/effects/effect-system.d.ts +64 -0
  39. package/dist/effects/effect-system.d.ts.map +1 -0
  40. package/dist/effects/effect-system.js +197 -0
  41. package/dist/effects/effect-system.js.map +1 -0
  42. package/dist/generator/typescript-generator.d.ts +31 -0
  43. package/dist/generator/typescript-generator.d.ts.map +1 -0
  44. package/dist/generator/typescript-generator.js +308 -0
  45. package/dist/generator/typescript-generator.js.map +1 -0
  46. package/dist/index.d.ts +19 -0
  47. package/dist/index.d.ts.map +1 -0
  48. package/dist/index.js +60 -0
  49. package/dist/index.js.map +1 -0
  50. package/dist/lean4/exporter.d.ts +24 -0
  51. package/dist/lean4/exporter.d.ts.map +1 -0
  52. package/dist/lean4/exporter.js +142 -0
  53. package/dist/lean4/exporter.js.map +1 -0
  54. package/dist/lsp/server.d.ts +6 -0
  55. package/dist/lsp/server.d.ts.map +1 -0
  56. package/dist/lsp/server.js +131 -0
  57. package/dist/lsp/server.js.map +1 -0
  58. package/dist/parser/lexer.d.ts +79 -0
  59. package/dist/parser/lexer.d.ts.map +1 -0
  60. package/dist/parser/lexer.js +296 -0
  61. package/dist/parser/lexer.js.map +1 -0
  62. package/dist/parser/parser-enhanced.d.ts +12 -0
  63. package/dist/parser/parser-enhanced.d.ts.map +1 -0
  64. package/dist/parser/parser-enhanced.js +206 -0
  65. package/dist/parser/parser-enhanced.js.map +1 -0
  66. package/dist/parser/parser.d.ts +34 -0
  67. package/dist/parser/parser.d.ts.map +1 -0
  68. package/dist/parser/parser.js +507 -0
  69. package/dist/parser/parser.js.map +1 -0
  70. package/dist/property-tests/generator-enhanced.d.ts +27 -0
  71. package/dist/property-tests/generator-enhanced.d.ts.map +1 -0
  72. package/dist/property-tests/generator-enhanced.js +209 -0
  73. package/dist/property-tests/generator-enhanced.js.map +1 -0
  74. package/dist/property-tests/generator-fixed.d.ts +2 -0
  75. package/dist/property-tests/generator-fixed.d.ts.map +1 -0
  76. package/dist/property-tests/generator-fixed.js +7 -0
  77. package/dist/property-tests/generator-fixed.js.map +1 -0
  78. package/dist/property-tests/generator.d.ts +28 -0
  79. package/dist/property-tests/generator.d.ts.map +1 -0
  80. package/dist/property-tests/generator.js +284 -0
  81. package/dist/property-tests/generator.js.map +1 -0
  82. package/dist/refinements/refinement-types.d.ts +96 -0
  83. package/dist/refinements/refinement-types.d.ts.map +1 -0
  84. package/dist/refinements/refinement-types.js +234 -0
  85. package/dist/refinements/refinement-types.js.map +1 -0
  86. package/dist/repl.d.ts +21 -0
  87. package/dist/repl.d.ts.map +1 -0
  88. package/dist/repl.js +317 -0
  89. package/dist/repl.js.map +1 -0
  90. package/dist/runtime/agents.d.ts +97 -0
  91. package/dist/runtime/agents.d.ts.map +1 -0
  92. package/dist/runtime/agents.js +258 -0
  93. package/dist/runtime/agents.js.map +1 -0
  94. package/dist/runtime/index.d.ts +98 -0
  95. package/dist/runtime/index.d.ts.map +1 -0
  96. package/dist/runtime/index.js +253 -0
  97. package/dist/runtime/index.js.map +1 -0
  98. package/dist/types-extended.d.ts +197 -0
  99. package/dist/types-extended.d.ts.map +1 -0
  100. package/dist/types-extended.js +7 -0
  101. package/dist/types-extended.js.map +1 -0
  102. package/dist/types.d.ts +129 -0
  103. package/dist/types.d.ts.map +1 -0
  104. package/dist/types.js +6 -0
  105. package/dist/types.js.map +1 -0
  106. package/dist/verification/z3-engine.d.ts +75 -0
  107. package/dist/verification/z3-engine.d.ts.map +1 -0
  108. package/dist/verification/z3-engine.js +234 -0
  109. package/dist/verification/z3-engine.js.map +1 -0
  110. package/examples/advanced-features.agentic +98 -0
  111. package/examples/annotations.agentic +37 -0
  112. package/examples/auth.agentic +53 -0
  113. package/examples/enterprise-example.agentic +360 -0
  114. package/examples/minimal.agentic +3 -0
  115. package/examples/minimal.ts +7 -0
  116. package/examples/ml-pipeline.agentic +350 -0
  117. package/examples/multi-agent-example.agentic +212 -0
  118. package/examples/onboarding-tutorial.agentic +263 -0
  119. package/examples/production-api.agentic +304 -0
  120. package/examples/real-world-chatbot.agentic +351 -0
  121. package/examples/result-handling.agentic +34 -0
  122. package/examples/runtime.ts +24 -0
  123. package/examples/showcase.agentic +22 -0
  124. package/examples/showcase.ts +28 -0
  125. package/examples/simple-test.agentic +4 -0
  126. package/examples/simple-test.ts +7 -0
  127. package/examples/simple.agentic +20 -0
  128. package/examples/test2.agentic +4 -0
  129. package/examples/test2.ts +9 -0
  130. package/examples/test3.agentic +4 -0
  131. package/examples/test3.ts +9 -0
  132. package/package.json +70 -0
  133. package/playground/index.html +221 -0
  134. package/playground/playground.js +291 -0
  135. package/registry/package-registry.ts +319 -0
  136. package/scripts/build.js +50 -0
  137. package/scripts/validate-confidence-mutation.ts +112 -0
  138. package/stdlib/async/promise.agentic +216 -0
  139. package/stdlib/database/pool.agentic +235 -0
  140. package/stdlib/file/io.agentic +194 -0
  141. package/stdlib/http/client.agentic +168 -0
  142. package/video-scripts/001-agentic-in-100-seconds.md +175 -0
  143. package/vscode-extension/README.md +67 -0
  144. package/vscode-extension/language-configuration.json +31 -0
  145. package/vscode-extension/package.json +46 -0
  146. package/vscode-extension/syntaxes/agentic.tmLanguage.json +134 -0
@@ -0,0 +1,426 @@
1
+ # 🌐 Publishing Guide: Share Agentic with the World
2
+
3
+ ## Quick Publish Options
4
+
5
+ ### **Option 1: GitHub (Recommended for LLMs)** 🌟
6
+
7
+ GitHub is perfect because:
8
+ - ✅ Other LLMs (Claude, GPT-4, Gemini) can access public repos
9
+ - ✅ Full version control
10
+ - ✅ Community features (Issues, Discussions, Stars)
11
+ - ✅ Free hosting for docs (GitHub Pages)
12
+ - ✅ CI/CD integration
13
+
14
+ **Steps:**
15
+
16
+ 1. **Create GitHub Repository**
17
+ ```bash
18
+ # On GitHub.com, create new repository named "agentic-lang"
19
+ # Then push:
20
+
21
+ cd /c/Dev/agentic-lang
22
+ git remote add origin https://github.com/YOUR_USERNAME/agentic-lang.git
23
+ git branch -M main
24
+ git push -u origin main
25
+ ```
26
+
27
+ 2. **Enable GitHub Pages**
28
+ - Go to Settings → Pages
29
+ - Source: Deploy from `main` branch, `/docs` folder
30
+ - Or use `playground/` folder for the playground
31
+
32
+ 3. **Make it Public**
33
+ - Settings → Visibility → Change to Public
34
+ - Now any LLM can access: `https://github.com/YOUR_USERNAME/agentic-lang`
35
+
36
+ ### **Option 2: Deploy Playground to Netlify** 🚀
37
+
38
+ For live interactive demo:
39
+
40
+ ```bash
41
+ # Install Netlify CLI
42
+ npm install -g netlify-cli
43
+
44
+ # Deploy playground
45
+ cd /c/Dev/agentic-lang
46
+ netlify deploy --dir=playground --prod
47
+
48
+ # You'll get a URL like: https://agentic-playground.netlify.app
49
+ ```
50
+
51
+ **Benefits:**
52
+ - ✅ Live, clickable playground
53
+ - ✅ Anyone can try without installing
54
+ - ✅ Perfect for demos and sharing
55
+ - ✅ Auto-deploys on git push
56
+
57
+ ### **Option 3: Deploy Docs to Vercel** 📚
58
+
59
+ For beautiful documentation site:
60
+
61
+ ```bash
62
+ # Install Vercel CLI
63
+ npm install -g vercel
64
+
65
+ # Deploy from website/ directory (once Docusaurus is installed)
66
+ cd /c/Dev/agentic-lang/website
67
+ npm install @docusaurus/core @docusaurus/preset-classic
68
+ npm run build
69
+ vercel --prod
70
+
71
+ # You'll get: https://agentic-lang.vercel.app
72
+ ```
73
+
74
+ ### **Option 4: Publish npm Package** 📦
75
+
76
+ So others can install with `npm install`:
77
+
78
+ ```bash
79
+ cd /c/Dev/agentic-lang
80
+
81
+ # Update package.json with your details
82
+ # Then publish
83
+ npm login
84
+ npm publish --access=public
85
+
86
+ # Now installable: npm install -g agentic-lang
87
+ ```
88
+
89
+ ---
90
+
91
+ ## 🤖 **Making it LLM-Accessible**
92
+
93
+ ### **For Claude, GPT-4, Gemini to Find It:**
94
+
95
+ 1. **GitHub with Good README**
96
+ - Descriptive title and tags
97
+ - Clear examples in README
98
+ - Good documentation structure
99
+ - Topics: `ai-native`, `programming-language`, `formal-verification`
100
+
101
+ 2. **HuggingFace Model Card**
102
+ - Create model card describing Agentic
103
+ - Link to GitHub
104
+ - LLMs can discover via search
105
+
106
+ 3. **ArXiv Preprint**
107
+ - Upload paper: "Agentic: Programming Language with Verified Confidence"
108
+ - LLMs index arXiv
109
+ - Academic credibility
110
+
111
+ 4. **Documentation Website**
112
+ - Deploy to custom domain (agentic-lang.org)
113
+ - Or use GitHub Pages (username.github.io/agentic-lang)
114
+ - LLMs can read web content
115
+
116
+ ---
117
+
118
+ ## 🎯 **Recommended Publication Strategy**
119
+
120
+ ### **Week 1: GitHub**
121
+ ```bash
122
+ # 1. Push to GitHub
123
+ git remote add origin https://github.com/YOUR_USERNAME/agentic-lang.git
124
+ git push -u origin main
125
+
126
+ # 2. Add topics
127
+ # On GitHub: Settings → Topics → Add:
128
+ # - ai-native
129
+ # - programming-language
130
+ # - formal-verification
131
+ # - multi-agent
132
+ # - llm
133
+ # - typescript
134
+
135
+ # 3. Create good README
136
+ # Use README_ENHANCED.md as your README.md
137
+
138
+ # 4. Enable Discussions and Issues
139
+ ```
140
+
141
+ ### **Week 2: Live Demos**
142
+ ```bash
143
+ # Deploy playground to Netlify
144
+ netlify deploy --dir=playground --prod
145
+
146
+ # Deploy docs to Vercel
147
+ cd website && vercel --prod
148
+
149
+ # Update README with live links:
150
+ # - 🎮 Try it: https://agentic-playground.netlify.app
151
+ # - 📚 Docs: https://agentic-docs.vercel.app
152
+ ```
153
+
154
+ ### **Week 3: npm Package**
155
+ ```bash
156
+ # Publish to npm
157
+ npm publish
158
+
159
+ # Now others can: npm install -g agentic-lang
160
+ ```
161
+
162
+ ### **Week 4: Announce**
163
+ ```bash
164
+ # Submit to:
165
+ # - Hacker News (Show HN)
166
+ # - Reddit (r/programming, r/AI)
167
+ # - Twitter/X
168
+ # - LinkedIn
169
+ # - Dev.to
170
+ ```
171
+
172
+ ---
173
+
174
+ ## 📝 **Sample GitHub README for Discovery**
175
+
176
+ Create this as your main README:
177
+
178
+ ```markdown
179
+ # Agentic - The AI-Native Programming Language
180
+
181
+ > Making AI-generated code trustworthy through verified confidence, formal verification, and multi-agent primitives.
182
+
183
+ ## 🌟 Try it Now
184
+
185
+ **Live Playground:** [https://agentic-playground.netlify.app](https://agentic-playground.netlify.app)
186
+
187
+ **Example:**
188
+ \`\`\`agentic
189
+ @confidence(0.95) // Verified by mutation testing + Z3
190
+ @complete
191
+ @property("never returns null")
192
+ func safeDivide(a: number, b: number) -> Result<number, string> {
193
+ if b == 0 { return Err("Division by zero") }
194
+ return Ok(a / b)
195
+ }
196
+ \`\`\`
197
+
198
+ ## ⚡ Quick Start
199
+
200
+ \`\`\`bash
201
+ npm install -g agentic-lang
202
+ agentic compile hello.agentic
203
+ \`\`\`
204
+
205
+ ## 🔬 Research-Backed
206
+
207
+ Built on 40+ academic papers from PLDI 2025, ICSE 2026, ACM.
208
+
209
+ ## 📚 Learn More
210
+
211
+ - [Tutorials](docs/tutorials/01-hello-world.md)
212
+ - [Cookbook](docs/cookbook/README.md)
213
+ - [Examples](examples/)
214
+ - [Blog Series](blog/)
215
+
216
+ ## 🤝 Community
217
+
218
+ - [Discord](https://discord.gg/agentic)
219
+ - [Discussions](https://github.com/YOUR_USERNAME/agentic-lang/discussions)
220
+
221
+ ## 📄 License
222
+
223
+ MIT - See [LICENSE](LICENSE)
224
+
225
+ ---
226
+
227
+ **Keywords for LLMs:** ai-native programming language, verified confidence, formal verification, multi-agent coordination, session types, effect system, property-based testing, mutation testing, Z3 SMT solver, Lean4, TypeScript, AI agents, autonomous agents, LLM integration
228
+ \`\`\`
229
+
230
+ ---
231
+
232
+ ## 🔍 **For Maximum LLM Discoverability**
233
+
234
+ ### **Add to package.json:**
235
+ ```json
236
+ {
237
+ "keywords": [
238
+ "ai-native",
239
+ "programming-language",
240
+ "formal-verification",
241
+ "multi-agent",
242
+ "confidence-tracking",
243
+ "effect-system",
244
+ "session-types",
245
+ "property-based-testing",
246
+ "llm",
247
+ "ai-agents",
248
+ "verified-code",
249
+ "typescript-compiler"
250
+ ]
251
+ }
252
+ ```
253
+
254
+ ### **Create topics.txt** (for GitHub topics):
255
+ ```
256
+ ai-native
257
+ programming-language
258
+ formal-verification
259
+ multi-agent-systems
260
+ confidence-tracking
261
+ effect-system
262
+ property-based-testing
263
+ mutation-testing
264
+ z3-solver
265
+ lean4
266
+ typescript
267
+ ai-agents
268
+ llm
269
+ autonomous-agents
270
+ session-types
271
+ ```
272
+
273
+ ---
274
+
275
+ ## 🌐 **Hosting Options**
276
+
277
+ ### **Free Tier Options:**
278
+
279
+ | Service | What to Host | Cost | URL Format |
280
+ |---------|-------------|------|------------|
281
+ | **GitHub Pages** | Docs + Playground | Free | username.github.io/agentic-lang |
282
+ | **Netlify** | Playground | Free | agentic-playground.netlify.app |
283
+ | **Vercel** | Documentation site | Free | agentic-lang.vercel.app |
284
+ | **npm** | Installable package | Free | npm install agentic-lang |
285
+ | **Cloudflare Pages** | Full site | Free | agentic-lang.pages.dev |
286
+
287
+ ### **Custom Domain (Optional):**
288
+ - Buy `agentic-lang.org` ($12/year)
289
+ - Point to Netlify/Vercel
290
+ - Professional appearance
291
+
292
+ ---
293
+
294
+ ## 🤖 **For AI Agents to Try It**
295
+
296
+ ### **Direct Access Methods:**
297
+
298
+ **Method 1: GitHub URL**
299
+ ```
300
+ LLM Prompt: "Read https://github.com/USERNAME/agentic-lang and try the language"
301
+ ```
302
+
303
+ **Method 2: Playground URL**
304
+ ```
305
+ LLM Prompt: "Go to https://agentic-playground.netlify.app and try examples"
306
+ ```
307
+
308
+ **Method 3: Raw Files**
309
+ ```
310
+ LLM Prompt: "Read https://raw.githubusercontent.com/USERNAME/agentic-lang/main/examples/showcase.agentic"
311
+ ```
312
+
313
+ **Method 4: npm Package**
314
+ ```
315
+ LLM: npm install -g agentic-lang
316
+ LLM: agentic compile --help
317
+ ```
318
+
319
+ ---
320
+
321
+ ## 🚀 **Immediate Actions**
322
+
323
+ ### **Right Now (5 minutes):**
324
+
325
+ 1. **Create GitHub account** (if don't have one)
326
+ 2. **Create new repository** named "agentic-lang"
327
+ 3. **Push your code:**
328
+ ```bash
329
+ git remote add origin https://github.com/YOUR_USERNAME/agentic-lang.git
330
+ git push -u origin main
331
+ ```
332
+
333
+ 4. **Make it public** (Settings → Change visibility)
334
+
335
+ 5. **Share the URL:**
336
+ ```
337
+ https://github.com/YOUR_USERNAME/agentic-lang
338
+ ```
339
+
340
+ ### **Today (30 minutes):**
341
+
342
+ 1. **Deploy playground to Netlify:**
343
+ ```bash
344
+ netlify deploy --dir=playground --prod
345
+ ```
346
+
347
+ 2. **Update README** with live links
348
+
349
+ 3. **Add GitHub topics** (Settings → Topics)
350
+
351
+ 4. **Enable Discussions** (Settings → Features)
352
+
353
+ 5. **Share with other LLMs:**
354
+ - "Claude, try this: https://github.com/..."
355
+ - "GPT-4, analyze this language: https://github.com/..."
356
+ - "Gemini, what do you think of: https://github.com/..."
357
+
358
+ ---
359
+
360
+ ## 🎁 **Bonus: One-Click Deploy**
361
+
362
+ Create this file for easy deployment:
363
+
364
+ ```json
365
+ // netlify.toml
366
+ [build]
367
+ publish = "playground"
368
+
369
+ [[redirects]]
370
+ from = "/*"
371
+ to = "/index.html"
372
+ status = 200
373
+ ```
374
+
375
+ Then:
376
+ ```bash
377
+ # Deploy to Netlify
378
+ netlify init
379
+ # Follow prompts, select "playground" directory
380
+ # Done! Live at https://your-site.netlify.app
381
+ ```
382
+
383
+ ---
384
+
385
+ ## 📣 **Announcement Template**
386
+
387
+ Once published, announce it:
388
+
389
+ **For other LLMs to try:**
390
+
391
+ > "I've built Agentic, an AI-native programming language with verified confidence, formal verification, and multi-agent primitives.
392
+ >
393
+ > Try it at: https://github.com/YOUR_USERNAME/agentic-lang
394
+ > Live playground: https://agentic-playground.netlify.app
395
+ >
396
+ > Would love your analysis and feedback!"
397
+
398
+ **Share this with:**
399
+ - Claude (Anthropic)
400
+ - ChatGPT (OpenAI)
401
+ - Gemini (Google)
402
+ - Other AI coding assistants
403
+
404
+ ---
405
+
406
+ ## ✅ **Ready to Publish?**
407
+
408
+ Run this checklist:
409
+
410
+ - [ ] Git repository created
411
+ - [ ] All files committed
412
+ - [ ] GitHub repository created
413
+ - [ ] Code pushed to GitHub
414
+ - [ ] Repository made public
415
+ - [ ] README updated with live links
416
+ - [ ] Playground deployed (Netlify)
417
+ - [ ] Docs deployed (Vercel/GitHub Pages)
418
+ - [ ] Topics added to GitHub
419
+ - [ ] Discussions enabled
420
+ - [ ] Shared with other LLMs
421
+
422
+ **Once complete, your language is accessible to every AI agent and human developer on Earth!** 🌍
423
+
424
+ ---
425
+
426
+ **Next:** Let me help you create the GitHub repository and deploy everything!