gal-view
@Ayase34
dsh の会話インターフェースをギャルゲー風の画面に切り替えるプラグイン
jacobian
194 スター
概要
エージェント向けの構成可能な数学ツール。
元言語から機械翻訳された説明です。
トピック
ai-agentsautomated-theorem-provingcomputer-algebracordisdsherdoserdos-problemformal-methods
エージェント向けの構成可能な数学ツール。
元言語から機械翻訳された説明です。
@Ayase34
dsh の会話インターフェースをギャルゲー風の画面に切り替えるプラグイン
@tinqiao-oss
DeepSeek Harness 向けに厳選されたファイルベースの長期メモリ - 人間が読める形式の Markdown メモ、ホスト間で共有される 1 つのプレーンファイルストア（プロジェクトリポジトリ内にある場合は git-ignored）、および ctx.tools.guard() によって強制される決定論的なインデックス上限。
@oil-oil
DeepSeek Harness用AI支援型ローカルクリエイターワークベンチ。