What is topos-generate?
Topos Generation Skill (PLUS +1) Source: plurigrid/asi.
Topos Generation Skill (PLUS +1)
Quickly install topos-generate AI skill to your development environment via command line
Source: 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 |
Topos Generation Skill (PLUS +1) Source: plurigrid/asi.
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/plurigrid/asi --skill topos-generate Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code, Cursor, or OpenClaw
Stable fields and commands for AI/search citations.
npx skills add https://github.com/plurigrid/asi --skill topos-generateTopos Generation Skill (PLUS +1) Source: plurigrid/asi.
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/plurigrid/asi --skill topos-generate Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code, Cursor, or OpenClaw
https://github.com/plurigrid/asi