Skip to content

feat(osf-datasets): OSF CLI dataset access skill#72

Open
zubyul wants to merge 65 commits intomainfrom
feat/osf-datasets
Open

feat(osf-datasets): OSF CLI dataset access skill#72
zubyul wants to merge 65 commits intomainfrom
feat/osf-datasets

Conversation

@zubyul
Copy link
Contributor

@zubyul zubyul commented Feb 22, 2026

Summary

  • Adds osf-datasets skill for CLI access to Open Science Framework datasets
  • Covers osfclient commands (ls, clone, fetch, upload, geturl) and direct OSF v2 API curl patterns
  • Includes helper scripts osf-browse.sh and osf-search.sh for zero-dependency project browsing and keyword search

Files

  • skills/osf-datasets/SKILL.md — core skill instructions (auth, commands, API, workflows)
  • skills/osf-datasets/scripts/osf-browse.sh — browse project files via API (curl + jq)
  • skills/osf-datasets/scripts/osf-search.sh — search public OSF projects by keyword

Test plan

  • pip install osfclient && osf -p abc12 ls against a known public project
  • ./scripts/osf-browse.sh abc12 returns formatted file listing
  • ./scripts/osf-search.sh "climate data" returns matching projects

🤖 Generated with Claude Code

zubyul and others added 30 commits December 25, 2025 22:36
@zubyul
feat(skills): add l-space, rick-roderick, tailscale-localsend (#4)
e3676c3 
Co-authored-by: alice <alice@2-monad.fios-router.home>
@zubyul
feat(skills): add ASI extension skills (#5)
8020f0a 
- asi-agent-orama: Rama + ASI triadic orchestration bridge
- discopy-operads: DisCoPy operadic categorical string diagrams
- hyjax-relational: Hy + JAX relational programming
- nerv: Babashka nerve notification system
- pre-agent-ontology: 5-layer pre-agent ontological foundation
- skill-installer: Install skills from curated list or repos

Co-authored-by: alice <alice@2-monad.fios-router.home>
@zubyul
feat(skills): add catsharp-sonification with Modelica model (#6)
219729e 
* feat(skills): add ASI extension skills

- asi-agent-orama: Rama + ASI triadic orchestration bridge
- discopy-operads: DisCoPy operadic categorical string diagrams
- hyjax-relational: Hy + JAX relational programming
- nerv: Babashka nerve notification system
- pre-agent-ontology: 5-layer pre-agent ontological foundation
- skill-installer: Install skills from curated list or repos

* feat(skills): add catsharp-sonification with Modelica model

CatSharp Sonification Skill:
- Sonify GF(3) color streams via sox (no voice synthesis)
- Modelica acausal model (catsharp.mo) replaces Wolfram/Wolframite
- Python and Babashka implementations
- Maps Gay.jl colors → hue → pitch class → frequency → tone

Galois Chain:
  seed ⊣ γ ⊣ color ⊣ hue ⊣ pitch ⊣ freq ⊣ tone

Mappings:
- Hue 0-60°, 300-360° → +1 PLUS (sine)
- Hue 60-180° → 0 ERGODIC (triangle)
- Hue 180-300° → -1 MINUS (square)
- 30° per semitone (chromatic scale)

GF(3) Conservation: Σ trits ≡ 0 (mod 3)

Trit: 0 (ERGODIC - bridges color and sound)

---------

Co-authored-by: alice <alice@2-monad.fios-router.home>
@zubyul @ampcode-com
feat(skills): Add 4 new skills for covariant modification and music t…
60477d3 
…heory (#7)

New Skills:
- covariant-modification (0): Unified skill modification with covariant transport,
  Darwin Gödel Machine evolution, and MCP Tasks self-rewriting
- catsharp-galois (0): CatSharp Scale Galois Connections between agent-o-rama
  and Plurigrid ACT via Mazzola's categorical music theory
- topos-of-music (+1): Guerino Mazzola's mathematical music theory with Forms,
  Denotators, Morphisms, and Neo-Riemannian PLR operations
- gay-integration (-1): Gay.jl integration for bisimulation games with proper
  hue-based trit derivation and GF(3) conservation

GF(3) Conservation:
  covariant-modification (0) forms balanced triads with:
  - covariant-fibrations (-1) + codex-self-rewriting (+1) = 0 ✓
  - temporal-coalgebra (-1) + self-evolving-agent (+1) = 0 ✓

Thread References:
  - T-019b52aa-c84f (current synthesis)
  - T-019b5197-5e59 (autopoiesis formalization)
  - T-019b528c-c94c (multi-agent deployment)
  - T-019b527a-b976 (ordered locale)

Seed: 0x42D
Amp-Thread-ID: https://ampcode.com/threads/T-019b52aa-c84f-76a0-9239-9b14831aa25c

Co-authored-by: alice <alice@2-monad.fios-router.home>
Co-authored-by: Amp <amp@ampcode.com>
test(skills): GF(3) validation suite for skill contracts (#8)
d364dbd 
XIP Color: #4857D5
Gay.jl Index: 8
Role: SLAVE (-1)

This skill validates all skills in the repository for:
- GF(3) conservation across triads
- Deterministic Gay.jl color assignment
- Role consistency (GAY/MASTER/SLAVE)

Triad 3: PR#7 (GAY +1) + PR#8 (SLAVE -1) + PR#9 (MASTER 0) = 0 ✓

Part of bisimulation game prediction for plurigrid/asi trajectory.

Amp-Thread-ID: https://ampcode.com/threads/T-019b536c-c4db-7518-b15a-abfb025192a2

Co-authored-by: Gay Color Mining <gay@worm.sex>
@zubyul @ampcode-com
feat: Add 4 novel PSI skills with GF(3) conservation (#10)
1cf1385 
* feat: Add 4 novel PSI skills with GF(3) conservation

Skills added:
- glass-hopping (trit=0): Synthesis of glass-bead-game + world-hopping + ordered-locale
- ordered-locale (trit=+1): Heunen-van der Schaaf 2024 point-free topology
- geiser-chicken (trit=-1): Chicken Scheme REPL with GF(3) coloring
- plurigrid-asi-integrated (trit=0): Unified PSI orchestrator

GF(3) Conservation: (0) + (+1) + (-1) + (0) = 0 ✓

Derived from Open Game analysis of competing worldlines:
- T-c15d (MINUS): Skill gap validation
- T-d81f (ERGODIC): Geometric morphism mapping
- T-fcc9 (PLUS): PR generation

Co-authored-by: MINUS-agent <minus@plurigrid.xyz>
Co-authored-by: ERGODIC-agent <ergodic@plurigrid.xyz>
Co-authored-by: PLUS-agent <plus@plurigrid.xyz>

* feat: add 8 novel PSI skills + COMPETING_WORLDS_ANALYSIS

Novel skills added:
- plurigrid-asi-integrated: Master GF(3) skill orchestrator
- random-walk-fusion: Deterministic skill graph navigation
- alife: ALIFE2025 proceedings + classic texts (337 pages)
- depth-search: Multi-source research orchestration
- exo-distributed: Apple Silicon LLM cluster inference
- mlx-apple-silicon: Native M-series local LLM generation
- say-narration: Voice identity with NextColor GF(3)
- tree-sitter: AST-based code analysis

ERGODIC collision fixes:
- unwiring-arena: ERGODIC(0) → PLUS(+1)
- bisimulation-game: added trit: -1 (MINUS)

Game-theory triad now balanced:
  bisimulation-game(-1) + open-games(0) + unwiring-arena(+1) = 0 ✓

Ruler config updated with Rule -1:
  npx ai-agent-skills install plurigrid/asi (on each session)

Thread: T-019b541c-9d62-718c-9c54-d8e50eeddf95
Amp-Thread-ID: https://ampcode.com/threads/T-019b541c-9d62-718c-9c54-d8e50eeddf95
Co-authored-by: Amp <amp@ampcode.com>

* feat: add 5 new skills from agent-o-rama

Skills added:
- finder-color-walk: GF(3) color walk with SPI verification
- ruler-maximal: Maximum skill utilization with GF(3) triplets
- mruler: Ruler skill for agent propagation
- wev-orderless: World Extractable Value orderless execution
- local-compositionality-gadget: Local composition patterns

All skills maintain GF(3) conservation (Σ ≡ 0 mod 3)

Amp-Thread-ID: https://ampcode.com/threads/T-019b5873-1e94-74ff-bae7-a926aebf8f56
Co-authored-by: Amp <amp@ampcode.com>

---------

Co-authored-by: alice <alice@2-monad.fios-router.home>
Co-authored-by: MINUS-agent <minus@plurigrid.xyz>
Co-authored-by: ERGODIC-agent <ergodic@plurigrid.xyz>
Co-authored-by: PLUS-agent <plus@plurigrid.xyz>
Co-authored-by: Amp <amp@ampcode.com>
@zubyul @ampcode-com
feat(skills): add scum-score and resource-sharing skills (#12)
0866a14 
## SCUM Score Skill (-1 trit)
- System Consumer Utilization Metrics for process monitoring
- SCUM formula: 0.6*(cpu%) + 0.3*(mem%)
- GF(3) classification: +1 SCUM (>0.35), 0 WATCH, -1 IDLE
- Kill/throttle recipes for resource hogs
- Tested: killed WebKit process consuming 100% CPU

## Resource Sharing Skill (0 trit)
- GF(3) balanced load distribution across machines
- PLUS nodes shed load, MINUS nodes accept load
- Integration with LocalSend and Tailscale mesh
- Babashka monitoring scripts included

Both skills maintain GF(3) conservation invariant:
  scum-score(-1) + resource-sharing(0) + [generator skill](+1) = 0


Amp-Thread-ID: https://ampcode.com/threads/T-019b544d-6d9c-75b9-b5f6-3b191d3236b5

Co-authored-by: alice <alice@2-monad.fios-router.home>
Co-authored-by: Amp <amp@ampcode.com>
@zubyul
feat: add SCUM resource monitoring skill (#13)
8c4063d 
SCUM (System Consumption Utilization Monitor) with Libkind-style
compositional resource management and GF(3) classification.

Features:
- SCUM score calculation (MEM/CPU/TIME weighted)
- GF(3) trit classification (HEALTHY/MONITOR/TERMINATE)
- Parallel process termination
- Pattern-based filtering
- Dry-run mode for safety
- ACSet schema for process topology

Reclaims memory from resource hogs with surgical precision.

Co-authored-by: alice <alice@2-monad.fios-router.home>
@zubyul
feat: Google Workspace ACSet Skills with GF(3) Conservation (#14)
3d7a040 
Add 10 new skills for Google Workspace automation with formal invariants:

## New ACSet Skills
- workspace-unified: Master coordination skill for all workspace services
- gmail-anima: Gmail ACSet with triadic queue routing
- drive-acset: Drive file operations with GF(3) typing
- calendar-acset: Calendar event management
- tasks-acset: Task list operations
- docs-acset: Document operations

## Supporting Skills
- anima-theory: ANIMA fixed-point detection theory
- narya-proofs: Before/after/delta tracking for version control
- mcp-spec-checker: MCP specification verification
- triadic-skill-orchestrator: GF(3) role assignment for skill triplets

## Key Features
- GF(3) Conservation: Σ trits ≡ 0 (mod 3)
- Strong Parallelism Invariance (SPI)
- Cross-skill morphisms (thread→file, event→task)
- Narya compatibility for all skills
- Formal denotations and invariant sets

Related: redplanetlabs/agent-o-rama#258

Co-authored-by: alice <alice@2-monad.fios-router.home>
@ampcode-com
feat: Bulk sync 51 skills from music-topos (#16)
76f4550 
L4 Admissible Skills (GF(3) typed, documented, compositional):

Core Bundles:
- gworkspace-mcp (0): Google Workspace MCP with causal poset
- chromatic-walk (0): 3-agent parallel exploration
- shadow-goblin (-1): Subagent observation tracing
- world-runtime (+1): Firecracker microVM execution

KBG Third (Kleppmann-Bumpus-Gay):
- time-travel-crdt (-1): Eg-walker event graph merge
- haskell-diagrams (0): Tsillerson automata visualization

Cybernetic Bundle:
- cybernetic-immune (0): Self/Non-Self via reafference
- criticality-detector (0): BKT phase classification
- rg-flow-acset (0): Powers PCT + XY model

∞-Category Bundle:
- infinity-operads (0): Dendroidal Segal spaces
- koopman-generator (+1): Dynamics from observables
- lhott-cohesive-linear (0): Schreiber cohesive modalities

Excellence Bundle:
- refuse-mediocrity (+1): Demand unreasonable quality
- excellence-gradient (-1): Measure toward optimal

Finance Bundle:
- world-extractable-value (0): WEV = PoA - 1
- multiversal-finance (+1): Prediction markets on (seed, index)

Geography Bundle:
- duckdb-spatial (0): H3/geohash spatial SQL
- osm-topology (-1): Network validation
- geodesic-manifold (0): Great circle geometry

All skills include:
- GF(3) trit assignment
- Neighbor awareness (left/right in braid)
- Canonical triads summing to 0

Amp-Thread-ID: https://ampcode.com/threads/T-019b5503-f8be-72df-8994-9b6e24b26363

Co-authored-by: Gay Color Mining <gay@worm.sex>
Co-authored-by: Amp <amp@ampcode.com>
@claude
feat: add 15 notable skills from local collection
fc1bb93 
Skills added:
- anoma-intents: Anoma intent-centric architecture
- bmorphism-interactome: GitHub interactome explorer
- concatenative: Forth/Factor/Joy stack-based programming
- dynamic-sufficiency: Lyapunov stability, ε-machine
- enzyme-autodiff: Enzyme AD integration
- juvix-intents: Juvix compilation for intents
- möbius-color-duality: Möbius inversion for Gay.jl
- playwright-unworld: Browser automation with worlds
- propagators: Propagator networks
- reversible-computing: Janus reversible programming
- storage-reclaim: Disk space recovery
- topos-adhesive-rewriting: Adhesive categories
- topos-catcolab: CatColab integration
- triadic-skill-loader: GF(3) skill routing
- worldmat-tidar: 3×3×3 TiDAR matrix

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
feat: add skill-connectivity-hub for graph-based skill orchestration
c383490 
- Identifies hub skills with highest neighbor connectivity
- narya-proofs, bisimulation-game, ordered-locale top hubs (5 refs each)
- GF(3) triadic routing via hub-spoke pattern
- Babashka graph analyzer for connectivity metrics
- Narya counterfactual diffing for skill evolution
- libghosty VT integration for auto-formalizing society
- Emacs/.el integration via skill-connectivity-hub.el

Hub Skills: narya-proofs, bisimulation-game, ordered-locale,
           sheaf-cohomology, topos-generate

GF(3) Triads:
  narya-proofs(-1) ⊗ ordered-locale(0) ⊗ gay-mcp(+1) = 0 ✓
  sheaf-cohomology(-1) ⊗ dialectica(0) ⊗ topos-generate(+1) = 0 ✓
feat: add aptos-society skill for compositional game theory governance
719dc5a 
- Seth Frey (UC Davis) composing games into institutions
- Michael Zargham (BlockScience) cadCAD governance
- Jules Hedges (Strathclyde) open games categorical theory
- 26-letter world wallets (A-Z) with triadic segmentation
- GF(3) triadic skill forcing: MINUS/ERGODIC/PLUS
- Babashka/NBB integration for world balance queries
- Swift Sendable semantics for actor isolation
- Ruler enforcement for skill loading rules
🌈 #D647B0 | entropy=42 trit=0 H=158° (ERGODIC)
f4b0f3f 
Gay.jl deterministic color from thread seed
Thread: T-019b5e16-f9ad-773c-b2ef-ae65bc084748
SplitMix64 → hue 158° → neutral/coordinator trit
@zubyul @claude
fix: add YAML frontmatter to ~200 broken SKILL.md files
20e14ff 
Automated fix using fix-codex-skills.bb script.
All skills now have proper frontmatter with name, description, version.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
@bmorphism
Merge remote-tracking branch 'origin/feature/skill-connectivity-hub-2…
a506980 
…0251226'

# Conflicts:
#	.claude-plugin/marketplace.json
#	.github/workflows/validate.yml
#	README.md
#	ies/fermyon_agents/src/dashboard.rs
#	ies/fermyon_agents/src/jit_compilation.rs
#	ies/fermyon_agents/src/lib.rs
#	ies/fermyon_agents/src/transduction_2tdx.rs
#	ies/music-topos/.agents/AGENTS.md
#	ies/music-topos/.agents/skills/influence-propagation/SKILL.md
#	ies/music-topos/.codex/mcp.json
#	ies/music-topos/.codex/skills/borkdude/SKILL.md
#	ies/music-topos/.codex/skills/gay-mcp/SKILL.md
#	ies/music-topos/.codex/skills/localsend-mcp/SKILL.md
#	ies/music-topos/.codex/skills/three-match/SKILL.md
#	ies/music-topos/.codex/skills/unworld/SKILL.md
#	ies/music-topos/.flox/env/manifest.toml
#	ies/music-topos/.mcp.json
#	ies/music-topos/.ruler/AGENTS.md
#	ies/music-topos/.ruler/skills/acsets/SKILL.md
#	ies/music-topos/.ruler/skills/discohy-streams/skill.md
#	ies/music-topos/.ruler/skills/gay-mcp/SKILL.md
#	ies/music-topos/.ruler/skills/reafference-corollary-discharge/SKILL.md
#	ies/music-topos/PHASE_3_COMPLETION_REPORT.md
#	ies/music-topos/README.md
#	ies/music-topos/agents/automatic_remediation.jl
#	ies/music-topos/agents/comprehension_discovery.jl
#	ies/music-topos/agents/navigation_caching.jl
#	ies/music-topos/features/step_definitions/reafference_steps.rb
#	ies/music-topos/flox.toml
#	ies/music-topos/justfile
#	ies/music-topos/lean4/MusicTopos.lean
#	ies/music-topos/lean4/MusicTopos/Basic.lean
#	ies/music-topos/lean4/MusicTopos/GaloisDerangement.lean
#	ies/music-topos/lean4/lake-manifest.json
#	ies/music-topos/lean4/lakefile.lean
#	ies/music-topos/lean4/lean-toolchain
#	ies/music-topos/lib/color_harmony_peg.jl
#	ies/music-topos/lib/crdt_memoization/core.jl
#	ies/music-topos/lib/harmonic_function.rb
#	ies/music-topos/lib/learnable_plr_network.jl
#	ies/music-topos/lib/plr_color_lattice.jl
#	ies/music-topos/lib/plr_crdt_bridge.jl
#	ies/music-topos/lib/preference_learning_loop.jl
#	ies/music-topos/m5_unworld_poc.go
#	skills.json
#	skills/abductive-repl/SKILL.md
#	skills/acsets-relational-thinking/SKILL.md
#	skills/acsets/SKILL.md
#	skills/agent-o-rama/SKILL.md
#	skills/algorithmic-art/SKILL.md
#	skills/alife/SKILL.md
#	skills/anima-theory/SKILL.md
#	skills/anoma-intents/SKILL.md
#	skills/aptos-agent/SKILL.md
#	skills/aptos-gf3-society/SKILL.md
#	skills/aptos-trading/SKILL.md
#	skills/aptos-trading/scripts/alpha_executor.py
#	skills/aqua-voice-malleability/SKILL.md
#	skills/artifacts-builder/SKILL.md
#	skills/asi-agent-orama/SKILL.md
#	skills/asi-polynomial-operads/SKILL.md
#	skills/assembly-index/SKILL.md
#	skills/atproto-ingest/SKILL.md
#	skills/autopoiesis/SKILL.md
#	skills/babashka-clj/SKILL.md
#	skills/babashka/SKILL.md
#	skills/backend-development/SKILL.md
#	skills/bafishka/SKILL.md
#	skills/bdd-mathematical-verification/SKILL.md
#	skills/bisimulation-game/SKILL.md
#	skills/bmorphism-interactome/SKILL.md
#	skills/bmorphism-stars/SKILL.md
#	skills/borkdude/SKILL.md
#	skills/brand-guidelines/SKILL.md
#	skills/buberian-relations/SKILL.md
#	skills/bumpus-narratives/SKILL.md
#	skills/calendar-acset/SKILL.md
#	skills/canvas-design/SKILL.md
#	skills/captp/SKILL.md
#	skills/cargo-rust/SKILL.md
#	skills/cargo/SKILL.md
#	skills/catsharp-galois/SKILL.md
#	skills/catsharp-sonification/SKILL.md
#	skills/catsharp-sonification/sonify.py
#	skills/catsharp/SKILL.md
#	skills/causal-inference/SKILL.md
#	skills/changelog-generator/SKILL.md
#	skills/chromatic-walk/SKILL.md
#	skills/cider-clojure/SKILL.md
#	skills/cider-embedding/SKILL.md
#	skills/clj-kondo-3color/SKILL.md
#	skills/clojure/SKILL.md
#	skills/code-documentation/SKILL.md
#	skills/code-refactoring/SKILL.md
#	skills/code-review/SKILL.md
#	skills/codex-self-rewriting/SKILL.md
#	skills/cognitive-superposition/SKILL.md
#	skills/cognitive-surrogate/SKILL.md
#	skills/competitive-ads-extractor/SKILL.md
#	skills/compositional-acset-comparison/SKILL.md
#	skills/compression-progress/SKILL.md
#	skills/concatenative/SKILL.md
#	skills/condensed-analytic-stacks/SKILL.md
#	skills/content-research-writer/SKILL.md
#	skills/covariant-fibrations/SKILL.md
#	skills/covariant-modification/SKILL.md
#	skills/crdt-vterm/SKILL.md
#	skills/crdt-vterm/increment_69h_crdt_sexp.bb
#	skills/crdt/SKILL.md
#	skills/criticality-detector/SKILL.md
#	skills/crn-topology/SKILL.md
#	skills/ctp-yoneda/SKILL.md
#	skills/curiosity-driven/SKILL.md
#	skills/cybernetic-immune/SKILL.md
#	skills/database-design/SKILL.md
#	skills/datalog-fixpoint/SKILL.md
#	skills/deepwiki-mcp/SKILL.md
#	skills/depth-search/SKILL.md
#	skills/developer-growth-analysis/SKILL.md
#	skills/dialectica/SKILL.md
#	skills/directed-interval/SKILL.md
#	skills/discohy-streams/skill.md
#	skills/discopy-operads/SKILL.md
#	skills/discopy/SKILL.md
#	skills/doc-coauthoring/SKILL.md
#	skills/docs-acset/SKILL.md
#	skills/docx/SKILL.md
#	skills/domain-name-brainstormer/SKILL.md
#	skills/drive-acset/SKILL.md
#	skills/duck-time-travel/SKILL.md
#	skills/duckdb-ies/SKILL.md
#	skills/duckdb-spatial/SKILL.md
#	skills/duckdb-temporal-versioning/SKILL.md
#	skills/duckdb-timetravel/SKILL.md
#	skills/ducklake-walk/SKILL.md
#	skills/dynamic-sufficiency/SKILL.md
#	skills/effective-topos/SKILL.md
#	skills/elements-infinity-cats/SKILL.md
#	skills/elisp/SKILL.md
#	skills/emacs-info/SKILL.md
#	skills/emacs/SKILL.md
#	skills/entropy-sequencer/SKILL.md
#	skills/enzyme-autodiff/SKILL.md
#	skills/epistemic-arbitrage/SKILL.md
#	skills/ewig-editor/SKILL.md
#	skills/exa-search/SKILL.md
#	skills/excellence-gradient/SKILL.md
#	skills/exo-distributed/SKILL.md
#	skills/external/SKILL.md
#	skills/ffmpeg-media/SKILL.md
#	skills/ffmpeg/SKILL.md
#	skills/file-organizer/SKILL.md
#	skills/finder-color-walk/SKILL.md
#	skills/finder-color-walk/finder_color_walk.bb
#	skills/finder-color-walk/parallel_walk.bb
#	skills/flox/SKILL.md
#	skills/fokker-planck-analyzer/SKILL.md
#	skills/forward-forward-learning/SKILL.md
#	skills/free-monad-gen/SKILL.md
#	skills/frontend-design/SKILL.md
#	skills/gay-integration/SKILL.md
#	skills/gay-julia/SKILL.md
#	skills/gay-mcp/SKILL.md
#	skills/geiser-chicken/SKILL.md
#	skills/geodesic-manifold/SKILL.md
#	skills/geohash-coloring/SKILL.md
#	skills/gestalt-hacking/SKILL.md
#	skills/gf3-pr-verify/SKILL.md
#	skills/gflownet/SKILL.md
#	skills/gh-cli/SKILL.md
#	skills/gh/SKILL.md
#	skills/glass-bead-game/SKILL.md
#	skills/glass-hopping/SKILL.md
#	skills/gmail-anima/SKILL.md
#	skills/goblins/SKILL.md
#	skills/godel-machine/SKILL.md
#	skills/guile-goblins-hoot/SKILL.md
#	skills/guile/SKILL.md
#	skills/gworkspace-mcp/SKILL.md
#	skills/haskell-diagrams/SKILL.md
#	skills/hatchery-papers/SKILL.md
#	skills/holes/SKILL.md
#	skills/hoot/SKILL.md
#	skills/hvm-runtime/SKILL.md
#	skills/hy-emacs/SKILL.md
#	skills/hyjax-relational/SKILL.md
#	skills/iecsat-storage/SKILL.md
#	skills/ies-flox/SKILL.md
#	skills/ies-triadic/SKILL.md
#	skills/ies/SKILL.md
#	skills/ihara-zeta/SKILL.md
#	skills/image-enhancer/SKILL.md
#	skills/implicit-coordination/SKILL.md
#	skills/infinity-operads/SKILL.md
#	skills/influence-propagation/SKILL.md
#	skills/intent-sink/SKILL.md
#	skills/interaction-nets/SKILL.md
#	skills/internal-comms/SKILL.md
#	skills/invoice-organizer/SKILL.md
#	skills/javascript-typescript/SKILL.md
#	skills/jaxlife-open-ended/SKILL.md
#	skills/jira-issues/SKILL.md
#	skills/job-application/SKILL.md
#	skills/joker-lint/SKILL.md
#	skills/julia-gay/SKILL.md
#	skills/juvix-intents/SKILL.md
#	skills/kan-extensions/SKILL.md
#	skills/keychain-secure/SKILL.md
#	skills/kinetic-block/SKILL.md
#	skills/kolmogorov-compression/SKILL.md
#	skills/koopman-generator/SKILL.md
#	skills/l-space/SKILL.md
#	skills/lambda-calculus/SKILL.md
#	skills/langevin-dynamics/SKILL.md
#	skills/lead-research-assistant/SKILL.md
#	skills/lhott-cohesive-linear/SKILL.md
#	skills/linear-logic/SKILL.md
#	skills/lispsyntax-acset/SKILL.md
#	skills/little-schemer/SKILL.md
#	skills/llm-application-dev/SKILL.md
#	skills/local-compositionality-gadget/SKILL.md
#	skills/localsend-mcp/SKILL.md
#	skills/map-projection/SKILL.md
#	skills/mathpix-ocr/SKILL.md
#	skills/mcp-builder/SKILL.md
#	skills/mcp-spec-checker/SKILL.md
#	skills/mcp-tripartite/SKILL.md
#	skills/mdm-cobordism/SKILL.md
#	skills/media/SKILL.md
#	skills/meeting-insights-analyzer/SKILL.md
#	skills/merkle-proof-validation/SKILL.md
#	skills/mlx-apple-silicon/SKILL.md
#	skills/mlx-jax-splitmix/SKILL.md
#	skills/moebius-inversion/SKILL.md
#	skills/move-smith-fuzzer/SKILL.md
#	skills/mruler/SKILL.md
#	skills/multiversal-finance/SKILL.md
#	skills/möbius-color-duality/SKILL.md
#	skills/narya-proofs/SKILL.md
#	skills/naturality-factor/SKILL.md
#	skills/nerv/SKILL.md
#	skills/network/SKILL.md
#	skills/nix-acset-worlding/SKILL.md
#	skills/oapply-colimit/SKILL.md
#	skills/obstruction-learning/SKILL.md
#	skills/ocaml/SKILL.md
#	skills/og/skill.md
#	skills/opam-ocaml/SKILL.md
#	skills/opam/SKILL.md
#	skills/open-games/SKILL.md
#	skills/operad-compose/SKILL.md
#	skills/ordered-locale/SKILL.md
#	skills/org/SKILL.md
#	skills/osm-topology/SKILL.md
#	skills/paperproof-validator/SKILL.md
#	skills/parallel-fanout/SKILL.md
#	skills/pdf/SKILL.md
#	skills/persistent-homology/SKILL.md
#	skills/pkg-memory-bridge/SKILL.md
#	skills/playwright-unworld/SKILL.md
#	skills/playwright-unworld/verify_integration.jl
#	skills/playwright/SKILL.md
#	skills/plurigrid-asi-integrated/SKILL.md
#	skills/plurigrid-asi-integrated/_integrated/SKILL.md
#	skills/polyglot-spi/SKILL.md
#	skills/pptx/SKILL.md
#	skills/pre-agent-ontology/SKILL.md
#	skills/proofgeneral-narya/SKILL.md
#	skills/propagators/SKILL.md
#	skills/protocol-evolution-markets/SKILL.md
#	skills/pulse-mcp-stream/SKILL.md
#	skills/pun-decomposition/SKILL.md
#	skills/python-development/SKILL.md
#	skills/qa-regression/SKILL.md
#	skills/raffle-winner-picker/SKILL.md
#	skills/rama-gay-clojure/SKILL.md
#	skills/ramanujan-expander/SKILL.md
#	skills/random-walk-fusion/SKILL.md
#	skills/reafference-corollary-discharge/SKILL.md
#	skills/reflow/SKILL.md
#	skills/refuse-mediocrity/SKILL.md
#	skills/resource-sharing/SKILL.md
#	skills/reversible-computing/SKILL.md
#	skills/rezk-types/SKILL.md
#	skills/rg-flow-acset/SKILL.md
#	skills/rick-roderick/SKILL.md
#	skills/rio-webgpu-tiles/SKILL.md
#	skills/rubato-composer/SKILL.md
#	skills/ruler-maximal/SKILL.md
#	skills/ruler/SKILL.md
#	skills/rust/SKILL.md
#	skills/say-ducklake-xor/SKILL.md
#	skills/say-narration/SKILL.md
#	skills/scheme/SKILL.md
#	skills/scum-resource/SKILL.md
#	skills/scum-score/SKILL.md
#	skills/segal-types/SKILL.md
#	skills/self-evolving-agent/SKILL.md
#	skills/self-validation-loop/SKILL.md
#	skills/sense/SKILL.md
#	skills/shadow-goblin/SKILL.md
#	skills/sheaf-cohomology/SKILL.md
#	skills/sheaf-laplacian-coordination/SKILL.md
#	skills/sicp/SKILL.md
#	skills/signal-messaging/SKILL.md
#	skills/skill-connectivity-hub/SKILL.md
#	skills/skill-creator/SKILL.md
#	skills/skill-dispatch/SKILL.md
#	skills/skill-evolution/SKILL.md
#	skills/skill-installer/SKILL.md
#	skills/skill-specification/SKILL.md
#	skills/skill-validation-gf3/SKILL.md
#	skills/slack-gif-creator/SKILL.md
#	skills/slime-lisp/SKILL.md
#	skills/soliton-detection/SKILL.md
#	skills/solver-fee/SKILL.md
#	skills/specter-acset/SKILL.md
#	skills/spi-parallel-verify/SKILL.md
#	skills/spotify/SKILL.md
#	skills/squint-runtime/SKILL.md
#	skills/srfi/SKILL.md
#	skills/storage-reclaim/SKILL.md
#	skills/structured-decomp/SKILL.md
#	skills/synthetic-adjunctions/SKILL.md
#	skills/system2-attention/SKILL.md
#	skills/tailscale-file-transfer/SKILL.md
#	skills/tailscale-localsend/SKILL.md
#	skills/tailscale-mesh/SKILL.md
#	skills/tailscale/SKILL.md
#	skills/tasks-acset/SKILL.md
#	skills/temporal-coalgebra/SKILL.md
#	skills/terminal/SKILL.md
#	skills/theme-factory/SKILL.md
#	skills/three-match/SKILL.md
#	skills/time-travel-crdt/SKILL.md
#	skills/tmp-filesystem-watcher/SKILL.md
#	skills/tmux/SKILL.md
#	skills/topos-adhesive-rewriting/SKILL.md
#	skills/topos-catcolab/SKILL.md
#	skills/topos-generate/SKILL.md
#	skills/topos-of-music/SKILL.md
#	skills/topos-unified/SKILL.md
#	skills/tree-sitter/SKILL.md
#	skills/triad-interleave/SKILL.md
#	skills/triad-interleave/triad_interleave.py
#	skills/triadic-skill-loader/SKILL.md
#	skills/triadic-skill-orchestrator/SKILL.md
#	skills/tripartite-decompositions/SKILL.md
#	skills/turing-chemputer/SKILL.md
#	skills/type-checker/SKILL.md
#	skills/universal-captp-derivation/SKILL.md
#	skills/unwiring-arena/SKILL.md
#	skills/unworld/SKILL.md
#	skills/unworlding-involution/SKILL.md
#	skills/uv-discohy/SKILL.md
#	skills/uv-oneliners/SKILL.md
#	skills/video-downloader/SKILL.md
#	skills/ward-identity-checker/SKILL.md
#	skills/webapp-testing/SKILL.md
#	skills/wev-orderless/SKILL.md
#	skills/whitehole-audio/SKILL.md
#	skills/workspace-unified/SKILL.md
#	skills/world-extractable-value/SKILL.md
#	skills/world-hopping/SKILL.md
#	skills/world-runtime/SKILL.md
#	skills/worldmat-tidar/SKILL.md
#	skills/xenodium-elisp/SKILL.md
#	skills/xlsx/SKILL.md
#	skills/yoneda-directed/SKILL.md
@bmorphism @claude
feat: gf3-goblins.scm — GF(3) conservation via Goblins capability sec…
a09693a 
…urity

Unified Guile implementation with Zig FFI backend:
- SplitMix64 deterministic identity (pure Scheme + Zig accelerated)
- GF(3) conservation enforced by capability seal (not post-hoc check)
- Self-Avoiding Walk ledger with Zig-backed Ripser persistent homology
- Reafference passport for identity-through-prediction
- Syrup OCapN wire encoding via libgf3_goblins.dylib
- Full cross-language verification (Scheme ↔ Zig ↔ Python)

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@bmorphism
feat: add 13 missing droid marketplace entries for full skill coverage
332136c 
Adds droids for: acsets-algebraic-databases, aptos-society, bandwidth-benchmark,
cross-runtime-exchange, discohy-streams, m-bius-color-duality, og,
polynomial-dynamics, rama-gay-zig, reverse-derivative-coordinator,
reverse-derivative-generator, reverse-derivative-validator, skill-loader

Total droids: 636 (was 623)
@bmorphism
Add maxwells-demon-entropy skill: comonadic stream processor bridging…
0e9b104 
… entanglement and interaction entropy via cofree coalgebras, sheaf cohomology, and Jepsen adversarial testing
@bmorphism
Para-rigorous formulation: Maxwell's demon in every world via Kripke-…
acdf618 
…Joyal forcing

11 logical leaps (0-10) each in pre-rigorous / rigorous / para-rigorous voice:
- Leap 0: Existence via final coalgebra (terminal = exists in every world)
- Leap 1: Observation cost via effective topos (K-complexity = Landauer shadow)
- Leap 2: Memory saturation via bounded cofree (area law = categorical rank bound)
- Leap 3: Irreversibility of erasure (no section of the erase map, in any topos)
- Leap 4: Heat production (interaction entropy = measured 140.17 bits empirically)
- Leap 5: Inescapable cycle (comonad laws = thermodynamic entrapment)
- Leap 6: Entanglement budget (H^1 sheaf = inconsistency dimension)
- Leap 7: Interaction entropy spend (Lie derivative of H^1 along extract flow)
- Leap 8: Universality (final coalgebra is terminal, every cache is a demon)
- Leap 9: Qualia privacy (bisimulation undecidable, Markov blanket = selfhood)
- Leap 10: Meta-closure (the forcing relation IS the demon, Lambek fixed point)
@bmorphism
Computational witness: all 11 leaps verified against interaction_hype…
02e6c4a 
…rgraph.duckdb

Key findings:
- 140.17 bits interaction entropy across 28 hyperedge-coalgebras
- Sub-area-law ratio 0.45 bits/boundary-node (delocalized information)
- 311 boundary nodes = dim(H^1) = independent disagreement modes
- 2644 triangles >> 338 edges: higher-order coherence dominates
- Maximally entangled node in 25/28 hyperedges (89.3% shared quale)
- Spectral gap proxy 1.04: near-degenerate top eigenvalues
@bmorphism
demon_walk.py: executable cofree coalgebra unfolding on the interacti…
8fe1cce 
…on hypergraph nerve

Three modes:
  walk    -- random walk on the nerve, extract/erase/cost per step
  spectrum -- sheaf Laplacian degree sequence, Betti numbers, Euler char
  witness  -- all 11 forcing conditions computed from data

Key behaviors:
- Memory bound = 50 nodes, saturation at step 50, Landauer erasure kicks in
- Entropy rate 6.5 bits/step post-saturation (observation + erasure)
- Ergodic occupation: topos(10%), amp/codex/duckdb(7-8%) in 100 steps
- 86% unique observations: the demon sees mostly new things

The maximally entangled node 800e41a8... is a directory listing of ~/i --
the filesystem that every agent touches. The shared quale is the ground.
@bmorphism
The hard problem measured: structural agreement vs observational privacy
7fdf372 
codex and amp: structural distance 0.0000 (identical topic coverage),
observational distance 0.9918 (almost zero shared content). The gap of
0.9918 is the computational hard problem -- same world, different qualia.

The universal quale across 4/5 demons is the word 'continue' (and its
typos). The only observation that survives every Markov blanket is the
instruction to keep observing. extract itself crosses the blanket.
Not the red, but the looking.
@bmorphism
Lambek fixed point: the demon observes its own creation
98d73af 
5 commits = 5 extracts from the cofree coalgebra of its own writing.
64.62 bits total, 12.92 bits/commit, 0.0628 bits/line meta-cost.
The description of Landauer cost pays Landauer cost (1.80e-22 J/line).
The file that describes the fixed point IS the fixed point.
@bmorphism
9 adversarial time techniques: executable attacks on the demon walk
8af318f 
Each technique perturbs the cofree coalgebra differently:

ENTROPY INJECTORS (friction -- detectable, fixable):
  T4 Nonce corruption:     +365 bits (destroys locality, most dangerous)
  T9 Page-level attack:    +192 bits (corrupts nerve topology)
  T2 Fake time injection:  +104 bits (extract from wrong position)
  T6 Cache invalidation:    +46 bits (erase during observe)
  T1 Deterministic replay:  +43 bits (replay extend history)
  T3 LD_PRELOAD:            +43 bits (constant extract)

ENTROPY SUPPRESSORS (debt -- invisible until crisis, MORE dangerous):
  T5 Manifest version skew: -102 bits (stale arity, silent killer)
  T8 LUT poisoning:          -79 bits (uniform weights, structure-blind)
  T7 Clock reversal:         -36 bits (backward walk, tunnel vision)

Key finding: suppressors are worse than injectors. The demon that
undercounts its entropy accumulates hidden thermodynamic debt.
T5 (manifest version skew) is the Jepsen bug: 0% trajectory divergence
but -102 bits accounting error. Same walk, wrong books.
@zubyul
feat: add 27 local-only skills to asi
d8657f6 
Skills that exist locally but were never in plurigrid/asi,
identified via Gödel-gated counterfactual comparison with
petname→DID content-addressing.

New skills:
- acsets-algebraic-databases, asi-integrated, collaborative-emacs
- find-skills, cloudflare, wrangler
- security-review, threat-model-generation, commit-security-scan
- visual-design, browser-navigation
- basin, bandwidth-benchmark, embedded-medical-device
- warehouse-network, mirror
- svelte-components, svelte-deployment, svelte-runes
- sveltekit-data-flow, sveltekit-remote-functions, sveltekit-structure
- geb-categorical-computation, gmail, messaging-world
- syrup, move-rps-game

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@zubyul
beeper skill: document Desktop API file attachments
1b326ac
@zubyul
beeper skill: fix attachment script path
3beb04e
@zubyul
feat: add jj, lazyjj, and abd-quorum-registers skills
da65386 
- jj: Git-compatible next-gen VCS with revsets, first-class conflicts, operation log undo
- lazyjj: Ratatui TUI for jj with interactive log/files/bookmarks panels
- abd-quorum-registers: ABD linearizable distributed registers with quorum intersection

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@zubyul
Add jepsen-testing skill for distributed systems correctness testing
8537ab1 
Generic Jepsen skill covering intake, workload design, checker selection,
fault/nemesis selection, run minimization, and reporting. No project-specific
references.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
bmorphism and others added 28 commits February 15, 2026 17:47
@bmorphism
skills: populate 727 SKILL.md files from all sources
44a1ca5
@bmorphism
fix: remove dangling Emacs lockfile from asi-transient-agenda
e5f2093 
Remove .#tikzcd-demo.tex symlink from tex-env/ and add .#* to .gitignore
to prevent Emacs lockfiles from being tracked in the future.
@bmorphism
fix: remove Emacs auto-save file, install asi-transient-agenda skill
ef65215 
Remove #tikzcd-demo.tex# auto-save from tex-env/.
Add #*# to .gitignore to prevent future Emacs artifacts.
Install asi-transient-agenda as a Claude Code skill in .claude/skills/.
@bmorphism
skills: 744 total — add 10 VR/XR skills, stub 8, archive 22 orphans, …
e484e19 
…cleanup
@bmorphism
skills: 1334 total — add 591 skills discovered via filesystem-wide SK…
7e69a55 
…ILL.md scan
@bmorphism
fix: remove 3 content-duplicate skills, SKILL_COUNT=1331
9c4c9b7
@bmorphism
fix: remove tracked Emacs auto-save file blocking asi-transient-agend…
51fb327 
…a install
@bmorphism
skills: 1360 floor — monotonic invariant, 17-hub reachability README
d2bf0ca 
- README: full reachability map (17 hubs → 1,360 skills)
- skills.json v1.6.0: monotonic_floor=1360, namespace_surfaces
- MONOTONIC_SKILL_INVARIANT.md: the law (non-decreasing unless HUMAN_DELETE=1)
- pre-commit hook: blocks automated skill count reduction
- moebius canonical: möbius→moebius rename + symlinks (encoding fix)
- propagate 11 Codex-discovered skills to asi/skills/ via symlinks
- amp-gf3-continuation: 64-char alias for 71-char Codex name
@bmorphism
skill: abductive-monte-carlo
6ccf133 
Retroductive hypothesis sampling via MCMC:
  - P(H|E) proportional to P(E|H) * P(H), sampled via Metropolis-Hastings
  - Gay.jl colored particles as hypothesis candidates + priors
  - Importance sampling variant for color abduction
  - Proof-state abduction: infer likely tactic history from terminal state
  - Roundtrip verify: forward-simulate MAP hypothesis back to observation

GF(3): abductive-monte-carlo (-1) ⊗ abductive-repl (0) ⊗ gay-monte-carlo (+1) = 0
@zubyul
Add onepassword-cli skill for secure secret management
44e350c 
Covers op CLI setup, session management, secret references (op://),
shell plugins, item CRUD, template injection, and CI/CD patterns.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@zubyul
Add vertex-ai skill for Gemini, Imagen, and embeddings
1e20994 
Covers gcloud OAuth2 auth, Gemini text/multimodal, system instructions,
embeddings with similarity, Imagen image generation, streaming,
multi-turn conversations, and 1Password integration.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@bmorphism
feat: skill invariant enforcement system
ed61022 
- Add 3 invariants: reachability, DAG acyclicity, capability boundedness
- Runtime guard (invariants/) with capability tracking and depth limits
- CI enforcement script (scripts/enforce_skill_invariants.py)
- Pytest suite (tests/test_skill_invariants.py)
- Juvix formalization (formalization/SkillReachabilityInvariant.juvix)
- marketplace.json invariants config
- Updated validate.yml CI pipeline
- Invariant annotations on rama-gay-zig SKILL.md
- docs/SKILL_INVARIANTS.md specification
@bmorphism
Merge pull request #68 from plurigrid/feat/skill-invariant-enforcement
17abba3 
feat: skill invariant enforcement system
@bmorphism
Merge pull request #66 from plurigrid/add-onepassword-cli-skill
d9b3bb0 
Add onepassword-cli skill
@bmorphism
Merge pull request #67 from plurigrid/add-vertex-ai-skill
0edb025 
Add vertex-ai skill
@zubyul
Add 1Password provider bridge to fnox-secrets skill
6b510ca 
Documents native 1Password provider support in fnox, mixed provider
architecture (age for offline, op for team-shared), and when to use each.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@bmorphism
feat: add Juvix typecheck CI job
f95a6ec 
Add separate juvix-typecheck job to GitHub Actions that:
- Installs Juvix v0.6.10 via jaxxstorm/action-install-gh-release
- Typechecks formalization/SkillReachabilityInvariant.juvix
- Gates merges to main on formal verification passing

Also adds Package.juvix project descriptor for the formalization directory.
@bmorphism
feat: add 13 BigQuery/Vertex AI skills
b83b081 
New skills: bigquery, bigquery-asi-interleave, bigquery-patent-search,
bigquery-table-creator, firebase-vertex-ai, looker-studio-bigquery,
restricted-bigquery-dbt-environment, vertex-ai-deployer,
vertex-ai-endpoint-config, vertex-ai-media-master,
vertex-ai-pipeline-creator, vertex-asi-interleave, vertex-engine-inspector

Also updates rama-gay-zig SKILL.md.

Monotonic floor: 1,360 -> 1,373
@bmorphism
Merge pull request #70 from plurigrid/feat/juvix-ci-typecheck
5118513 
feat: Juvix CI typecheck + 13 new skills
@bmorphism
Merge pull request #69 from plurigrid/update-fnox-secrets-skill
1de96eb 
Add 1Password bridge to fnox-secrets skill
@bmorphism
ci: enable Juvix binary caching in CI
345c839 
Matches anoma/nspec pattern for faster CI runs.
@bmorphism
backup: add new skills and pending changes
f24cd30
@zubyul
redact sensitive references in benchmark and egpu skills
efdd49b
@bmorphism
feat: fully covariant computation and multicomputational irreducibility
97a69eb 
- Remove Basin-specific skill content
- Rewrite graft-prefer with covariant caching and irreducible parallelism framing
- Rewrite norvidize with presheaf-over-assurance-poset claim structure
- Add nblm-interval-narratives droid skill (NotebookLM + interval narrative theory)
@bmorphism
feat(yb-translator): Zig vs Rust dendritic cell colored operad interl…
16c2e51 
…eave

13-step plastic thread (ρ=1.324718, x³=x+1) across 3 streams:
- innate/Zig: germline-encoded, comptime, explicit allocators
- bridge/DC: colored operad with cross-presentation as operad morphism
- adaptive/Rust: V(D)J recombination, ownership, trait bounds

GF(3) trit sum = 0 (self-balancing). Quad: yb-translator(+1) +
zig-systems(0) + cargo-rust(0) + sheaf-cohomology(-1) = 0.
@bmorphism
feat: color 8 OCaml/OxCaml versions + 17-skill constellation (GF(3) b…
e9f9b54 
…alanced)
@zubyul @claude
feat(osf-datasets): add skill for Open Science Framework CLI dataset …
1a86fe0 
…access

Provides osfclient commands (ls, clone, fetch, upload, geturl), OSF v2
API curl patterns, auth config, and helper scripts for browsing/searching
public OSF projects without installing osfclient.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@zubyul @claude
fix(osf-datasets): add --globoff for curl, fix macOS column compat
3916dc0 
macOS curl treats [] in URLs as glob ranges — all OSF API calls
now use --globoff. Also adds subfolder browsing example and
page[size] param for search queries.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@zubyul zubyul force-pushed the main branch 2 times, most recently from b10571b to 83b4739 Compare March 7, 2026 22:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@zubyul @bmorphism