Was ist topos-generate?
Fähigkeit zur Topos-Generierung (PLUS +1) Quelle: plurigrid/asi.
Fähigkeit zur Topos-Generierung (PLUS +1)
Installieren Sie den KI-Skill topos-generate schnell in Ihrer Entwicklungsumgebung über die Kommandozeile
Quelle: 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 |
Fähigkeit zur Topos-Generierung (PLUS +1) Quelle: plurigrid/asi.
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/plurigrid/asi --skill topos-generate Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code, Cursor oder OpenClaw
Stabile Felder und Befehle für KI/Such-Zitate.
npx skills add https://github.com/plurigrid/asi --skill topos-generateFähigkeit zur Topos-Generierung (PLUS +1) Quelle: plurigrid/asi.
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/plurigrid/asi --skill topos-generate Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code, Cursor oder OpenClaw
https://github.com/plurigrid/asi