agentic-lang 0.2.0

package/video-scripts/001-agentic-in-100-seconds.md

@@ -0,0 +1,175 @@
+# Video Script: Agentic in 100 Seconds
+
+**Format:** Fast-paced overview
+**Duration:** 100 seconds (1:40)
+**Style:** Fireship.io inspired
+
+---
+
+## [0:00-0:10] Hook (10s)
+
+**VISUAL:** Montage of AI coding tools (Copilot, Claude Code, GPT-4)
+
+**NARRATION:**
+"AI is writing code faster than ever. But there's a problem: **40-65% of it has bugs**. What if your programming language could make AI code actually trustworthy? Meet Agentic."
+
+---
+
+## [0:10-0:25] The Problem (15s)
+
+**VISUAL:** Split screen - AI code on left, bugs highlighted on right
+
+**NARRATION:**
+"AI agents are probabilistic - they're uncertain. But languages like Python and JavaScript assume certainty. This mismatch causes bugs, security holes, and production failures."
+
+**TEXT ON SCREEN:**
+```
+Traditional: All code looks equally confident
+Result: You can't trust any of it
+```
+
+---
+
+## [0:25-0:45] The Solution (20s)
+
+**VISUAL:** Agentic code with annotations highlighted
+
+**NARRATION:**
+"Agentic makes uncertainty explicit. Every function declares its confidence level - and the compiler **verifies it**."
+
+**CODE ON SCREEN:**
+```agentic
+@confidence(0.95)  // Verified!
+@complete
+@property("never returns null")
+func safeDivide(a, b) -> Result<number, string> {
+  if b == 0 { return Err("Division by zero") }
+  return Ok(a / b)
+}
+```
+
+**TEXT:** "✓ 1000 property tests ✓ 95% mutation score ✓ Z3 proven"
+
+---
+
+## [0:45-1:05] Key Features (20s)
+
+**VISUAL:** Quick feature montage with code snippets
+
+**NARRATION:**
+"Agentic has confidence tracking, incremental stages from stub to complete, auto-generated property tests, formal verification with Z3, multi-agent coordination with session types, and beautiful Rust-quality error messages."
+
+**TEXT ON SCREEN:**
+- `@confidence(0.95)` - Verified scores
+- `@stub → @partial → @complete` - Progressive development
+- `@property()` - Auto-tests
+- `@verify(z3)` - Formal proofs
+- `@agent` - Multi-agent
+- Beautiful errors
+
+---
+
+## [1:05-1:20] Demo (15s)
+
+**VISUAL:** Terminal showing compilation
+
+**NARRATION:**
+"Install with npm, write your code, compile to TypeScript. The compiler warns about low confidence, suggests fixes, and validates everything automatically."
+
+**TERMINAL:**
+```bash
+$ npm install -g agentic-lang
+$ agentic compile auth.agentic
+✓ Compiled successfully
+⚠ Warning: Low confidence in parseDate (0.70)
+✓ Property tests: 1000/1000 passed
+✓ Mutation score: 92%
+```
+
+---
+
+## [1:20-1:35] Unique Value (15s)
+
+**VISUAL:** Comparison table with checkmarks
+
+**NARRATION:**
+"Agentic is the **only language** with verified confidence, multi-agent session types, AI-readable error recovery, and statistical validation. It's open source, MIT licensed, and built on research from PLDI, ICSE, and ACM."
+
+**TABLE:**
+| Feature | Agentic | Others |
+|---------|---------|--------|
+| Verified confidence | ✅ | ❌ |
+| Session types | ✅ | ❌ |
+| AI error recovery | ✅ | ❌ |
+
+---
+
+## [1:35-1:40] Call to Action (5s)
+
+**VISUAL:** Website URL and QR code
+
+**NARRATION:**
+"Try it now at agentic-lang.org. Make AI code trustworthy."
+
+**TEXT ON SCREEN:**
+```
+🌐 agentic-lang.org/playground
+⭐ github.com/agentic-lang/agentic
+💬 discord.gg/agentic
+```
+
+**END CARD:** "Agentic - Making AI Code Trustworthy"
+
+---
+
+## Production Notes
+
+### B-Roll Needed
+- AI coding tools in action (screen recordings)
+- Terminal compilation sequences
+- Test results scrolling
+- Error messages (before/after)
+- Multi-agent visualization
+- VSCode with Agentic code
+
+### Graphics
+- Animated confidence score (0.60 → 0.95)
+- Verification checkmarks appearing
+- Agent communication diagram
+- Type system visualization
+
+### Music
+- Fast-paced, tech-forward
+- Similar to Fireship.io style
+
+### Voiceover
+- Professional, energetic
+- Technical but accessible
+- Clear pronunciation of "Agentic" (ah-JEN-tik)
+
+---
+
+## Alternative Versions
+
+### **60-Second Version** (For Twitter/TikTok)
+- Cut the demo section
+- Focus on hook + solution + CTA
+
+### **5-Minute Version** (For YouTube)
+- Add live coding segment
+- Show real bug being caught
+- Demonstrate playground
+- Interview with user
+
+---
+
+## SEO Optimization
+
+**Title:** "Agentic in 100 Seconds - The AI-Native Programming Language"
+
+**Description:**
+"Agentic is the world's first programming language with verified confidence scores, multi-agent primitives, and formal verification for AI-generated code. Learn the basics in 100 seconds!"
+
+**Tags:** #programming #AI #verification #formalmethods #typescript #coding #agentic
+
+**Thumbnail:** Bold text "AI Code You Can TRUST" with code snippet background

package/vscode-extension/README.md

@@ -0,0 +1,67 @@
+# Agentic Language Support for VS Code
+
+Provides syntax highlighting and language support for the Agentic programming language.
+
+## Features
+
+- **Syntax Highlighting** - Color coding for keywords, annotations, types, and operators
+- **Auto-completion** - Bracket and quote auto-closing
+- **Code Folding** - Collapse/expand code blocks
+- **Comment Toggling** - Quick line and block comment shortcuts
+
+## Highlighted Syntax
+
+- **Keywords**: `func`, `if`, `else`, `match`, `return`, `or`, `error`
+- **Annotations**: `@confidence`, `@needs`, `@uncertain`, `@context`, `@property`, etc.
+- **Types**: `Result`, `Ok`, `Err`, `string`, `number`, `boolean`
+- **Operators**: `->`, `=>`, `|`, `==`, `!=`, `<`, `>`
+
+## Installation
+
+### From VSIX
+1. Download the `.vsix` file
+2. Open VS Code
+3. Go to Extensions view (Ctrl+Shift+X)
+4. Click "..." menu → "Install from VSIX..."
+5. Select the downloaded file
+
+### From Source
+```bash
+cd vscode-extension
+npm install
+npm run compile
+# Press F5 to open Extension Development Host
+```
+
+## Usage
+
+1. Create or open a `.agentic` file
+2. Syntax highlighting will be applied automatically
+3. Use standard VS Code features (folding, comments, etc.)
+
+## Example
+
+```agentic
+@confidence(0.90)
+@needs(database: Database)
+func authenticate(token: string) -> Result<User, AuthError> {
+    if token.isEmpty() {
+        return Err(AuthError.MISSING_TOKEN)
+    }
+
+    return Ok(user)
+}
+```
+
+## Development
+
+```bash
+npm install
+npm run compile
+npm run watch  # For development
+vsce package   # Create .vsix package
+```
+
+## License
+
+MIT

package/vscode-extension/language-configuration.json

@@ -0,0 +1,31 @@
+{
+  "comments": {
+    "lineComment": "//",
+    "blockComment": ["/*", "*/"]
+  },
+  "brackets": [
+    ["{", "}"],
+    ["[", "]"],
+    ["(", ")"]
+  ],
+  "autoClosingPairs": [
+    { "open": "{", "close": "}" },
+    { "open": "[", "close": "]" },
+    { "open": "(", "close": ")" },
+    { "open": "\"", "close": "\"", "notIn": ["string"] },
+    { "open": "'", "close": "'", "notIn": ["string", "comment"] }
+  ],
+  "surroundingPairs": [
+    ["{", "}"],
+    ["[", "]"],
+    ["(", ")"],
+    ["\"", "\""],
+    ["'", "'"]
+  ],
+  "folding": {
+    "markers": {
+      "start": "^\\s*//\\s*#?region\\b",
+      "end": "^\\s*//\\s*#?endregion\\b"
+    }
+  }
+}

package/vscode-extension/package.json

@@ -0,0 +1,46 @@
+{
+  "name": "agentic-lang",
+  "displayName": "Agentic Language Support",
+  "description": "Syntax highlighting and language support for Agentic programming language",
+  "version": "0.1.0",
+  "publisher": "agentic",
+  "engines": {
+    "vscode": "^1.75.0"
+  },
+  "categories": [
+    "Programming Languages"
+  ],
+  "contributes": {
+    "languages": [
+      {
+        "id": "agentic",
+        "aliases": [
+          "Agentic",
+          "agentic"
+        ],
+        "extensions": [
+          ".agentic"
+        ],
+        "configuration": "./language-configuration.json"
+      }
+    ],
+    "grammars": [
+      {
+        "language": "agentic",
+        "scopeName": "source.agentic",
+        "path": "./syntaxes/agentic.tmLanguage.json"
+      }
+    ]
+  },
+  "scripts": {
+    "compile": "tsc -p ./",
+    "watch": "tsc -watch -p ./",
+    "package": "vsce package"
+  },
+  "devDependencies": {
+    "@types/node": "^20.x",
+    "@types/vscode": "^1.75.0",
+    "typescript": "^5.3.0",
+    "@vscode/vsce": "^2.22.0"
+  }
+}

package/vscode-extension/syntaxes/agentic.tmLanguage.json

@@ -0,0 +1,134 @@
+{
+  "$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
+  "name": "Agentic",
+  "scopeName": "source.agentic",
+  "patterns": [
+    {
+      "include": "#comments"
+    },
+    {
+      "include": "#annotations"
+    },
+    {
+      "include": "#keywords"
+    },
+    {
+      "include": "#strings"
+    },
+    {
+      "include": "#numbers"
+    },
+    {
+      "include": "#functions"
+    },
+    {
+      "include": "#types"
+    },
+    {
+      "include": "#operators"
+    }
+  ],
+  "repository": {
+    "comments": {
+      "patterns": [
+        {
+          "name": "comment.line.double-slash.agentic",
+          "match": "//.*$"
+        },
+        {
+          "name": "comment.block.agentic",
+          "begin": "/\\*",
+          "end": "\\*/"
+        }
+      ]
+    },
+    "annotations": {
+      "patterns": [
+        {
+          "name": "meta.annotation.agentic",
+          "match": "@(confidence|needs|uncertain|context|reasoning|property|stub|partial|complete|healthcheck|recovery|approval_required|cost|consequences)\\b",
+          "captures": {
+            "1": {
+              "name": "storage.modifier.annotation.agentic"
+            }
+          }
+        }
+      ]
+    },
+    "keywords": {
+      "patterns": [
+        {
+          "name": "keyword.control.agentic",
+          "match": "\\b(if|else|match|return|or|error)\\b"
+        },
+        {
+          "name": "keyword.other.agentic",
+          "match": "\\b(func)\\b"
+        },
+        {
+          "name": "constant.language.agentic",
+          "match": "\\b(true|false|null)\\b"
+        }
+      ]
+    },
+    "strings": {
+      "name": "string.quoted.double.agentic",
+      "begin": "\"",
+      "end": "\"",
+      "patterns": [
+        {
+          "name": "constant.character.escape.agentic",
+          "match": "\\\\."
+        }
+      ]
+    },
+    "numbers": {
+      "name": "constant.numeric.agentic",
+      "match": "\\b\\d+(\\.\\d+)?\\b"
+    },
+    "functions": {
+      "patterns": [
+        {
+          "name": "meta.function.agentic",
+          "match": "\\b(func)\\s+([a-zA-Z_][a-zA-Z0-9_]*)\\s*\\(",
+          "captures": {
+            "1": {
+              "name": "keyword.other.agentic"
+            },
+            "2": {
+              "name": "entity.name.function.agentic"
+            }
+          }
+        },
+        {
+          "name": "entity.name.function.call.agentic",
+          "match": "\\b([a-zA-Z_][a-zA-Z0-9_]*)\\s*\\("
+        }
+      ]
+    },
+    "types": {
+      "patterns": [
+        {
+          "name": "support.type.agentic",
+          "match": "\\b(string|number|boolean|void|Result|Ok|Err)\\b"
+        },
+        {
+          "name": "entity.name.type.agentic",
+          "match": "\\b([A-Z][a-zA-Z0-9_]*)\\b"
+        }
+      ]
+    },
+    "operators": {
+      "patterns": [
+        {
+          "name": "keyword.operator.agentic",
+          "match": "(->|=>|\\||==|!=|<=|>=|<|>)"
+        },
+        {
+          "name": "keyword.operator.assignment.agentic",
+          "match": "="
+        }
+      ]
+    }
+  }
+}