"类型检查"标签的搜索结果

该项目实现了一个MCP服务器，提供对指定项目目录进行Vitest单元测试和TypeScript类型检查的功能。

RoCQ是一个MCP服务器，通过集成Coq证明助手，为LLM提供逻辑推理能力，支持类型检查、归纳类型定义和属性证明等功能。