类型检查

自动检查（lint、测试、类型检查）能拦截低级错误，但无法替代人工判断业务逻辑合理性和方案正确性。

智能体需要可运行的检查作为反馈回路，包括测试、构建、类型检查、linter 以及清晰的错误信息。

类型检查在编译或运行前验证变量、参数和返回值的类型一致性，能捕获接口误用；lint 通过静态分析发现未使用变量、可疑空值处理、风格违规等问题。