Arcas OnlineEDA MCP Server

Instructions

Implementation Reference

• src/tools/natural-language.ts:143-195 (handler)

  The core handler function that processes natural language input, matches against examples, detects intent, and returns suggested tools and parameters.
  protected async execute(params: NaturalLanguageParams): Promise<ToolResult> { const query = params.query.toLowerCase(); try { // First check for exact or close matches in examples const exactMatch = this.findBestExample(query); if (exactMatch) { return { success: true, data: { interpretation: exactMatch.interpretation, suggestedTool: exactMatch.tool, suggestedParams: exactMatch.params, matchedExample: exactMatch.query, confidence: 'high', }, }; } // Parse intent from natural language with enhanced understanding if (this.isProjectCreation(query)) { return this.suggestProjectCreation(query); } if (this.isVerification(query)) { return this.suggestVerification(query); } if (this.isFileOperation(query)) { return this.suggestFileUpload(query); } if (this.isNavigation(query)) { return this.suggestNavigation(query); } if (this.isResultsQuery(query)) { return this.suggestGetResults(params.context?.currentProject); } if (this.isHelpQuery(query)) { return this.provideEnhancedHelp(); } // Fallback with examples return this.provideFallbackWithExamples(params.query); } catch (error) { return { success: false, error: `Natural language processing failed: ${error instanceof Error ? error.message : 'Unknown error'}`, }; } }
• src/tools/natural-language.ts:5-11 (schema)

  Zod schema defining the input parameters for the natural language tool.
  const NaturalLanguageSchema = z.object({ query: z.string().describe('Natural language query about Arcas OnlineEDA operations'), context: z.object({ currentProject: z.string().optional().describe('Current project ID'), previousResults: z.any().optional().describe('Previous operation results'), }).optional(), });
• src/index.ts:52-64 (registration)

  Registration of the NaturalLanguageTool instance in the MCP server's tools map, along with other tools.
  private setupTools(): void { const toolInstances = [ new NavigateTool(this.browserManager), new ProjectTool(this.browserManager), new UploadFileTool(this.browserManager), new RunVerificationTool(this.browserManager), new NaturalLanguageTool(this.browserManager), ]; for (const tool of toolInstances) { this.tools.set(tool.getName(), tool); } }
• src/tools/natural-language.ts:23-129 (helper)

  Extensive list of example queries and their corresponding tool mappings used for intent matching and suggestion.
  private examples: Example[] = [ // Project creation examples { query: "I want to create a new formal verification project for my CPU design", interpretation: "Create formal verification project", tool: "arcas_onlineeda_project", params: { action: "create", projectType: "formal", projectName: "cpu_formal_verification" } }, { query: "Let's start a power analysis project for the GPU controller", interpretation: "Create power analysis project", tool: "arcas_onlineeda_project", params: { action: "create", projectType: "power", projectName: "gpu_controller_power" } }, { query: "Set up equivalence checking between RTL and gate-level netlist", interpretation: "Create equivalence checking project", tool: "arcas_onlineeda_project", params: { action: "create", projectType: "equivalence", projectName: "rtl_gate_equivalence" } }, // Verification examples { query: "Check if my RISC-V core meets all safety properties", interpretation: "Run formal verification with safety properties", tool: "arcas_onlineeda_run_verification", params: { verificationType: "formal", options: { properties: ["safety"], depth: 20 } } }, { query: "Verify that the optimized design is functionally equivalent to the original", interpretation: "Run equivalence verification", tool: "arcas_onlineeda_run_verification", params: { verificationType: "equivalence" } }, { query: "Analyze power consumption during different operating modes", interpretation: "Run power analysis verification", tool: "arcas_onlineeda_run_verification", params: { verificationType: "power", options: { timeout: 600 } } }, { query: "Find security vulnerabilities in my crypto module", interpretation: "Run security verification", tool: "arcas_onlineeda_run_verification", params: { verificationType: "security", options: { properties: ["information_leakage", "timing_attacks"] } } }, // File operations examples { query: "Upload my Verilog files for the memory controller", interpretation: "Upload Verilog design files", tool: "arcas_onlineeda_upload_file", params: { fileType: "verilog" } }, { query: "Add the SystemVerilog testbench to the project", interpretation: "Upload SystemVerilog testbench", tool: "arcas_onlineeda_upload_file", params: { fileType: "systemverilog" } }, { query: "Import SDC timing constraints", interpretation: "Upload constraint files", tool: "arcas_onlineeda_upload_file", params: { fileType: "constraints" } }, // Navigation examples { query: "Show me all my verification projects", interpretation: "Navigate to projects list", tool: "arcas_onlineeda_navigate", params: { action: "projects" } }, { query: "Go to the documentation", interpretation: "Navigate to documentation", tool: "arcas_onlineeda_navigate", params: { action: "documentation" } }, // Complex workflow examples { query: "I need to verify my AES encryption module meets FIPS standards", interpretation: "Security verification workflow for cryptographic module", tool: "workflow", params: { steps: [ { tool: "arcas_onlineeda_project", params: { action: "create", projectType: "security", projectName: "aes_fips_verification" } }, { tool: "arcas_onlineeda_upload_file", params: { fileType: "verilog" } }, { tool: "arcas_onlineeda_run_verification", params: { verificationType: "security", options: { properties: ["fips_compliance"] } } } ] } }, { query: "Compare power consumption before and after optimization", interpretation: "Power comparison workflow", tool: "workflow", params: { steps: [ { tool: "arcas_onlineeda_project", params: { action: "create", projectType: "power", projectName: "optimization_comparison" } }, { tool: "arcas_onlineeda_upload_file", params: { fileType: "verilog", note: "Upload both versions" } }, { tool: "arcas_onlineeda_run_verification", params: { verificationType: "power" } } ] } } ];
• src/index.ts:20-20 (registration)

  Import statement for the NaturalLanguageTool class.
  import { NaturalLanguageTool } from './tools/natural-language.js';