topos-generate とは?
トポス生成スキル(PLUS+1) ソース: plurigrid/asi。
トポス生成スキル(PLUS+1)
コマンドラインで topos-generate AI スキルを開発環境にすばやくインストール
ソース: plurigrid/asi。
In Set: Ω = {0, 1} = Bool In Sh(X): Ω = {open subsets of X} In Sh(C,J): Ω = sieves
| Set | Classical sets | Standard math | | Sh(X) | Varying sets over X | Geometry | | Sh(G) | G-sets | Symmetry | | Eff | Computable functions | Computability | | Dialectica | Proof-relevant math | Type theory |
トポス生成スキル(PLUS+1) ソース: plurigrid/asi。
ターミナルまたはコマンドラインツール(Terminal、iTerm、Windows Terminal など)を開きます このコマンドをコピーして実行します: npx skills add https://github.com/plurigrid/asi --skill topos-generate インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code、Cursor、OpenClaw で使用できるようになります
AI/検索での引用用の安定したフィールドとコマンド。
npx skills add https://github.com/plurigrid/asi --skill topos-generateトポス生成スキル(PLUS+1) ソース: plurigrid/asi。
ターミナルまたはコマンドラインツール(Terminal、iTerm、Windows Terminal など)を開きます このコマンドをコピーして実行します: npx skills add https://github.com/plurigrid/asi --skill topos-generate インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code、Cursor、OpenClaw で使用できるようになります
https://github.com/plurigrid/asi