TechFoco Logo
首页专题归档站点地图
© 2026 TechFoco. All rights reserved.
文章归档专题网站地图站点地图 XML爬虫规则
  1. 首页
  2. /
  3. 返回归档
  4. /
  5. mathVideoMaker 是一套专为数学教学打造的 Cursor Agent Skill,能

mathVideoMaker 是一套专为数学教学打造的 Cursor Agent Skill,能

2026年06月04日•TechFoco 精选

mathVideoMaker 是一套专为数学教学打造的 Cursor Agent Skill,能同时生成高质量讲解视频和交互式网页。

文章配图 1
文章配图 1

mathVideoMaker 是一套专为数学教学打造的 Cursor Agent Skill,能同时生成高质量讲解视频和交互式网页。

它把 Manim 动画渲染与自包含 HTML 结合,让数学概念的推导过程既能“看明白”,又能“玩明白”。

通过结构化检查与文字化验证,即使模型视觉能力有限,也能稳定输出准确、生动的数学内容。

文章配图 1
文章配图 1

视频强制展示推导过程,网页提供参数拖拽交互,二者共享设计语言,互为补充。

内置 SafeScene 布局警告、字体检查、网页静态校验等机制,配合深色配色与辉光动效,保障成品专业度。

文章配图 2
文章配图 2

主要功能: - 一键生成 Manim 渲染的数学/物理讲解 MP4 视频; - 输出自包含单文件交互网页,支持 KaTeX 公式与 canvas 实时参数调节; - 强制演示推导与证明过程,满足“遮住旁白也能看懂”的自检要求; - 多层质量保障:SafeScene 布局检查、字体缺字检测、网页元素与 JS 语法校验; - 机械化安全布局 + 生动视觉设计,深色主题 + 辉光 + 强调动效; - 提供完整安装脚本与环境检查,快速搭建 Manim + ffmpeg 渲染环境。

支持 macOS / Linux,通过简单命令即可安装依赖并在 Cursor 中直接调用,适合教师、内容创作者及数学科普团队使用。

文章链接

  • 查看原文https://github.com/GordenSun/mathVideoMaker

相关标签

mathVideoMaker数学教学Manim交互式网页视频生成Cursor Agent Skill开源工具

继续阅读

较新文章

微软开源 iOS 流式 Markdown 渲染库 SwiftStreamingMarkdown

较早文章

Gemma Skills 是一套专为 Gemma 模型与智能体交互打造的技能库,提供了模型开发与

相关文章

查看更多

RemoveMacAI 为 macOS 提供可回退的 AI 资源管理 这个 MIT 许可的 Sw

RemoveMacAI 为 macOS 提供可回退的 AI 资源管理 这个 MIT 许可的 Swift 开源工具可检查本地模型占用、预演清理并通过限制配置关闭相关功能,设计上不要求关闭 SIP 或直接修改系统卷。

2026年10月07日
macOSSwift

livenerf 用固定评测追踪模型上线后的能力变化 这个开源工具固定提示、CLI 版本和评分器

livenerf 用固定评测追踪模型上线后的能力变化 这个开源工具固定提示、CLI 版本和评分器,重复测试同一组问题,并记录准确率、输出 token 和原始日志,以区分真实漂移与随机波动。

2026年10月03日
livenerf模型评测

全球首个多模态世界模型,李飞飞创办的 World Labs 发布 Atlas World Lab

全球首个多模态世界模型,李飞飞创办的 World Labs 发布 Atlas World Labs 推出 Atlas,据称是全球首个多模态世界模型,可生成图像和视频帧,支持像素级相机控制并重建为 3D,用于建模世界、移动镜头、模拟空间与时间。

2026年09月02日
多模态模型
世界模型
阿里云 Wan3.0 视频模型公测,单次可生成 30 秒 阿里云全新一代视频生成模型 Wan3.

阿里云 Wan3.0 视频模型公测,单次可生成 30 秒 阿里云全新一代视频生成模型 Wan3.

阿里云 Wan3.0 视频模型公测,单次可生成 30 秒 阿里云全新一代视频生成模型 Wan3.0 今日开启公测。

2026年08月07日
视频生成Wan3.0

MiniMax 发布全模态模型 H3,将开源权重 7 月 31 日,MiniMax 正式发布通用

MiniMax 发布全模态模型 H3,将开源权重 7 月 31 日,MiniMax 正式发布通用全模态生成模型 H3,支持对文本、图像、视频、声音的多模态上下文统一理解与生成,可输出原生双声道音视频,最高支持 15 秒 2K 分辨率。

2026年07月31日
多模态生成视频生成
随着 AI 代码产能的日渐暴增,为了守住入库代码质量的最后底线,我给自己做了一个代码审查工具 D

随着 AI 代码产能的日渐暴增,为了守住入库代码质量的最后底线,我给自己做了一个代码审查工具 D

随着 AI 代码产能的日渐暴增,为了守住入库代码质量的最后底线,我给自己做了一个代码审查工具 Duetlens。

2026年07月28日
代码审查AI辅助