typecheck_project
Execute a type-checking command on a project, with customizable timeout, background execution, and polling intervals.
Instructions
Kali Agent MCP tool: typecheck_project Explicit execution timing is supported. Before calling, deliberately choose expected_runtime_seconds, timeout_seconds, check_after_seconds, poll_interval_seconds, and on_timeout. Use on_timeout='continue_background' for long work that should return a durable job_id for later job_status/job_logs/job_wait checks; use 'kill' or 'return_partial' for bounded synchronous work.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "typecheck_project"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | No | . | |
| command | No | ||
| background | No | ||
| on_timeout | No | return_partial | |
| timeout_seconds | No | ||
| check_after_seconds | No | ||
| poll_interval_seconds | No | ||
| expected_runtime_seconds | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||