26个数学网站及论坛

2026年7月27日星期一
数学的喜悦:http://pathtomathematics.blogspot.com/

小小泪:https://lttt.vanabel.cn/

陈洪葛:http://pxchg1200.is-programmer.com/

国际大学生数学竞赛:http://www.imc-math.org.uk/

普特南数学竞赛:http://kskedlaya.org/putnam-archive/

美国数学月刊问题:http://www.mat.uniroma2.it/~tauraso/AMM/amm.html

Art of Problem Solving:https://artofproblemsolving.com/

Integrals and Series:https://www.tapatalk.com/groups/integralsandseries/memberlist.php?mode=viewprofile&u=367

MSE:https://math.stackexchange.com/

Brilliant:https://brilliant.org/

Probability:https://www.probabilitycourse.com/

Mathoverflow:https://mathoverflow.net/

Approach Zero: https://approach0.xyz/search/

Mathematical Reflections:https://www.awesomemath.org/mathematical-reflections/archives/#toggle-id-2

Vojtěch Jarník 国际大学生数学竞赛:https://vjimc.osu.cz/problems

SSMA 杂志:https://www.ssma.org/solutions-problem-section

MathProblems 杂志:https://www.mathproblems-ks.org/?page_id=10

哥伦布州立大学数学竞赛:https://www.columbusstate.edu/math/tournament/

Crux Mathematicorum:https://cms.math.ca/publications/crux/

Terence Tao(What's new):https://terrytao.wordpress.com/

Missouri's State Univ. Problem Corner:https://problemcorner.missouristate.edu/

香港科技大学数学竞赛:https://www.math.hkust.edu.hk/ug/competition/award.php

京都大学数学研究生入学考试:https://www.math.kyoto-u.ac.jp/ja/past-exams

Ed Barbeau:https://www.math.utoronto.ca/barbeau/home.html

Bolyai:https://www.bolyai.hu/versenyek-kurschak-jozsef-matematikai-tanuloverseny/

匈牙利大学生数学竞赛:https://www.math.u-szeged.hu/~mmaroti/schweitzer/
标签:

特别优秀10 款开源软件

2026年7月3日星期五
Brave

Brave是一款基于Chromium 的开源浏览器软件。

它针对chrome 做了很多改进,可以防止程序追踪,同时优化了Https 网络请求。

它还特别安全,可以轻松过滤广告,网站Cookie 和各种脚本。它还内置了Tor,可以让你浏览更加私密。

还有阅读模式,让阅读更加专注方便。

支持电脑版和手机版。
Blender

Blender是一款特别优秀的3D 制作软件。使用它可以建模,制作动画,仿真渲染,运动追踪,视频编辑等各种功能。

同时它还可以实时渲染预览,CPU和GPU渲染加速,VR 渲染支持。

大家可以看一看Blender 的宣传片——Sintel 和 Spring。画面非常的精细和精美,特别地专业。

同时它还提供了一系列的视频编辑功能,支持几十种轨道,可以随意插入视频图片音频。

可以直接使用其他人的脚本,快速来制作3D 动画。
Everything

Everything 是Windows 上一款文件搜索软件。

只需要你第一次打开,它就会建立索引,之后的使用,不管你是成千上万个软件,还是几百G 的硬盘,Everything 只需几秒就可以检索出你要的文件。

可以你会想:它功能这么强大,一定会很大而且很占内存吧,我只想告诉你,它的一个安装文件不到1M,而且占用内存不到10M,简直是业界良心。

而且它还支持中文。
Gimp

Gimp 是一款小巧实用的图片编辑工具。

如果你不想用笨重的PS,那可以尝试一下Gimp,它该有的功能都有,绘图,抠图,锐化,只要你有足够的想法,用它都可以展示出来。

而且它仅仅只有一百M 大小,同时还开源免费,电脑全平台支持。支持17 种语言,包括中文。
VLC Media Player

VLC 播放器是一款自由,开源的多媒体播放器。它几乎可以播放大部分多媒体内容,不需要安装解码器。

而且它完全免费,而且没有广告,也不会跟踪用户的行为,所以可以放心使用。

你还可以自定义外观,还可以安装插件。它几乎支持所有平台,手机或者电脑。

其他像QQ 影音,Potplayer 也不错,可以体验体验。
KeepPass

KeepPass 是一个开源的密码管理工具软件。

你可以使用它管理密码,密钥文件。它使用256 位AES算法加密,而且还可以设置密码次数。

它使用数据库管理,同时还支持导入导出功能,同时兼容多种密码管理软件格式。

同时支持浏览器自动填充表单。

全平台支持。
HandBrake

HandBrake 是一个免费好用的视频压缩可转换软件。

这个软件已经存在了十几年,不仅免费而且还是开源的,可以放心使用。

它的编码参数很丰富, 可以选择之类,可以选择视频解码器,还支持高清无损音轨。

支持输入输出的格式也是很丰富的,不仅支持各种专业和普通使用的视频软件格式,同时还支持专业的音频和专有的轨道。

同时它还可以给视频添加字幕。

支持Win,Mac 和Linux。
7Zip

7Zip 是一款高效的压缩解压软件。

它专有的7z 格式,可以使压缩文档小30% 到70% 左右。

它同时也是一款开源免费的软件,不用担心有什么广告或者插件。

它支持解压缩,7z,gzip,tar,zip 等。当然也支持各种镜像ISO,NTFS。同时它也集成了微软的操作系统,在文件管理中使用更方便。
Motrix

Motrix是一个免费好用的下载工具。

它的界面特别清爽简洁,支持HTTP,FTP,BT磁力下载。最重要的,它也支持百度云高速下载。

支持多任务同时下载和多线程下载,最好支持10 个任务和64 个线程。

可以自定义修改浏览器标识。

如果你懂技术的话,它也是开源免费,可以自己研究研究。

支持Win,Mac 和Linux。
标签:

安卓10个开源软件推荐 开心伴我成长

1. F-Droid:开源应用的守护者

F-Droid不仅是安卓平台的开源应用商店,更是整个开源生态的重要基石。所有上架应用均需通过严格审核,确保无广告、无追踪,并提供完整的源代码。用户可通过F-Droid一站式获取包括浏览器、文件管理器、密码工具在内的各类安全应用,彻底摆脱闭源软件的隐私风险。

核心优势:

零广告、零追踪的纯净环境

支持自动更新与依赖管理

鼓励开发者提交应用审核,推动社区共建

官网链接:F-Droid官网

2. Signal:端到端加密通讯标杆

作为全球最知名的开源通讯工具,Signal在2025年进一步优化了用户体验。其端到端加密技术不仅保护短信与通话内容,还新增了群组管理工具与文件安全传输功能。无论是个人隐私保护还是企业团队协作,Signal都是安全通讯的首选。

关键功能:

消息自毁设定与屏幕安全锁定

跨平台同步(支持iOS、桌面端)

开源代码接受全球安全专家审计

下载渠道:F-Droid / 官网直连

3. NewPipe:去广告的YouTube重生

NewPipe彻底重构YouTube体验:屏蔽所有广告、自定义播放界面、下载视频无水印。其开源特性允许开发者自由扩展功能,如添加字幕翻译、多分辨率切换等。对于厌倦商业平台侵扰的用户,NewPipe是理想的替代方案。

特色亮点:

无谷歌服务依赖,适配更多设备

支持匿名浏览与隐私模式

社区插件库持续扩展功能边界

获取方式:F-Droid / GitHub直链APK

4. Joplin:跨平台加密笔记系统

Joplin以Markdown为核心,构建了全端同步的加密笔记生态。用户可通过本地加密或WebDAV协议实现跨设备同步,支持笔记分类、标签管理及全文搜索。其开源架构确保数据主权完全归属用户,成为知识工作者的隐私堡垒。

技术特性:

端到端加密同步(支持Nextcloud等自托管服务)

内置笔记模板与自动化标签系统

支持LaTeX公式与代码块渲染

多端下载:官网(覆盖Windows、macOS、Android)

5. Open Camera:专业级手动相机应用

Open Camera打破传统相机应用的局限,提供全手动控制参数(ISO、快门速度、白平衡等),支持RAW格式拍摄与自定义对焦区域。其开源代码允许摄影爱好者深度定制拍摄逻辑,甚至开发专属滤镜算法。

专业功能:

多镜头设备支持(超广角/微距切换)

定时拍摄与运动轨迹追踪模式

无后台权限调用,保障隐私安全

安装来源:F-Droid / 项目官网

6. Shelter:隐私隔离的“应用保险箱”

Shelter通过虚拟化技术创建独立“沙盒环境”,用户可将敏感应用(如银行APP、加密钱包)隔离运行。每个沙盒可设置独立密码、指纹验证,防止主系统权限泄露。其开源架构确保隔离机制的透明性与安全性。

应用场景:

企业工作与私人应用的强制隔离

高风险应用(如加密货币交易)的安全容器

防止恶意软件跨应用数据窃取

下载路径:F-Droid / GitHub(需Root权限设备)

7. Bitwarden:自托管密码管理器

Bitwarden以“零知识架构”重构密码管理:用户可自建服务器托管密码库,所有加密操作在本地完成。安卓客户端支持生物识别解锁、自动填充与跨设备同步,其开源代码接受全球安全团队持续审计。

创新设计:

家庭/团队共享密码库(分级权限管理)

浏览器插件与移动端无缝联动

支持硬件密钥(如YubiKey)二次验证

部署指南:官网(提供Docker镜像与自建文档)

8. Feeder:轻量级开源RSS阅读器

Feeder用Material Design重塑RSS阅读体验:支持OPML订阅导入、智能标签分类与离线缓存。其开源社区持续开发反追踪模块,屏蔽订阅源中的广告与隐私追踪代码,打造纯净的信息流。

差异化优势:

无账号绑定,订阅数据本地存储

自定义主题与阅读排版

支持通过Webhook同步第三方服务(如Telegram提醒)

安装渠道:F-Droid / Play商店(捐赠版)

9. Minetest:开源版《我的世界》

Minetest以完全开源代码重现沙盒游戏的创造力:支持自定义材质、游戏逻辑脚本编写与多人服务器搭建。其安卓版本优化触控操作,让移动玩家也能随时构建方块世界,更可通过社区MOD扩展无限玩法。

开发友好性:

Lua脚本接口开放所有游戏逻辑

支持导入《我的世界》地图格式

跨平台服务器兼容(PC/移动端联机)

游戏社区:官网下载 + Forum MOD库

10. OpenTracks:全能运动轨迹记录器

OpenTracks替代商业运动APP,以开源代码实现轨迹精准记录(支持GPS、传感器融合)、运动数据分析与导出(TCX/KML格式)。其特色“隐私模式”可加密存储轨迹数据,防止运动信息泄露。
标签:

Linux下LaTeX 编辑器

2026年7月1日星期三
LaTeX 是一种基于 TEX 的排版系统,由美国电脑学家莱斯利·兰伯特 在 20 世纪 80 年代初期开发,利用这种格式,即使用户没有排版和 程序设计的知识也可以充分发挥由 TEX 所提供的强大功能,下面为大家分享一下Linux下LaTeX 编辑器

1、 LyX
LyX 是一个开源的 LaTeX 编辑器,即是说它是网络上可获取到的最好的文档处理引擎之一。LyX 帮助你集中于你的文章,并忘记对单词的格式化,而这些正是每个 LaTeX 编辑器应当做的。LyX 能够让你根据文档的不同,管理不同的文档内容。一旦安装了它,你就可以控制文档中的很多东西了,例如页边距、页眉、页脚、空白、缩进、表格等等。

假如你正忙着精心撰写科学类文档、研究论文或类似的文档,你将会很高兴能够体验到 LyX 的公式编辑器,这也是其特色之一。 LyX 还包括一系列的教程来入门,使得入门没有那么多的麻烦。

2、 Texmaker
Texmaker 被认为是 GNOME 桌面环境下最好的 LaeX 编辑器之一。它呈现出一个非常好的用户界面,带来了极好的用户体验。它也被称之为最实用的 LaTeX 编辑器之一。假如你经常进行 PDF 的转换,你将发现 TeXmaker 相比其他编辑器更加快速。在你书写的同时,你也可以预览你的文档最终将是什么样子的。同时,你也可以观察到可以很容易地找到所需要的符号。

Texmaker 也提供一个扩展的快捷键支持。你有什么理由不试着使用它呢?

3、 TeXstudio
假如你想要一个这样的 LaTeX 编辑器:它既能为你提供相当不错的自定义功能,又带有一个易用的界面,那么 TeXstudio 便是一个完美的选择。它的 UI 确实很简单,但是不粗糙。 TeXstudio 带有语法高亮,自带一个集成的阅读器,可以让你检查参考文献,同时还带有一些其他的辅助工具。

它同时还支持某些酷炫的功能,例如自动补全,链接覆盖,书签,多游标等等,这使得书写 LaTeX 文档变得比以前更加简单。

TeXstudio 的维护很活跃,对于新手或者高级写作者来说,这使得它成为一个引人注目的选择。

4、 Gummi
Gummi 是一个非常简单的 LaTeX 编辑器,它基于 GTK+ 工具箱。当然,在这个编辑器中你找不到许多华丽的选项,但如果你只想能够立刻着手写作, 那么 Gummi 便是我们给你的推荐。它支持将文档输出为 PDF 格式,支持语法高亮,并帮助你进行某些基础的错误检查。尽管在 GitHub 上它已经不再被活跃地维护,但它仍然工作地很好。

5、 TeXpen
TeXpen 是另一个简洁的 LaTeX 编辑器。它为你提供了自动补全功能。但其用户界面或许不会让你感到印象深刻。假如你对用户界面不在意,又想要一个超级容易的 LaTeX 编辑器,那么 TeXpen 将满足你的需求。同时 TeXpen 还能为你校正或提高在文档中使用的英语语法和表达式。

6、 ShareLaTeX
ShareLaTeX 是一款在线 LaTeX 编辑器。假如你想与某人或某组朋友一同协作进行文档的书写,那么这便是你所需要的。

它提供一个免费方案和几种付费方案。甚至来自哈佛大学和牛津大学的学生也都使用它来进行个人的项目。其免费方案还允许你添加一位协作者。

其付费方案允许你与 GitHub 和 Dropbox 进行同步,并且能够记录完整的文档修改历史。你可以为你的每个方案选择多个协作者。对于学生,它还提供单独的计费方案。

7、 Overleaf
Overleaf 是另一款在线的 LaTeX 编辑器。它与 ShareLaTeX 类似,它为专家和学生提供了不同的计费方案。它也提供了一个免费方案,使用它你可以与 GitHub 同步,检查你的修订历史,或添加多个合作者。

在每个项目中,它对文件的数目有所限制。所以在大多数情况下如果你对 LaTeX 文件非常熟悉,这并不会为你带来不便。

8、 Authorea
Authorea 是一个美妙的在线 LaTeX 编辑器。当然,如果考虑到价格,它可能不是最好的一款。对于免费方案,它有 100 MB 的数据上传限制和每次只能创建一个私有文档。而付费方案则提供更多的额外好处,但如果考虑到价格,它可能不是最便宜的。你应该选择 Authorea 的唯一原因应该是因为其用户界面。假如你喜爱使用一款提供令人印象深刻的用户界面的工具,那就不要错过它。

9、 Papeeria
Papeeria 是在网络上你能够找到的最为便宜的 LaTeX 在线编辑器,如果考虑到它和其他的编辑器一样可信赖的话。假如你想免费地使用它,则你不能使用它开展私有项目。但是,如果你更偏爱公共项目,它允许你创建不限数目的项目,添加不限数目的协作者。它的特色功能是有一个非常简便的画图构造器,并且在无需额外费用的情况下使用 Git 同步。假如你偏爱付费方案,它赋予你创建 10 个私有项目的能力。

10、 Kile
位于我们最好 LaTeX 编辑器清单的最后一位是 Kile 编辑器。有些朋友对 Kile 推崇备至,很大程度上是因为其提供某些特色功能。

Kile 不仅仅是一款编辑器,它还是一款类似 Eclipse 的 IDE 工具,提供了针对文档和项目的一整套环境。除了快速编译和预览功能,你还可以使用诸如命令的自动补全 、插入引用,按照章节来组织文档等功能。你真的应该使用 Kile 来见识其潜力。

Kile 在 Linux 和 Windows 平台下都可获取到。
标签:

AI Agent 工具开源项目推荐

2026年6月29日星期一

1. OpenMontage:面向 Agent 的开源视频生产系统

项目地址: https://github.com/calesthio/OpenMontage
主要语言: Python
项目定位: 将 AI 编码助手扩展为视频生产工作室的 Agentic 视频生产系统。

OpenMontage 的思路很有代表性:它不是单纯提供一个视频生成接口,而是把视频制作拆成一组可被 Agent 调度的流水线、工具和技能。对于需要批量生成讲解视频、产品演示、社媒素材或教程内容的团队来说,这类“工具编排 + 多步骤生产”的架构比单次生成更接近真实工作流。

它值得关注的点在于对多媒体生产流程的拆解方式。视频生产涉及脚本、素材、配音、剪辑、转场、字幕、封面等多个环节,如果这些环节能被标准化为 Agent 可调用的能力,后续就有机会与现有的内容管理、知识库、品牌规范和发布系统衔接。

适合关注的人群:

  • 做 AI 视频、内容自动化、营销素材生产的团队
  • 希望研究 Agent 工作流如何落地到多媒体场景的开发者
  • 需要批量生成教程、短视频或产品演示的独立开发者

2. codebase-memory-mcp:为代码库建立持久化记忆的 MCP 服务

项目地址: https://github.com/DeusData/codebase-memory-mcp
主要语言: C
项目定位: 高性能代码智能 MCP Server,可将代码库索引为持久化知识图谱。

随着 Claude Code、Cursor、Codex CLI 等 AI 编程工具进入日常开发,如何让模型长期理解一个大型代码库,正在成为非常实际的问题。codebase-memory-mcp 试图用 MCP Server 的方式,把代码结构、符号关系和查询能力封装为外部工具,让 AI 助手在写代码时可以更快、更准确地检索上下文。

这个项目的亮点是“持久化记忆”和“低成本查询”。相比每次都把大量文件塞进上下文,代码库索引可以帮助模型在需要时获取更小、更精准的信息。对于大型 monorepo、历史包袱较重的业务系统,或者跨语言项目来说,这类基础设施可能显著改善 AI 编程体验。

适合关注的人群:

  • 正在搭建 AI 编程工作流的工程团队
  • 需要让 Agent 理解大型代码库的工具开发者
  • 对 MCP、代码索引、知识图谱感兴趣的后端/基础设施工程师

3. Orca:面向并行编码 Agent 的开发环境

项目地址: https://github.com/stablyai/orca
主要语言: TypeScript
项目定位: 用于同时调度和管理多种编码 Agent 的 Agent Development Environment。

Orca 关注的是另一个正在快速成形的方向:不再把 AI 编程助手当作单个对话框,而是把多个 Agent 当作可并行工作的“开发成员”。它提供桌面和移动端体验,并允许使用自己的订阅来运行不同的编码 Agent。

对开发者来说,多 Agent 并行工作的挑战不只是“能不能同时跑”,更包括任务拆分、结果对比、冲突管理、上下文同步和人工审核。Orca 这类工具的价值在于把这些过程产品化,让开发者能更自然地在一个界面里组织多个 AI 劳动力。

适合关注的人群:

  • 高频使用 AI 编程工具的开发者
  • 想要尝试多 Agent 并行开发的团队负责人
  • 关注下一代 IDE / ADE 形态的工具产品开发者

4. design.md:让编码 Agent 理解设计系统的结构化规范

项目地址: https://github.com/google-labs-code/design.md
主要语言: TypeScript
项目定位: 用 Markdown 规范描述视觉识别和设计系统,让编码 Agent 在生成界面时具备稳定的设计上下文。

AI 写前端越来越容易,但“写得像同一个产品”仍然很难。design.md 的核心价值在于提供一种面向 Agent 的设计系统描述格式,让色彩、排版、组件风格、品牌语气等信息成为可持续引用的上下文,而不是每次靠提示词临时补充。

这类规范对团队协作很有意义。设计师可以把视觉规则沉淀为结构化文档,开发者和 AI 工具在实现页面时可以统一读取,减少“看起来能用但不像产品”的问题。对于正在把 AI 引入前端开发流程的团队来说,这可能是很值得补上的基础层。

适合关注的人群:

  • 使用 AI 生成前端页面的开发者和设计工程师
  • 希望把品牌规范沉淀为机器可读文档的设计团队
  • 正在探索 Design System 与 AI Coding 结合方式的产品团队

5. page-agent:用自然语言控制网页界面的 JavaScript Agent

项目地址: https://github.com/alibaba/page-agent
主要语言: TypeScript
项目定位: 面向网页界面的 GUI Agent,可通过自然语言控制浏览器页面。

page-agent 代表了 Web 自动化从脚本式操作向自然语言交互演进的趋势。传统自动化依赖选择器、固定流程和测试脚本,而 GUI Agent 更关注“理解页面 + 执行目标”,适合处理后台系统、数据录入、运营工具、复杂表单等场景。

它值得关注的原因在于落地场景非常具体:企业内部系统通常 API 不完整、流程变化快,但网页界面已经存在。如果能让 Agent 稳定理解页面元素并完成操作,就能在不大规模改造系统的前提下提升自动化能力。当然,这类工具也需要重点关注权限、安全和可审计性。

适合关注的人群:

  • 做浏览器自动化、RPA、运营工具的开发者
  • 需要把自然语言操作接入现有 Web 系统的团队
  • 关注 GUI Agent 安全边界和执行可靠性的工程师

6. voicebox:开源 AI 语音工作室

项目地址: https://github.com/jamiepine/voicebox
主要语言: TypeScript
项目定位: 面向语音克隆、听写和创作的开源 AI Voice Studio。

voicebox 把语音克隆、听写和语音创作放到一个开源工作室式体验中。对于播客、课程、视频解说、产品演示和无障碍内容制作来说,语音能力已经从“模型能力展示”逐渐走向“创作工具链”。

这个项目适合用来观察 AI 语音产品如何做本地化体验、模型集成和工作流设计。相比只提供 API 的方案,工作室式产品更强调素材管理、试听迭代、导出和创作效率,也更接近内容团队的日常需求。

适合关注的人群:

  • 做音频内容、播客、视频配音的创作者
  • 对语音克隆、TTS、Whisper 类能力感兴趣的开发者
  • 想研究开源 AI 创作工具产品形态的团队

7. agent-toolkit-for-aws:AWS 官方支持的 Agent 工具包

项目地址: https://github.com/aws/agent-toolkit-for-aws
主要语言: Python
项目定位: AWS 官方支持的 MCP Servers、skills 和 plugins,帮助 AI Agent 构建和操作 AWS 资源。

agent-toolkit-for-aws 反映出云厂商正在把 Agent 能力纳入基础设施生态。对于使用 AWS 的团队来说,Agent 如果要真正参与开发、运维和排障,就需要安全、可控地访问云资源,并遵守现有权限模型和审计要求。

这个项目值得关注的点不只是“能调用 AWS”,而是它可能成为云上 Agent 工具标准化的一部分。未来 AI 助手在创建资源、查询日志、分析配置、生成部署建议时,如何通过 MCP、插件和技能边界接入云平台,会影响企业级 Agent 的落地速度。

适合关注的人群:

  • 使用 AWS 的后端、DevOps 和平台工程团队
  • 正在为内部 Agent 设计云资源访问能力的架构师
  • 关注 MCP 与云服务集成方式的开发者

本周观察:AI 工具正在从“能力展示”转向“工作流基础设施”

本周几个项目有一个共同特征:它们不再只强调某个模型能力有多强,而是更关注如何把 AI 嵌入真实流程。代码库记忆解决上下文问题,多 Agent 开发环境解决并行协作问题,design.md 解决前端生成的一致性问题,page-agent 解决现有网页系统的操作问题,OpenMontage 和 voicebox 则把多媒体生产拆成可自动化的流程。

这说明开源 AI 工具的竞争重点正在变化:谁能更好地管理上下文、工具边界、权限、产物和人类审核,谁就更可能从 Demo 走向日常使用。对团队来说,接下来值得投入的不是盲目接入更多模型,而是梳理自己的工作流中哪些环节可以被 Agent 稳定、安全地工具化。

本周推荐优先级

  1. codebase-memory-mcp:如果团队已经在使用 AI 编程工具,代码库记忆和索引能力值得优先验证。
  2. design.md:适合前端团队和设计系统团队尽快关注,有助于提升 AI 生成界面的稳定性。
  3. page-agent:对内部系统自动化、RPA 和运营效率提升有直接参考价值。
  4. Orca:适合重度 AI Coding 用户体验多 Agent 并行工作的可能性。
  5. OpenMontage:适合内容生产、营销和教程场景,能观察 Agentic Workflow 在视频领域的落地。
  6. agent-toolkit-for-aws:云上 Agent 基础设施方向值得持续跟进,尤其适合 AWS 用户。
  7. voicebox:适合音频内容创作者和 AI 语音产品团队研究工作室式体验。
标签:

AnonSurf匿名网络配置实战:Linux系统安装与隐私保护完整指南

2026年6月23日星期二

AnonSurf 是一款集成于 Parrot OS 的匿名网络工具,它通过巧妙封装 Tor 网络与 iptables 防火墙规则,为用户提供系统级的网络匿名解决方案。与仅保护浏览器流量的 Tor 浏览器不同,AnonSurf 能够将整个系统的网络流量(包括即时通讯、终端命令等应用)路由至 Tor 网络,从而实现更全面的隐私保护。

Parrot OS 官网将 AnonSurf 列为核心隐私工具,强调其在渗透测试与安全研究中的价值。该工具的 GitHub 仓库显示,其代码主要由 Nim、Vala 和 Shell 编写,体现了对性能与跨平台兼容性的重视。

AnonSurf 工作原理

AnonSurf 通过三层防护机制实现网络匿名:

  1. Tor 网络路由:将系统流量通过 Tor 的节点网络进行转发,以隐藏真实 IP 地址。
  2. iptables 规则:构建防火墙策略,强制所有网络连接通过 Tor 节点。
  3. DNS 保护:自动配置 Tor 专用 DNS 服务器,防止 DNS 泄露。

启用 AnonSurf 后,系统会依次执行以下操作:

  • 启动 Tor 服务并建立与入口节点的连接。
  • 配置 iptables 规则,阻止非 Tor 流量。
  • 修改系统 DNS 设置为 Tor 专用 DNS。
  • 定期自动更换 Tor 电路以增强匿名性。

非 Parrot 系统安装步骤

由于 AnonSurf 是 Parrot OS 的原生工具,在基于 Debian/Ubuntu 的系统上安装需要手动编译。以下是详细步骤:

安装依赖

首先安装必要的编译工具和依赖库:

 
sudo apt update && sudo apt install -y nim libnim-gintro-dev git make

获取源代码

从 GitHub 仓库克隆最新版本的代码:

 
git clone https://github.com/parrotsec/anonsurf.git cd anonsurf

编译与安装

使用 make 命令进行编译和安装:

 
sudo make install

安装完成后,通过以下命令验证安装是否成功:

 
anonsurf --version

如果显示版本号,则表示安装完成。

命令行(CLI)操作方法

所有 AnonSurf 命令都需要 root 权限执行。

启动匿名模式

 
sudo anonsurf start

首次启动可能需要 10-30 秒建立 Tor 连接。

停止匿名模式

 
sudo anonsurf stop

停止后,系统网络设置将恢复正常。

更换身份

 
sudo anonsurf change

此命令强制 Tor 网络更换出口节点,建议定期执行以增强隐私。

查看状态

 
sudo anonsurf status

典型输出显示运行状态、节点信息和运行时间。

检查 IP 地址

验证匿名效果:

 
curl icanhazip.com

启用 AnonSurf 前后执行,应看到不同的 IP 地址。

图形界面(GUI)操作方法

AnonSurf 提供了简易图形界面,可通过应用菜单中的 "AnonSurf" 图标启动。界面主要包含状态显示区、控制按钮(启动、停止、更换身份)和设置选项(如自动启动、托盘最小化)。启动后点击“启动”按钮即可开启匿名模式,界面会实时显示连接进度和 IP 信息。

匿名状态验证步骤

启用 AnonSurf 后,建议通过以下步骤验证效果:

  1. 检查公网 IP:访问 https://check.torproject.org 或在终端执行 curl https://check.torproject.org/api/ip,若显示祝贺信息则表示配置成功。
  2. 验证 DNS 设置:执行 cat /etc/resolv.conf,确认 DNS 服务器设置为 Tor 专用地址(如 127.0.0.1)。
  3. 测试网络流量:使用 sudo tcpdump -i any port 9050 监控流量,正常应看到通过 Tor 端口的持续活动。

注意事项与最佳实践

性能影响

通过 Tor 网络路由流量会导致速度下降和延迟增加,这是匿名网络的共同特点。高带宽应用(如视频流)建议暂时关闭 AnonSurf。

隐私泄露风险

AnonSurf 不能提供绝对匿名,以下行为可能导致泄露:

  • 登录个人账号或使用可识别身份的信息。
  • 下载/上传可识别身份的文件。
  • 启用可能泄露信息的浏览器功能(如 JavaScript)。
  • 在匿名模式下访问已登录网站。

防火墙配置

AnonSurf 自动配置 iptables 规则,但如果系统安装了其他防火墙软件(如 ufw、firewalld),可能需要手动调整以避免冲突。

定期更新

建议定期更新 AnonSurf 以获取安全补丁:

 
cd anonsurf git pull sudo make install

配合其他隐私工具使用

可结合以下工具增强保护:

  • Tor Browser:提供更安全的网页浏览。
  • NoScript:控制浏览器脚本执行。
  • MAC 地址随机化工具:防止通过网卡 MAC 地址追踪。
  • 加密文件系统:保护本地数据安全。

常见问题解决

无法启动 AnonSurf

如果 sudo anonsurf start 无反应,可能是 Tor 服务未安装。手动安装:

 
sudo apt install tor

启动后没有网络连接

通常因 Tor 网络连接失败。检查防火墙是否阻止端口 9050(Tor 服务端口)和 9051(Tor 控制端口),或尝试使用 Tor 桥接节点。

速度过慢

Tor 网络速度受拥塞和节点位置影响。尝试更换出口节点:

 
sudo anonsurf change

若持续过慢,可能是出口节点负载高,可多次更换身份。

总结

AnonSurf 作为 Parrot OS 的核心隐私工具,通过封装 Tor 网络和 iptables 防火墙,为用户提供了便捷的系统级匿名解决方案。本教程涵盖了从安装配置到命令行与图形界面操作的完整指南。虽然 AnonSurf 简化了匿名网络的使用,但用户仍需了解其局限性,并结合其他安全实践(如定期更新、强密码和双因素认证)构建全面的数字安全策略。


标签:

安卓原生系统ROM项目推荐

2026年6月21日星期日
LineageOS

https://download.lineageos.org

最被人熟知的第三方ROM,继承于CyanogenMod,拥有活跃的开发社区。LineageOS在AOSP基础上添加了一些额外便利设置选项和功能,在安全和隐私方面亦有改进,并添加部分基础软件。对于开发人员,还提供API方便在软件中集成LineageOS的特定功能。

如果需要通话录音功能,在类原生系统里,LineageOS是少数支持的一个。


PixelExperience

https://download.pixelexperience.org/devices

追求与Google Pixel手机相同体验的热门ROM,其特点是在AOSP基础上整合Google服务,包括使用Google软件替换大部分安卓基础软件,如音乐/相册/浏览器等,并包含Pixel定制组件,如启动器/动画/字体/壁纸/图标等。


ArrowOS


https://arrowos.net/download

旨在提供纯粹AOSP体验的简单ROM,它仅包含适量优化和功能(主要是状态栏/按钮/手势/锁屏方面的细微功能增强),没有添加复杂框架和UI自定义,目标为维持系统稳定流畅性,减少电量消耗延长电池寿命。

ProjectElixir

https://projectelixiros.com/download

在AOSP小幅UI增强和集成Google Pixel功能之间取得平衡,跟踪合并最新系统安全补丁,致力提供具出色性能和安全稳定性的原生安卓体验。

HavocOS

https://havoc-os.com/download

引入受Google Pixel启发的简洁精致风格UI,并添加多种有用功能与设置以增强用户体验,支持众多手机品牌机型,惟ROM更新速度稍慢。

DerpFest

https://sourceforge.net/projects/derpfest/files/

从另一个AOSiP项目开发而来,特点是配备了大量自定义功能,可根据喜好自行调整,并提供类似Pixel UI,以及Pixel配备基础软件和壁纸图标字体等。

xdroidOS

https://sourceforge.net/projects/xdroidoss/files/

以最小设计为导向的自定义ROM,在保持AOSP稳定性的同时,注重简约和极简主义,通过使用自行开发的 Minimal UI 希望带来更好体验。

PixelExtended

https://sourceforge.net/projects/pixelextended/files/

来自PixelExperience的分支版本,具有前者缺少的一些Pixel基本功能,旨在为设备提供最大稳定性和安全性,以及添加必要和有用的功能。

VoltageOS

https://sourceforge.net/projects/voltage-os/files/

一个简单没有多余定制的纯AOSP体验ROM,仅进行适当有用的定制,支持运行要求SafetyNet的应用,及时接收Google安全补丁。

PotatoProject

https://potatoproject.co/devices

结合其它ROM项目有用功能,并施加独特功能改进,例如改善音量控制等,添加最新安全补丁、体验原生安卓功能和广泛设备支持。

ParanoidAndroid

https://aospa.pages.dev/

基于经高通平台优化的Code Aurora Forum Android构建,具有更高程度性能和电池寿命,并专注消除现有错误,以及改善功能和稳定性。

ProjectXtended

https://downloads.project-xtended.org/

开箱即用的可定制和对电池友好的自定义ROM,主要修改来自主题/动画/状态栏/锁屏等方面的细微功能增强。

EvolutionX

https://evolution-x.org/download

目标为设备带来真正的Pixel体验,并提供许多其他配置供您使用,同时通过频繁的构建包含最新AOSP每月安全补丁。

CherishOS

https://downloads.cherishos.com/

基于AOSP和Pixel的定制ROM,专注包含便捷功能的独特流畅体验。

crDroid

https://crdroid.net/downloads

基于LineageOS开发,在不影响性能或安全性的情况下添加更多可定制选项,包括状态栏/快速设置/锁屏/导航按钮/用户界面/通知和声音等。

AospExtended

https://downloads.aospextended.com/

基于AOSP的自定义ROM,添加Substratum主题引擎支持,并从其它开源项目引入各种有用功能,试图让事情保持简单!

dotOS

https://www.droidontime.com/devices

力求保持简单/安全/具独特性的AOSP ROM,添加新的个性化设置应用程序,以及对常用菜单和设置进行重新设计和润色。

PixelOS

https://pixelos.vercel.app/download

另一个PixelExperience分支版本,在原基础上进行了适当改进。

ProjectArcana

https://projectarcana-aosp.github.io/devices.html

一款基于AOSP和AospExtended的自定义ROM,提供丰富功能和自定义,并努力使系统变得简约和具有流畅体验。

ProjectFluid

https://projectfluid.org/download

基于AOSP的定制ROM,专注于为Android带来更好的UI/UX,拥有独特主题引擎,更好的主题定制和流畅体验。

CipherOS

https://cipheros.github.io/Downloads

基于AOSP和LineageOS的自定义ROM,致力于为用户提供干净、不臃肿且稳定的系统体验,仅包括最小程度的定制化。
标签: