Writing Tools项目发布Windows v7.1与macOS v4版本更新
Writing Tools是一款跨平台的AI辅助写作工具,旨在为用户提供智能化的文本处理功能。该项目通过热键触发,可以快速实现文本摘要、翻译、改写等操作,支持多种AI模型提供商。最新发布的Windows v7.1和macOS v4版本带来了多项重要功能更新和体验优化。
Windows v7.1版本亮点
1. 可自定义按钮功能
本次更新最大的亮点是引入了完全可自定义的按钮功能。用户现在可以自由添加、编辑、删除和重新排列工具栏上的各个功能按钮。这一功能的实现得益于项目贡献者momokrono构建的完整后端架构,配合开发者添加的GUI界面,包括可拖动按钮和重置默认布局等功能,大大提升了用户的操作自由度。
2. Ollama AI提供程序原生支持
新增了对Ollama API的原生支持,使得Ollama的配置更加简便,同时提供了自定义模型在内存中保留时间的选项。这一改进让本地运行的大型语言模型(Local LLM)体验更加流畅。
3. 用户界面优化
新版采用了更简洁的弹出式UI设计,优化了摘要等功能的弹出窗口初始高度,提升了视觉体验。同时改进了"思考中"文本的动画效果,使交互更加自然。
4. Gemini模型增强
增加了新的Gemini模型选项,并提供了更详细的使用说明,帮助用户更好地理解和使用不同模型的能力差异。
5. 暂停/恢复功能
新增了暂停和恢复功能,允许用户临时停止Writing Tools对热键的监听。这在需要临时禁用工具但又不想完全退出的场景下非常实用。
macOS v4版本创新
1. 图像识别功能
macOS版本现在支持在Finder中直接识别图像内容。当用户在Finder中选择图像并打开WritingTools时,应用会自动识别图像内容。对于不同AI提供商,系统采用不同处理方式:
- Google和OpenAI等提供商通过其API原生支持图像处理
- Mistral和本地LLM等使用OCR和Apple Vision进行文本识别
- Ollama用户可选择使用原生支持或OCR方式
2. 独立快捷键设置
每个工具现在都可以设置独立的键盘快捷键,前提是应用需要在后台运行。这一功能大大提升了高频用户的效率。
3. 字体大小调节
响应窗口中重新加入了字体大小调节选项,满足不同用户的阅读偏好。
4. 多语言支持
新增了西班牙语翻译,进一步完善了国际化支持。
技术架构改进
两个平台版本都进行了底层架构的优化:
- Windows版本修复了OpenAI提供程序的问题,优化了整个AI提供程序架构
- macOS版本集成了AIProxySwift框架,为所有提供程序提供统一支持
- 错误处理机制更加友好,特别是针对Gemini的速率限制情况
- 终端运行时的优雅退出功能
使用注意事项
对于Windows用户,如果遇到热键不响应的问题,建议尝试更改为ctrl+`或ctrl+j等较少冲突的组合。首次启动时,安全软件可能会延长扫描时间,属正常现象。
macOS用户更新后若遇到工具不显示的问题,需要重新在系统设置的"隐私与安全→辅助功能"中启用writing-tools的访问权限。
未来展望
根据开发路线图,Writing Tools项目未来将重点开发以下功能:
- 完整的国际化多语言界面支持
- 特定选项的专用热键
- 移除推理标记的支持
- 文本差异对比功能
- 粘贴前的活动窗口验证
- 响应窗口的文本流式传输
- 对Gemini 3等新模型的支持
- 视频和链接处理能力
- 探索Core ML或llama.cpp替代方案,以扩展本地LLM对Intel Mac的支持
Writing Tools通过持续的版本迭代,正在成长为一款功能全面、体验优秀的AI辅助写作工具。Windows和macOS双平台的同步更新,展现了开发团队对多平台用户体验的重视。特别是自定义功能和图像识别等创新特性的加入,使工具更加贴近实际写作场景的需求。
ERNIE-4.5-VL-28B-A3B-ThinkingERNIE-4.5-VL-28B-A3B-Thinking 是 ERNIE-4.5-VL-28B-A3B 架构的重大升级,通过中期大规模视觉-语言推理数据训练,显著提升了模型的表征能力和模态对齐,实现了多模态推理能力的突破性飞跃Python00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
MiniMax-M2MiniMax-M2是MiniMaxAI开源的高效MoE模型,2300亿总参数中仅激活100亿,却在编码和智能体任务上表现卓越。它支持多文件编辑、终端操作和复杂工具链调用Python00
Spark-Prover-X1-7BSpark-Prover 是由科大讯飞团队开发的专用大型语言模型,专为 Lean4 中的自动定理证明而设计。该模型采用创新的三阶段训练策略,显著增强了形式化推理能力,在同等规模的开源模型中实现了最先进的性能。Python00
MiniCPM-V-4_5MiniCPM-V 4.5 是 MiniCPM-V 系列中最新且功能最强的模型。该模型基于 Qwen3-8B 和 SigLIP2-400M 构建,总参数量为 80 亿。与之前的 MiniCPM-V 和 MiniCPM-o 模型相比,它在性能上有显著提升,并引入了新的实用功能Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00