待验证50% 置信事实精确时间
Pragma 提供十余种主题，可按语言管理语言服务器；支持接入任意编码 CLI 或自带 API key，密钥存放在系统 keychain 而非明文配置文件。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/23
首次发现
有效期至：2027/1/21
来源
Pragma：把编码Agent塞进IDE的Rust开源新选择
youtubeNiklasTech2026/10/22
涉及实体
相关事实
待验证Pragma 提供编辑器视图（Command+Shift+E 切换），内置语言服务器，支持悬停查看类型、跳转定义等基础能力，以及终端和 git 视图。63% 相似待验证Praxis 输出的不是代码，而是一份可以在写代码前反复审阅的详细工程蓝图57% 相似待验证在 n8n 中写入 CRM 一般通过对应服务的内置节点或通用 HTTP 请求完成，核心是字段一一映射。57% 相似待验证现代软件几乎都提供 API，且 CRM 可以对接邮件平台、表单提交可以触发 webhook，AI 能自动总结对话并更新联系人记录，因此把工具连起来从未如此简单。56% 相似待验证Kit通过ACP协议可实现在兼容的编辑器中运行，以及编排其他Agent框架（harness）56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1089602API
curl https://kongchang.com/api/v1/knowledge/claims/1089602MCP
get_claim(id=1089602)