Project Files

.pydev-tools

_ast

describe.py

do_work.py

docstrings.py

extract_function.py

extract.py

legacy_handler_2.py

legacy_handler_3.py

legacy_handler.py

migration.py

reference.py

rename.py

workspace_description.md

prompt_examples

dependency_version_migration.txt

hotfix_rework.txt

new_project.txt

performance_optimization.txt

refactory.txt

security_hardening.txt

source_tree_analysis.txt

test_coverage_expansion.txt

scripts

e2e_runPytest_test.cjs

setupVenv.mjs

smokeNew6Tools.ts

smokeNewTools.ts

verify_testfile_fix.ts

verifySetupVenv.ts

skills

pydev-mcp.md

src

tools

_profiling_worker_main.py

analyzeImportsAndDependencies.ts

buildPythonPackage.ts

checkForBugs.ts

checkForBugsInFile.ts

createProjectStructure.ts

createTestFileTool.ts

editTextFile.ts

editTextFileByLine.ts

findFiles.ts

generateRequirementsTxtTool.ts

getSetupStatusTool.ts

getWorkspaceRootTool.ts

inspectEnvironmentTool.ts

installModule.ts

listDirectory.ts

listTools.ts

profileProject.ts

pydevAuditDocstringsTool.ts

pydevDescribeWorkspaceTool.ts

pydevExtractFunctionTool.ts

pydevGenerateReferenceTool.ts

pydevMigrationAuditTool.ts

pydevSafeRenameTool.ts

readTextFile.ts

runLinterAndFormatter.ts

runLinterAndFormatterInFile.ts

runProjectCoverage.ts

runPython.ts

runPythonFile.ts

runPythonFileInteractive.ts

runPythonInteractive.ts

runRepl.ts

runTests.ts

runWithDebuggerTool.ts

saveTextFile.ts

scanProjectSecurity.ts

searchDirectory.ts

setupVenvTool.ts

switchPythonVersion.ts

typeCheckProjectTool.ts

uninstallModule.ts

config.ts

index.ts

test

run_tests.cjs

tools.test.cjs

manifest.json

package-lock.json

package.json

professor_headache.jpg

README.md

setup-venv.sh

tsconfig.json

src / tools / typeCheckProjectTool.ts

import { tool } from "@lmstudio/sdk";
import { z } from "zod";

import { typeCheckProject, type TypeCheckResult } from "../utils/pythonTypeChecker";
import { getToolDefinition } from "../utils/toolRegistry";

const TOOL_DEFINITION = getToolDefinition("pydev_type_check")!;

export const typeCheckProjectTool = tool({
  name: TOOL_DEFINITION.name,
  description: `${TOOL_DEFINITION.description} Scans a project directory with mypy/pyright and returns error/warning/note counts plus a summary.`,
  parameters: {
    targetPath: z
      .string()
      .min(1)
      .max(500)
      .optional()
      .describe("Directory (relative to the workspace root) or path to type-check. Defaults to the workspace root."),
    checker: z
      .enum(["mypy", "pyright"])
      .optional()
      .describe("Static type checker to run. Defaults to mypy."),
    extraArgs: z
      .array(z.string().max(500))
      .max(20)
      .optional()
      .describe("Extra arguments forwarded to the checker (e.g. '--follow-imports=skip')."),
    timeoutSeconds: z
      .number()
      .int()
      .min(30)
      .max(600)
      .optional()
      .describe("Timeout in seconds. Defaults to 180."),
  },
  implementation: async ({ targetPath, checker, extraArgs, timeoutSeconds }) => {
    const result: TypeCheckResult = await typeCheckProject(targetPath ?? ".", {
      checker,
      extraArgs,
      timeoutSeconds,
    });

    return {
      checker: result.checker,
      available: result.available,
      targetPath: result.targetPath,
      exitCode: result.exitCode,
      errorCount: result.errorCount,
      warningCount: result.warningCount,
      noteCount: result.noteCount,
      summary: result.summary,
      rawOutputTruncated: result.rawOutputTruncated,
    };
  },
});