xsoc1

嚴謹開放數學研究套件：4 個 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆蓋對抗性審計的定理求解、研究專案管理、流水線編排與 Lean 4 形式化審計；CI 測試與機械式上游同步。

純文字 DeepSeek 的聊天識圖外掛：view_image 工具轉發任意 OpenAI 相容 VLM（本地 Ollama 或雲端），對話方塊貼上/拖拽的圖片自動改寫為 view_image 路徑標記供模型檢視。