mcp-server-quint

Instructions

Implementation Reference

• index.js:324-359 (handler)

  The implementation of the 'quint_parse' tool, which takes a source string and file path, runs the quint parse command, and returns the resulting IR JSON.

  server.tool(
    "quint_parse",
    "Parse a Quint spec and return the intermediate representation (IR) as JSON. Useful for inspecting the AST or checking for parse errors.",
    sourceSchema,
    async ({ source, file_path }) => {
      try {
        const outFile = join(
          tmpdir(),
          `quint_ir_${randomBytes(8).toString("hex")}.json`,
        );
        const result = await runWithSource(source, file_path, (f) => [
          "parse",
          `--out=${outFile}`,
          f,
        ]);
  
        if (result.ok) {
          try {
            const ir = await readFile(outFile, "utf-8");
            await unlink(outFile).catch(() => {});
            return { content: [{ type: "text", text: ir }] };
          } catch {
            return formatResult(result);
          }
        }
  
        await unlink(outFile).catch(() => {});
        return formatResult(result);
      } catch (err) {
        return {
          content: [{ type: "text", text: `Error: ${err.message}` }],
          isError: true,
        };
      }
    },
  );