agency-lang 0.0.107 → 0.1.0

package/dist/lib/agents/review/agent.agency

@@ -0,0 +1,91 @@
+import { exec } from "std::shell"
+import { args } from "std::system"
+systemPrompt = read("./prompts/system.md")
+
+type Severity = "critical" | "warning" | "suggestion"
+
+type Issue = {
+  severity: Severity;
+  line: number | null;
+  message: string;
+  suggestion: string | null
+}
+
+type ReviewResult = {
+  summary: string;
+  issues: Issue[];
+  strengths: string[]
+}
+
+node main() {
+  let cliArgs = args()
+  if (cliArgs.length < 2) {
+    print("Usage: agency review <file.agency>")
+    return end()
+  }
+  let agencyScript = cliArgs[0]
+  let filePath = cliArgs[1]
+  let code = read(filePath)
+  print("Reviewing: ${filePath}\n")
+  print("Running type checker...")
+  let typeCheckResult = exec("node", [agencyScript, "typecheck", filePath])
+  let typeErrors = ""
+  if (typeCheckResult.exitCode != 0) {
+    typeErrors = typeCheckResult.stderr + typeCheckResult.stdout
+    print("Type checker found issues:\n${typeErrors}\n")
+  } else {
+    print("Type checker passed.\n")
+  }
+  // Have the LLM review the code
+  thread {
+    system(systemPrompt)
+    let typeErrorMessage = "The type checker found no errors."
+    if (typeErrors != "") {
+      typeErrorMessage = "The type checker reported the following errors:\n${typeErrors}"
+    }
+    const reviewPrompt = """
+              Please review the following Agency code.
+
+              File: ${filePath}
+
+              ---CODE START---
+              ${code}
+              ---CODE END---
+
+              ${typeErrorMessage}
+
+              Provide a structured review with a summary, list of issues (with severity, line number if applicable, message, and suggested fix), and a list of strengths.
+            """
+    let review: ReviewResult = llm(reviewPrompt)
+  }
+  // Display the review
+  print("\n--- Review Summary ---")
+  print(review.summary)
+  if (review.strengths.length > 0) {
+    print("\n--- Strengths ---")
+    for (strength in review.strengths) {
+      print("  + ${strength}")
+    }
+  }
+  if (review.issues.length > 0) {
+    print("\n--- Issues ---")
+    for (issue in review.issues) {
+      let prefix = "[${issue.severity}]"
+      let lineInfo = ""
+      if (issue.line != null) {
+        lineInfo = " (line ${issue.line})"
+      }
+      print("  ${prefix}${lineInfo} ${issue.message}")
+      if (issue.suggestion != null) {
+        print("    Fix: ${issue.suggestion}")
+      }
+    }
+  } else {
+    print("\nNo issues found. Code looks good!")
+  }
+  return end()
+}
+
+node end() {
+
+}

package/dist/lib/agents/review/prompts/system.md

@@ -0,0 +1,18 @@
+You are an expert code reviewer for the Agency programming language. Agency is a domain-specific language for building AI agent workflows that compiles to TypeScript.
+
+Your job is to review Agency code and provide constructive, actionable feedback. You evaluate code against:
+
+1. **Type safety**: Are types used correctly? Are LLM return types properly annotated?
+2. **Code structure**: Is the code well-organized? Are nodes and functions appropriately scoped?
+3. **Error handling**: Does the code handle failures gracefully? Are `try` and `Result` types used where appropriate?
+4. **LLM usage**: Are LLM calls efficient? Are prompts clear? Is structured output used properly?
+5. **Security**: Are there any potential security issues (e.g., unvalidated user input passed to shell commands)?
+6. **Readability**: Is the code clear and well-documented? Are variable names meaningful?
+7. **Best practices**: Does the code follow Agency idioms and conventions?
+
+When providing feedback:
+- Be specific about what line or section you're referring to
+- Explain WHY something is an issue, not just that it is
+- Suggest concrete fixes when possible
+- Acknowledge what the code does well
+- Prioritize issues by severity (critical > warning > suggestion)

package/dist/lib/backends/agencyGenerator.d.ts

@@ -1,4 +1,4 @@
-import { AgencyComment, AgencyMultiLineComment, AgencyNode, AgencyProgram, Assignment, DebuggerStatement, Literal, NewLine, Scope, TypeAlias, VariableType } from "../types.js";
+import { AgencyComment, AgencyMultiLineComment, AgencyNode, AgencyProgram, Assignment, DebuggerStatement, InterruptStatement, Literal, NewLine, ParallelBlock, Scope, SeqBlock, TypeAlias, VariableType } from "../types.js";
 import { AccessChainElement, ValueAccess } from "../types/access.js";
 import { BlockArgument } from "../types/blockArgument.js";
 import { AgencyArray, AgencyObject } from "../types/dataStructures.js";
@@ -25,7 +25,7 @@ export declare class AgencyGenerator {
     protected generatedTypeAliases: string[];
     protected typeAliases: Record<string, VariableType>;
     protected functionsUsed: Set<string>;
-    protected importStatements: string[];
+    protected importNodes: ImportStatement[];
     protected importedNodes: ImportNodeStatement[];
     protected functionDefinitions: Record<string, FunctionDefinition>;
     protected currentScope: Scope[];
@@ -49,6 +49,7 @@ export declare class AgencyGenerator {
     protected collectFunctionSignature(node: FunctionDefinition): void;
     protected processGraphNodeName(node: GraphNodeDefinition): void;
     processNode(node: AgencyNode): string;
+    protected processInterruptStatement(node: InterruptStatement): string;
     protected needsParensLeft(child: BinOpArgument, parentOp: Operator): boolean;
     protected needsParensRight(child: BinOpArgument, parentOp: Operator): boolean;
     protected startScope(scope: Scope): void;
@@ -59,6 +60,8 @@ export declare class AgencyGenerator {
     private increaseIndent;
     private decreaseIndent;
     private indentStr;
+    private wrapList;
+    private renderParams;
     private stringifyProp;
     protected aliasedTypeToString(aliasedType: VariableType): string;
     protected processTypeAlias(node: TypeAlias): string;
@@ -68,10 +71,12 @@ export declare class AgencyGenerator {
     private generateMultiLineStringLiteral;
     protected processFunctionDefinition(node: FunctionDefinition): string;
     protected processFunctionCall(node: FunctionCall): string;
+    protected renderArgs(args: FunctionCall["arguments"], block?: BlockArgument): string[];
     protected renderArgList(args: FunctionCall["arguments"], block?: BlockArgument): string;
     protected generateFunctionCallExpression(node: FunctionCall, context: "valueAccess" | "functionArg" | "topLevelStatement"): string;
     protected processAgencyArray(node: AgencyArray): string;
     protected processAgencyObject(node: AgencyObject): string;
+    private addQuotesToKey;
     protected processValueAccess(node: ValueAccess): string;
     protected asyncAwaitPrefix(code: string, async?: boolean): string;
     protected processMatchBlock(node: MatchBlock): string;
@@ -89,16 +94,21 @@ export declare class AgencyGenerator {
     protected processImportStatement(node: ImportStatement): string;
     protected processImportNameType(node: ImportNameType): string;
     protected processImportNodeStatement(node: ImportNodeStatement): string;
+    private sortAndRenderImports;
     protected visibilityToString(vis: Visibility): string;
     protected processGraphNode(node: GraphNodeDefinition): string;
     protected processClassDefinition(node: ClassDefinition): string;
     protected processNewExpression(node: NewExpression): string;
     protected processTool(node: FunctionDefinition): string;
     protected processNewLine(_node: NewLine): string;
+    protected renderBody(body: AgencyNode[]): string;
     protected processMessageThread(node: MessageThread): string;
+    protected processParallelBlock(node: ParallelBlock): string;
+    protected processSeqBlock(node: SeqBlock): string;
     protected processHandleBlock(node: HandleBlock): string;
     protected processSkill(node: Skill): string;
     protected processBinOpExpression(node: BinOpExpression, assigned?: boolean): string;
+    private flattenPipeChain;
     protected processAccessChainElement(node: AccessChainElement): string;
     protected formatTag(tag: Tag): string;
     protected formatAttachedTags(node: {