edu-analytic-geometry：把解析几何题解成一个自包含的交互教学网页
edu-analytic-geometry 是 SkillHub 上的 education 类 Skill，把一道解析几何题直接生成自包含交互网页：左栏题面与动态控制台（滑块驱动实时重算、理论范围/定值指示），中栏 KaTeX 分步解析，右栏 2D Canvas 动态画板（椭圆/双曲线/抛物线/圆、动直线与动点、向量、标注、画笔）。支持文字题、随机出题、图片识别三入口，覆盖求标准方程、弦长、数量积范围与定值、三角形面积最值、定点、斜率之积定值、轨迹、离心率等题型，统一走设 x=my+c、联立、韦达、换元/常数分离管线，由 sympy 精确计算驱动，保证答案、坐标、步骤数值与交互引擎理论范围同源一致。形态与 edu-solid-geometry 平行，用 Canvas 2D + KaTeX 而非 Three.js。官方页面未给出命令行安装方式。
阅读全文dsh-formula-verify：用可执行校验替代对话里的公式「口头证明」
dsh-formula-verify 是 lizyoko9 维护的 DeepSeek Harness 社区插件，提供公式校验 skill、自举 SymPy CLI 与 Formula Lab 侧边栏面板。安装源为 git+https://github.com/lizyoko9/dsh-formula-verify。核心能力包括 check 的 symbolic/numeric/failed 判定、formula card 与私有 venv 内 pytest、从 TeX/PDF/Markdown 的 paper extract，以及客户端转换抽取流程。适用读论文与文档化验证；需注意 SymPy 非形式证明、PDF/Mathpix 与外部 command 的信任边界，安装前查阅 MIT 源码。
阅读全文