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
package/COMMUNITY.md ADDED
@@ -0,0 +1,220 @@
1
+ # Agentic Community Guide
2
+
3
+ Welcome to the Agentic programming language community! We're building the world's first AI-native programming language together.
4
+
5
+ ## 🌟 **Code of Conduct**
6
+
7
+ Based on the Rust Community Code of Conduct: **Treat everyone with respect and kindness.**
8
+
9
+ We are committed to providing a friendly, safe, and welcoming environment for all, regardless of:
10
+ - Experience level
11
+ - Gender identity and expression
12
+ - Sexual orientation
13
+ - Disability
14
+ - Personal appearance
15
+ - Body size
16
+ - Race
17
+ - Ethnicity
18
+ - Age
19
+ - Religion
20
+ - Nationality
21
+ - Or other similar characteristic
22
+
23
+ ### Our Standards
24
+
25
+ **✅ We welcome:**
26
+ - Thoughtful questions and discussions
27
+ - Constructive feedback and ideas
28
+ - Celebrating successes and supporting struggles
29
+ - Helping newcomers learn
30
+
31
+ **❌ We don't tolerate:**
32
+ - Harassment or discriminatory language
33
+ - Trolling or insulting/derogatory comments
34
+ - Personal or political attacks
35
+ - Publishing others' private information
36
+ - Other conduct inappropriate for a professional setting
37
+
38
+ ## 💬 **Communication Channels**
39
+
40
+ ### Discord (Primary Chat)
41
+ **https://discord.gg/agentic**
42
+
43
+ Channels:
44
+ - `#welcome` - Introduce yourself!
45
+ - `#general` - General discussion
46
+ - `#help` - Get help with Agentic
47
+ - `#show-and-tell` - Share your projects
48
+ - `#ai-agents` - Discuss AI-specific topics
49
+ - `#language-design` - RFC discussions
50
+ - `#contributors` - Core contributor coordination
51
+
52
+ ### GitHub Discussions (Long-Form)
53
+ **https://github.com/agentic-lang/agentic/discussions**
54
+
55
+ Categories:
56
+ - 💡 Ideas - Feature proposals and brainstorming
57
+ - 🙏 Q&A - Ask and answer questions
58
+ - 📣 Announcements - Official updates
59
+ - 🌱 Show and Tell - Share your work
60
+ - 🔧 Technical - Deep technical discussions
61
+
62
+ ### Twitter/X
63
+ **@agenticLang**
64
+
65
+ Follow for:
66
+ - Daily tips and tricks
67
+ - Community highlights
68
+ - Release announcements
69
+
70
+ ## 🚀 **Getting Started**
71
+
72
+ ### 1. Install Agentic
73
+ ```bash
74
+ npm install -g agentic-lang
75
+ ```
76
+
77
+ ### 2. Try the Tutorial
78
+ https://agentic-lang.org/docs/tutorials/hello-world
79
+
80
+ ### 3. Join Discord
81
+ Introduce yourself in `#welcome`!
82
+
83
+ ### 4. Build Something
84
+ Start with our [example projects](https://github.com/agentic-lang/examples)
85
+
86
+ ## 🤝 **How to Contribute**
87
+
88
+ We welcome contributions of all kinds! See [CONTRIBUTING.md](CONTRIBUTING.md) for detailed guidelines.
89
+
90
+ ### Quick Ways to Help
91
+
92
+ **For Everyone:**
93
+ - ⭐ Star the repo on GitHub
94
+ - 📖 Improve documentation
95
+ - 🐛 Report bugs
96
+ - 💬 Answer questions in Discord/Discussions
97
+ - 📝 Write blog posts or tutorials
98
+ - 🎤 Give talks about Agentic
99
+
100
+ **For Developers:**
101
+ - 🔧 Fix bugs
102
+ - ✨ Implement features
103
+ - 🧪 Add tests
104
+ - 📦 Create packages
105
+ - 🎨 Improve error messages
106
+
107
+ **For AI Researchers:**
108
+ - 📊 Validate confidence tracking approach
109
+ - 🔬 Research formal verification integration
110
+ - 📈 Analyze AI-generated code quality
111
+ - 📄 Publish papers using Agentic
112
+
113
+ ## 🎓 **Learning Resources**
114
+
115
+ ### Documentation
116
+ - [The Agentic Book](https://agentic-lang.org/docs/book) - Complete guide
117
+ - [Language Specification](https://agentic-lang.org/docs/specification)
118
+ - [Error Reference](https://agentic-lang.org/docs/errors)
119
+ - [Cookbook](https://agentic-lang.org/docs/cookbook) - Common patterns
120
+
121
+ ### Video Tutorials
122
+ - [Agentic in 100 Seconds](https://youtube.com/watch?v=...) - Quick overview
123
+ - [Building Your First Agent](https://youtube.com/watch?v=...) - Tutorial series
124
+
125
+ ### Blog Posts
126
+ - [Why AI Needs a New Programming Language](https://blog.agentic-lang.org/why)
127
+ - [Confidence-Driven Development](https://blog.agentic-lang.org/confidence)
128
+ - [From @stub to @complete](https://blog.agentic-lang.org/incremental)
129
+
130
+ ## 🏆 **Community Programs**
131
+
132
+ ### Ambassador Program
133
+ Become an Agentic Ambassador! Benefits:
134
+ - Early access to new features
135
+ - Direct line to core team
136
+ - Swag and recognition
137
+ - Speaking opportunities
138
+
139
+ **Apply:** https://agentic-lang.org/ambassadors
140
+
141
+ ### Office Hours
142
+ **Weekly Zoom sessions** with the core team
143
+ - Open Q&A
144
+ - Live coding and debugging
145
+ - Feature discussions
146
+
147
+ **Schedule:** https://agentic-lang.org/office-hours
148
+
149
+ ### Mentorship
150
+ Looking for guidance? We match experienced developers with newcomers.
151
+
152
+ **Sign up:** https://agentic-lang.org/mentorship
153
+
154
+ ## 📅 **Events**
155
+
156
+ ### Upcoming
157
+ - **AgenticConf 2026** - Annual conference (Sept 15-17, Virtual + San Francisco)
158
+ - **Monthly Meetups** - 20+ cities worldwide
159
+
160
+ ### Past Events
161
+ - [Watch recordings](https://youtube.com/agenticLang)
162
+
163
+ ## 🎁 **Swag**
164
+
165
+ Show your Agentic pride!
166
+ - T-shirts
167
+ - Stickers
168
+ - Laptop stickers
169
+ - Hoodies
170
+
171
+ **Shop:** https://swag.agentic-lang.org
172
+
173
+ **Contributors get free swag!** 🎉
174
+
175
+ ## 💰 **Sponsorship**
176
+
177
+ Help sustain Agentic development!
178
+
179
+ **GitHub Sponsors:** https://github.com/sponsors/agentic-lang
180
+
181
+ Tiers:
182
+ - **$5/month** - Supporter (name in README)
183
+ - **$25/month** - Professional (priority support)
184
+ - **$100/month** - Team (team license + support)
185
+ - **$500/month** - Corporate (custom integrations)
186
+
187
+ ## 📢 **Spreading the Word**
188
+
189
+ Help us grow!
190
+ - Tweet about Agentic (@agenticLang)
191
+ - Write a blog post
192
+ - Give a talk at your local meetup
193
+ - Create a video tutorial
194
+ - Answer questions on Stack Overflow (tag: agentic-lang)
195
+
196
+ ## 📊 **Community Stats**
197
+
198
+ - **5 contributors** (and growing!)
199
+ - **100+ GitHub stars**
200
+ - **50+ Discord members**
201
+ - **10+ production deployments**
202
+
203
+ *Want to see your name here? [Start contributing!](CONTRIBUTING.md)*
204
+
205
+ ## 🙏 **Thank You**
206
+
207
+ Special thanks to all our contributors, sponsors, and community members. You make Agentic possible!
208
+
209
+ ### Core Team
210
+ - [Add names as team forms]
211
+
212
+ ### Top Contributors
213
+ - [Will be automatically updated]
214
+
215
+ ### Sponsors
216
+ - [Current sponsors]
217
+
218
+ ---
219
+
220
+ **Questions?** Join our [Discord](https://discord.gg/agentic) or open a [Discussion](https://github.com/agentic-lang/agentic/discussions)!
@@ -0,0 +1,194 @@
1
+ # Contributing to Agentic
2
+
3
+ Thank you for your interest in contributing to the Agentic programming language!
4
+
5
+ ## Getting Started
6
+
7
+ 1. **Fork the repository**
8
+ 2. **Clone your fork**
9
+ ```bash
10
+ git clone https://github.com/your-username/agentic-lang.git
11
+ cd agentic-lang
12
+ ```
13
+ 3. **Install dependencies**
14
+ ```bash
15
+ npm install
16
+ ```
17
+ 4. **Build the project**
18
+ ```bash
19
+ npm run build
20
+ ```
21
+ 5. **Run tests**
22
+ ```bash
23
+ npm test
24
+ ```
25
+
26
+ ## Development Workflow
27
+
28
+ ### Making Changes
29
+
30
+ 1. Create a new branch
31
+ ```bash
32
+ git checkout -b feature/your-feature-name
33
+ ```
34
+
35
+ 2. Make your changes
36
+
37
+ 3. Test your changes
38
+ ```bash
39
+ npm run build
40
+ npm test
41
+ ./bin/agentic.js compile examples/simple.agentic
42
+ ```
43
+
44
+ 4. Commit with descriptive message
45
+ ```bash
46
+ git add .
47
+ git commit -m "feat: Add support for X"
48
+ ```
49
+
50
+ 5. Push to your fork
51
+ ```bash
52
+ git push origin feature/your-feature-name
53
+ ```
54
+
55
+ 6. Open a Pull Request
56
+
57
+ ### Commit Message Convention
58
+
59
+ We follow [Conventional Commits](https://www.conventionalcommits.org/):
60
+
61
+ - `feat:` - New feature
62
+ - `fix:` - Bug fix
63
+ - `docs:` - Documentation only
64
+ - `test:` - Adding or updating tests
65
+ - `refactor:` - Code refactoring
66
+ - `perf:` - Performance improvement
67
+ - `chore:` - Maintenance tasks
68
+
69
+ ## Project Structure
70
+
71
+ ```
72
+ agentic-lang/
73
+ ├── src/
74
+ │ ├── parser/ # Lexer and parser
75
+ │ ├── generator/ # Code generation
76
+ │ ├── runtime/ # Runtime library
77
+ │ ├── property-tests/ # Test generation
78
+ │ └── cli.ts # Command-line interface
79
+ ├── examples/ # Example .agentic files
80
+ ├── vscode-extension/ # VSCode extension
81
+ ├── docs/ # Documentation
82
+ └── tests/ # Test suite
83
+ ```
84
+
85
+ ## Areas for Contribution
86
+
87
+ ### High Priority
88
+ - **Parser improvements** - Better error recovery
89
+ - **Type inference** - Smarter type deduction
90
+ - **Property test generation** - More sophisticated property extraction
91
+ - **Error messages** - More helpful diagnostics
92
+
93
+ ### Medium Priority
94
+ - **Standard library** - Common functions and types
95
+ - **Optimization** - Faster compilation
96
+ - **Documentation** - Tutorials and guides
97
+ - **Examples** - Real-world use cases
98
+
99
+ ### Future
100
+ - **Language Server Protocol** - IDE integration
101
+ - **Native compiler** - Rust → LLVM backend
102
+ - **Formal verification** - Integration with proof assistants
103
+
104
+ ## Testing
105
+
106
+ ### Running Tests
107
+
108
+ ```bash
109
+ npm test # Run all tests
110
+ npm test -- parser # Run parser tests only
111
+ npm test -- --watch # Watch mode
112
+ ```
113
+
114
+ ### Adding Tests
115
+
116
+ Place tests in `tests/` directory:
117
+
118
+ ```typescript
119
+ import { describe, test, expect } from 'vitest';
120
+ import { Parser } from '../src/parser/parser';
121
+
122
+ describe('Parser', () => {
123
+ test('parses function declaration', () => {
124
+ const source = 'func add(a: number, b: number) -> number { return a + b }';
125
+ const parser = new Parser();
126
+ const ast = parser.parse(source);
127
+ expect(ast).toBeDefined();
128
+ });
129
+ });
130
+ ```
131
+
132
+ ## Code Style
133
+
134
+ - **TypeScript** with strict mode
135
+ - **2 spaces** for indentation
136
+ - **No semicolons** (except in generated code)
137
+ - **Descriptive variable names**
138
+ - **Comments** for complex logic
139
+
140
+ Format code before committing:
141
+ ```bash
142
+ npm run format # (if available)
143
+ ```
144
+
145
+ ## Documentation
146
+
147
+ When adding features:
148
+ 1. Update `docs/SPECIFICATION.md` with formal grammar
149
+ 2. Add examples to `examples/` directory
150
+ 3. Update `README.md` if user-facing
151
+ 4. Add JSDoc comments to public APIs
152
+
153
+ ## VSCode Extension Development
154
+
155
+ ```bash
156
+ cd vscode-extension
157
+ npm install
158
+ code .
159
+ # Press F5 to open Extension Development Host
160
+ ```
161
+
162
+ Test your changes in the Extension Development Host before submitting.
163
+
164
+ ## Reporting Issues
165
+
166
+ ### Bug Reports
167
+
168
+ Include:
169
+ - Agentic version (`agentic version`)
170
+ - Input `.agentic` code
171
+ - Expected behavior
172
+ - Actual behavior
173
+ - Error messages
174
+
175
+ ### Feature Requests
176
+
177
+ Include:
178
+ - Use case description
179
+ - Example syntax (if applicable)
180
+ - Why this would be valuable
181
+
182
+ ## Questions?
183
+
184
+ - Open a Discussion on GitHub
185
+ - Check existing issues and PRs
186
+ - Read `docs/SPECIFICATION.md`
187
+
188
+ ## License
189
+
190
+ By contributing, you agree that your contributions will be licensed under the MIT License.
191
+
192
+ ---
193
+
194
+ Thank you for contributing to Agentic! 🚀