Compression

按文件路径从TAR存档中提取单个文件（需要7zip命令）

Compression

将TAR存档转换为7Z格式（需要7zip命令）

Compression

将TAR存档转换为ZIP格式（需要7zip命令）

Data Visualization

生成层级旭日图，支持极坐标系统和径向布局

Development

生成候选码字符串、CSV 模板和本地 Node.js 导入脚本。本站不会在 Stripe 创建优惠码或跟踪核销；执行导入需要在你自己的电脑上配置 Stripe API 密钥。

Design

设计、预览并导出自托管转盘、刮刮卡或盲盒。支持本地演示与商家 API 结果，不托管发奖服务。

Document Tools

将步骤与本地截图排成带标注的操作指南，打印为 PDF，并导出独立 HTML 和可编辑项目。

Media

清除字幕中的听障（SDH）噪声：[APPLAUSE]、(engine rumbles) 等括注音效，JOHN:、NARRATOR - 等说话人标签，♪ ♫ 音符行——并删除清理后留下的空 cue。

Media

用 FFmpeg 双输入 sidechaincompress 渲染真正的侧链压缩：过滤触发信号、完整包络控制（启动/释放/拐点/联动/混合），输出成品文件并实测压差。

Converter

离线检测、校验并桥接加密钱包种子：BIP-39 校验和与熵恢复、SLIP-39 Shamir 分片解析（RS1024 校验 + 单组重组）、Electrum v2 版本标签验证与旧版 v1 识别——随后派生 BIP-32 主密钥与 m/44′/0′/0′/0 前 5 个地址，并在 BIP-39 助记词与单组 SLIP-39 分片集之间双向转换熵。

Science & Education

一套完整的页内形式验证栈——无需 cvc5/Z3 二进制：SMT-LIB 2.7 脚本解析器覆盖 QF_BV + Bool 核心（FixedSizeBitVectors 算子的 Tseitin 位爆破：加减乘除取模、移位、比较、拼接/截取/扩展、ite），AIGER 读取器（ASCII aag 与二进制 aig delta 解码；输出按坏属性解释），带字级位爆破的 BTOR2 读取器，以及底座上的手写 CDCL SAT 引擎（双监视文字、VSIDS 活性、1-UIP 学习、重启）。顺序模型上运行带反例见证轨迹的有界模型检测、带唯一状态强化的 k-归纳、从反驳计算并经独立 SAT 复核后方可信任的 McMillan 式 Craig 插值，以及带前驱立方阻塞的 IC3/PDR-lite 帧循环。

Health

RK4 求解 SIR/SEIR/SEIR+V/SEIR+H 房室 ODE:R0、群体免疫阈值、解析峰值与终末规模方程、增长率换算、WAIFW 新感染矩阵 R0、发病率序列最小二乘拟合与干预模拟。