GitHub Hot Weekly
热门项目周刊# 32
本期为你精选了 10 个过去 7 天最受关注的热门开源项目，覆盖 AI、开发工具、云原生等多个领域。适合快速了解趋势、发现值得跟进的新工具与新项目。
openai/math
项目地址https://github.com/openai/math
这是一个由OpenAI维护的开源项目，使用Lean编程语言专注于数学定理的形式化和自动化验证。核心功能包括高效的证明
storytold/wordcraft
项目地址https://github.com/storytold/wordcraft
这是一个主要使用 Rust 开发的开源项目，目前在 GitHub 上已获得约 5.9k 个 Star。适合关注相关技术方向的开发者进一步了解和评估，具体功能、安装方式、使用示例与适用场景可在项目主页中查看。
alchaincyf/huashu-art-motion
项目地址https://github.com/alchaincyf/huashu-art-motion
huashu-art-motion 是一个JavaScript开源工具，提供35种艺术风格和9种解说语法，让用户通过代码轻松实现动画艺术效果。适合对编程、创意和动画感兴趣的开发者和艺术家。
wheresryan22/anatomy
项目地址https://github.com/wheresryan22/anatomy
Anatomy 是一个开源的 JavaScript agent skill，用于创建详细、交互式的等距图示，展示真实世界机器和复杂系统。它生成高质量 SVG 格式，并支持 WebGL 着色器和 3D 效果，适用于开发者和工程师进行系统可视化与教育。
mhtsec/ARTEX
项目地址https://github.com/mhtsec/ARTEX
ARTEX是AI主导的渗透测试系统，源于百度“agent+”攻防挑战赛冠军项目，核心功能包括AI自动化漏洞扫描、攻击模拟和风险评估，专为网络安全专业人士和研究人员设计，用于提升系统安全测试效率。
zhongerxin/iPhone-use
项目地址https://github.com/zhongerxin/iPhone-use
这个开源项目利用Python编写，通过USB连接真实iPhone设备，实现了对iOS系统的操作。核心功能包括引导安装、App自动化控制、实时屏幕显示及截图回退等。适合开发者进行自动化测试、iOS功能开发或对设备进行高级控制。
st文章来源(Source)：https://dqzboy.com orytold/gridcraft
项目地址https://github.com/storytold/gridcraft
GridCraft 是一个纯 Rust 编写的开源电子表格应用，提供类似 Excel 的界面和功能。它专注于性能与隐私，适合开发者和数据处理者使用。
storytold/cadcraft
项目地址https://github.com/storytold/cadcraft
这是一个主要使用 Rust 开发的开源项目，目前在 GitHub 上已获得约 2.6k 个 Star。适合关注相关技术方向的开发者进一步了解和评估，具体功能、安装方式、使用示例与适用场景可在项目主页中查看。
nullmoth/nvidia-macos-driver
项目地址https://github.com/nullmoth/nvidia-macos-driver
这是一个主要使用 Rust 开发的开源项目，目前在 GitHub 上已获得约 2.5k 个 Star。适合关注相关技术方向的开发者进一步了解和评估，具体功能、安装方式、使用示例与适用场景可在项目主页中查看。
LosaLosSantos/aurelio-finance
项目地址https://github.com/LosaLosSantos/aurelio-finance
aurelio-finance 是一个开源个人理财应用程序，集成AI财务顾问，核心功能包括跟踪净资产、投资、ETF、现金和债务，所有数据在本地计算机上管理。适合需要自主管理财务的个人用户，尤其是对投资和财务规划感兴趣的爱好者。