N°273
新闻资讯
2026.07.30
AI工具推荐 – 2026年07月30日
1
Views · 浏览
30/07/2026
本期精选21 个工具
01z3 – Z3ProverZ3 定理证明器02ruby – rubyRuby 编程语言03百度研究院百度 AI 研究04百川模型库Hugging Face05TypeScript – microsoftTypeScript 是 JavaScript 的超集，可编译为简洁的 Java…06pyo3 – PyO3Python 解释器的 Rust 绑定07Canva AI PPTCanva AI 演示文稿制作08SwiftGodot – migueldeicazaSwift 的新 Godot 绑定09cmux – manaflow-ai基于 Ghostty 的开源 macOS 终端，支持垂直标签和 AI 编码代理通…10last30days-skill – mvanhorn研究Reddit、X、YouTube、HN、Polymarket及网页上任意主题…11gogcli – openclaw终端中的 Google Workspace。12andrej-karpathy-skills – multica-ai一个 CLAUDE.md 文件，用于优化 Claude Code 的表现，源自 …13build-your-own-x – codecrafters-io通过从头开始重建你最爱的技术来掌握编程。14NeurIPS神经信息15Stack Overflow编程问答16ElevenLabsAI 配音17ElevenLabsAI文本转语音，支持包含中文在内的29种语言18zeal – zealdocs离线文档浏览器。您的个人参考库，即搜即得。19netcode – mas-bandwidth专为多人游戏打造的、基于 UDP 的安全客户端/服务器协议20Pika神器Pika神器 是 Ai视频神器 领域的优质工具21turborepo – vercelBuild system optimized for JavaScript an…