"类型检查" 标签

基于 Model Context Protocol (MCP) 的 Kea 语言后端服务器实现，提供通过 MCP 客户端进行资源管理、工具调用与诊断输出的上下文服务，支持与编辑器/代理等外部组件的集成。

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

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