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 源碼。
閱讀全文