用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/plurigrid/asi --skill bmorphism-ies-env命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 SkillsMP 当前能够提供的文件。
基于 SOC 职业分类
正在显示 SKILL.md
| name | bmorphism-ies-env |
| description | Documentation and orchestration for the bmorphism/ies flox environment toolkit |
| version | 1.0.0 |
| trit | 0 |
| role | ERGODIC |
| color | #8B4513 |
Comprehensive documentation and MCP integration for the 31-tool bmorphism/ies flox environment.
Trit: 0 (ERGODIC) - Infrastructure coordinator
Environment: bmorphism/ies
Package Count: 31 tools across languages, utilities, and infrastructure
This skill provides documentation, usage patterns, and MCP tooling for the curated bmorphism/ies flox environment. The environment is optimized for:
Purpose: Fast-starting Clojure scripting without JVM overhead Use Cases:
Example:
bb -e "(+ 1 2 3)" # => 6
bb script.clj # Run script
Key Features:
Documentation: https://book.babashka.org
Purpose: Full Clojure runtime with JVM Use Cases:
Example:
clj -M -e "(println \"Hello\")"
clj -M:deps tree # View dependency tree
Documentation: https://clojure.org/guides/getting_started
Purpose: High-performance scientific computing Use Cases:
Example:
using Catlab, AlgebraicJulia
# Work with ACSets
Integration: Powers the unworld skill's derivational learning
Documentation: https://docs.julialang.org
Purpose: JavaScript runtime and npm ecosystem Use Cases:
Example:
node script.js
npm install package
npx create-next-app
Documentation: https://nodejs.org/docs
Purpose: General-purpose scripting and data science Use Cases:
Example:
python3 -m venv .venv
pip install duckdb pandas
Documentation: https://docs.python.org/3.12/
Purpose: Scripting and web development Use Cases:
Example:
ruby -e "puts 'Hello'"
gem install bundler
Documentation: https://www.ruby-lang.org/en/documentation/
Purpose: Java development and JVM applications Use Cases:
Example:
javac Program.java
java Program
jshell # REPL
Documentation: https://docs.oracle.com/en/java/javase/21/
Purpose: Extensible, programmable text editor Use Cases:
Key Packages (likely installed):
org-mode - Literate programmingmagit - Git interfacelsp-mode - Language serverseshell - Emacs shellExample:
emacs file.org
emacsclient -c file.jl # With daemon
Integration: Works with org-babel-execution skill
Documentation: https://www.gnu.org/software/emacs/manual/
Purpose: Modern modal text editor (Rust-based) Use Cases:
Example:
hx file.rs
hx --health rust # Check LSP status
Features:
Documentation: https://docs.helix-editor.com
Purpose: GitHub CLI Use Cases:
Example:
gh pr create --title "feat: add feature"
gh issue list
gh run watch
gh repo clone user/repo
MCP Integration: Could wrap as MCP tool for AI PR creation
Documentation: https://cli.github.com/manual
Purpose: Graph visualization Use Cases:
Example:
dot -Tpng graph.dot -o graph.png
neato -Tsvg network.dot -o network.svg
Integration: Visualize skill dependency graphs, coequalizers
Documentation: https://graphviz.org/documentation/
Purpose: Protocol Buffers compiler Use Cases:
Example:
protoc --python_out=. schema.proto
protoc --go_out=. service.proto
Documentation: https://protobuf.dev
Purpose: Library dependency metadata Use Cases:
Example:
pkg-config --cflags --libs sqlite3
pkg-config --modversion gtk+-3.0
Documentation: https://www.freedesktop.org/wiki/Software/pkg-config/
Purpose: Incremental parsing library Use Cases:
Example:
tree-sitter generate
tree-sitter test
Integration: Used by helix, could power code analysis MCP tools
Documentation: https://tree-sitter.github.io/tree-sitter/
Purpose: Fast disk usage analyzer (Rust) Use Cases:
Example:
dua i # Interactive mode
dua a /path # Aggregate view
Comparison: Fastest, interactive, can delete
Documentation: https://github.com/Byron/dua-cli
Purpose: du + rust = dust (modern du) Use Cases:
Example:
dust # Current dir
dust -d 3 # Max depth 3
dust -r # Reverse sort
Comparison: Best for quick visualizations
Documentation: https://github.com/bootandy/dust
Purpose: Go-based disk usage analyzer Use Cases:
Example:
gdu # Interactive
gdu -n # Non-interactive
gdu -o json # Export format
Comparison: Good balance of speed and features
Documentation: https://github.com/dundee/gdu
Purpose: NCurses disk usage (original) Use Cases:
Example:
ncdu # Interactive
ncdu -x # Same filesystem only
ncdu -o file # Export
Comparison: Most mature, scriptable
Documentation: https://dev.yorhel.nl/ncdu
Recommendation: Use dust for quick checks, dua for interactive exploration
Purpose: Video/audio processing Swiss Army knife Use Cases:
Example:
ffmpeg -i input.mp4 output.webm
ffmpeg -i video.mp4 -vn audio.mp3 # Extract audio
ffmpeg -i input.mp4 -ss 00:01:00 -t 10 clip.mp4 # Clip
Integration: Could power video processing MCP tools
Documentation: https://ffmpeg.org/documentation.html
Purpose: Sound eXchange - audio processing Use Cases:
Example:
sox input.wav output.mp3
sox input.wav output.wav tempo 1.5 # Speed up
play sound.wav # Play audio
Integration: Sonification of data (catsharp-sonification skill)
Documentation: http://sox.sourceforge.net/sox.html
Purpose: Spell checking library Use Cases:
Example:
enchant-lsmod-2 # List backends
enchant-2 -l file.txt # Check spelling
Integration: Text validation in documentation skills
Documentation: https://abiword.github.io/enchant/
Purpose: Google Cloud Platform CLI Use Cases:
Example:
gcloud auth login
gcloud compute instances list
gsutil cp file.txt gs://bucket/
bq query "SELECT * FROM dataset.table LIMIT 10"
MCP Integration: Wrap GCP operations as MCP tools
Documentation: https://cloud.google.com/sdk/docs
Purpose: NATS message broker Use Cases:
Example:
nats-server # Start server
nats-server -js # With JetStream
nats-server -c nats-server.conf # Config file
Integration: Could power distributed MCP server communication
Documentation: https://docs.nats.io
Purpose: Mesh VPN (WireGuard-based) Use Cases:
Example:
tailscale up
tailscale status
tailscale ip -4
tailscale serve 8080 # Expose service
Integration: Secure MCP server networking (tailscale-localsend skill)
Documentation: https://tailscale.com/kb/
Purpose: WebAssembly Shell (wasmCloud CLI) Use Cases:
Example:
wash up # Start wasmCloud host
wash ctl get hosts
wash build # Build component
wash app deploy app.yaml
Integration: Deploy MCP servers as Wasm components
Documentation: https://wasmcloud.com/docs/cli
Purpose: GNU core utilities Use Cases:
Example:
ls -lah
cat file.txt | sort | uniq -c
seq 1 10 | xargs -I{} echo "Item {}"
Note: macOS ships with BSD utilities; this provides GNU versions
Documentation: https://www.gnu.org/software/coreutils/manual/
Purpose: Configuration language Use Cases:
Example:
nickel export config.ncl --format json
nickel query config.ncl
nickel repl
Integration: The asi repo has 440 .ncl files - skill configurations!
ASI Integration:
ls skills/**/*.ncl | wc -l # 440 Nickel files
Documentation: https://nickel-lang.org
Purpose: Verification-aware programming language Use Cases:
Example:
dafny verify program.dfy
dafny /compile:3 program.dfy # Compile to C#
dafny format file.dfy
Integration: Could verify GF(3) conservation proofs formally
Documentation: https://dafny.org/latest/OnlineTutorial/guide
Purpose: Reverse engineering framework Use Cases:
Example:
r2 binary
r2 -A binary # Analyze all
rabin2 -I binary # Binary info
rasm2 "mov eax, 33" # Assemble
Security Note: Only use for authorized security testing, CTFs, research
Documentation: https://r2wiki.readthedocs.io
Purpose: Extremely fast Python package installer (Rust) Use Cases:
Example:
uv pip install pandas numpy
uv venv .venv
uv pip compile requirements.in # Generate lock
uv pip sync requirements.txt # Sync to lock
Performance: ~100x faster than pip for cold installs
Documentation: https://github.com/astral-sh/uv
;; flox-mcp-server.bb pattern
(defn run-tool [tool & args]
(let [result (p/shell {:out :string :err :string :continue true}
(str/join " " (cons tool args)))]
{:exit (:exit result)
:stdout (str/trim (:out result))
:stderr (str/trim (:err result))}))
;; Example: Wrap gh CLI
(defn handle-gh-pr-create [{:keys [title body]}]
(run-tool "gh" "pr" "create" "--title" title "--body" body))
;; Run multiple tools in sequence
(defn analyze-repo [repo-path]
(let [disk-usage (run-tool "dust" repo-path)
git-status (run-tool "gh" "repo" "view")
tree-check (run-tool "tree-sitter" "test")]
{:disk disk-usage
:git git-status
:syntax tree-check}))
;; Stream ffmpeg progress
(defn stream-transcode [input output]
(let [proc (p/process ["ffmpeg" "-i" input output]
{:inherit true})]
;; Send progress notifications via MCP
))
julia-bin (+1, PLUS) # Generative (AlgebraicJulia)
babashka (0, ERGODIC) # Coordinator (MCP servers)
dafny (-1, MINUS) # Validator (formal verification)
Sum: +1 + 0 + (-1) ≡ 0 (mod 3) ✓
dust (+1, PLUS) # Quick generation of views
gdu (0, ERGODIC) # Balanced analysis
ncdu (-1, MINUS) # Deep validation
wash-cli (+1, PLUS) # Deploy new components
tailscale (0, ERGODIC) # Network coordination
google-cloud-sdk (-1, MINUS) # Validate resources
Choose: babashka or python312
Choose: julia-bin
Choose: dua (interactive) or dust (quick view)
Choose: ffmpeg
Choose: helix (fast, terminal) or emacs (powerful, GUI)
Choose: radare2
flox list | grep "upgrade available"
Current outdated packages:
flox upgrade dua tailscale uv
flox search ripgrep
flox install ripgrep
flox uninstall package-name
Total Packages: 31
Languages: 8 (Clojure, Julia, JS, Python, Ruby, Java)
Editors: 2 (emacs, helix)
Disk Analyzers: 4 (dua, dust, gdu, ncdu)
Cloud Tools: 4 (gcloud, nats, tailscale, wash)
Security/Verification: 2 (dafny, radare2)
Multimedia: 3 (ffmpeg, sox, enchant2)
Total Install Size: ~5GB
Active Environment: bmorphism/ies
FloxHub: hub.flox.dev/bmorphism/ies
Skill Name: bmorphism-ies-env Type: Environment Documentation & MCP Integration Trit: 0 (ERGODIC - Infrastructure Coordinator) Status: ✅ Production (31 tools documented)