基于语言服务器提供语义检索与代码编辑能力的 MCP 工具包,让 Claude Code、Codex 等编码智能体获得类似 IDE 的代码理解与修改能力。
用 Rust 写的高性能 Python 类型检查器和语言服务器,能快速做类型检查并给编辑器提供补全、跳转等 LSP 能力。
一款用 Go 写的现代终端文本编辑器,操作直观、开箱即用,适合在命令行里改配置、写代码,不用离开终端。
跨语言的列式内存格式与工具箱,让不同系统之间零拷贝交换数据,并加速内存分析。
一个由 10 个微服务组成的云原生示例应用,演示如何在 Kubernetes 上用 Istio 和 gRPC 搭建、部署并观测完整的多服务系统。
不用改容器镜像里的任何东西,就能把镜像体积压缩最多 30 倍(编译型语言更明显),同时收紧安全配置。
低内存占用的高性能图像处理库,支持 JPEG、HEIC、GIF、OpenEXR 等格式,适合替代 ImageMagick 处理大批量图片。
一个用 Go 写的 TCP 代理,能模拟延迟、断连、带宽限制等网络和系统故障,用来做混沌工程和容错测试。
多语言文档智能解析引擎,能从 100 多种格式中提取文本、表格和元数据,并支持 OCR、语音转写和代码理解,适合为 RAG 流程准备高质量数据。
基于 GraphBLAS 稀疏邻接矩阵实现的高性能图数据库,主打为 LLM 提供知识图谱支撑,适合做 GraphRAG 检索增强。
用 Rust 写的 OLTP 图数据库,跑在对象存储上,原生集成向量检索和全文搜索,适合给 RAG 应用做统一的数据底座。
…other instructions 。 - 实测证据 (本机 CLI agy 1.5.3 / 桌面语言服务 1.23.x,隔离 HOME + loopback 抓包): - off / strict / replace / append 四模式均捕获主请求,进程退出码 0; - marker 全部落在 system 层 ( system
…默认中文,可选择 English。原生页面、应用提示、动态状态与 WebView/Gecko 的实际语言服务同步;修复切回中文后仍保留英文插件检测结果等问题。 - 语言切换只重建界面,终端与 Web 继续运行。聊天、文件名、命令、用户输入和第三方原始错误不做自动替换。 多终端、插件与平板 - PTY 和简易终端各自支持新建、切换与关闭标签
…tigravity 2.0相关进程名到默认配置: - language server.exe (新版语言服务器) - Antigravity IDE.exe (带空格的IDE进程名) - 保留language server windows兼容旧版 - 重构CreateProcess进程名解析逻辑,解决以下问题: - 修复带空格进程名如"A