bafishka
๋ฌด๋ฃ๐ Rust-native Fish shell-friendly file operations with Steel-backed SCI Clojure evaluation.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
@plurigrid
์กฐ์ง
building for a more agentic mesoscale ๐ฆ
์คํฌ 297๊ฐ์ ์ฅ์ 1๊ฐ 70
๐ Rust-native Fish shell-friendly file operations with Steel-backed SCI Clojure evaluation.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Brain-Computer Interface with colored operad security boundaries. Maximally isolated EEG/neural data processing via VMโContainerโProcess enclosure with GF(3) conservation for Agent-O-Rama neural pathways.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
MLXโJAX bidirectional beacon-repeater with spectral gap random walk, justfile orchestration, catp flow validation, and adversarial malleability for life pattern resurrection.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Behaviour Surprisal Analysis
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
> Persistent belief revision log wiring in-memory AGM BeliefSet to DuckDB time-travel storage. Triggers: belief revision, AGM postulates, time-travel query, belief history, AS-OF queries on propositions, persistent belief state, append-only belief log. >>>>>>> origin/main
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Benchling R&D platform integration. Access registry (DNA, proteins), inventory, ELN entries, workflows via API, build Benchling Apps, query Data Warehouse, for lab data management automation.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Safe proof โ theorem navigation with non-backtracking constraint.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Bifunctors: two-argument functors for product categories.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Generate bifurcation diagrams for dynamical systems. Use when visualizing parameter-dependent behavior transitions.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Interleave layer bridging the BigQuery cluster to plurigrid/asi. Routes BigQuery queries through asi's DuckDB stack, wires patent search into asi knowledge graph, connects Looker Studio dashboards to CatColab, and feeds BigQuery ML into the lolita physics emulation pipeline.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Autonomous biomedical AI agent framework for executing complex research tasks across genomics, drug discovery, molecular biology, and clinical analysis. Use this skill when conducting multi-step biomedical research including CRISPR screening design, single-cell RNA-seq analysis, ADMET prediction, GWAS interpretation, rare disease diagnosis, or lab protocol optimization. Leverages LLM reasoning with code execution and integrated biomedical databases.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Primary Python toolkit for molecular biology. Preferred for Python-based PubMed/NCBI queries (Bio.Entrez), sequence manipulation, file parsing (FASTA, GenBank, FASTQ, PDB), advanced BLAST workflows, structures, phylogenetics. For quick BLAST, use gget. For direct REST API, use pubmed-database.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Interact with Azure DevOps repositories, pull requests, and APIs using the AZURE_DEVOPS_TOKEN environment variable. Use when working with code hosted on Azure DevOps or managing Azure DevOps resources.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Unified messaging via three access tiers โ MCP (live API), beeper-cli (authenticated CLI), and direct SQLiteโDuckDB (full archive). Search, analyze, and act across all networks.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
AWS SSO discovery, configuration, and terminal usage
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Hopf bifurcation detection for dynamical system state transitions with GF(3) phase portraits
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Interact with Axiom.trade -- a Y Combinator-backed (W25) DEX aggregator and trading platform on Solana with Hyperliquid perpetuals integration. Covers API architecture, multi-wallet management, MEV protection, token discovery, and wallet tracking.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Suite of tools for creating elaborate, multi-component claude.ai HTML artifacts using modern frontend web technologies (React, Tailwind CSS, shadcn/ui). Use for complex artifacts requiring state management, routing, or shadcn/ui components - not for simple single-file HTML/JSX artifacts.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Assets skill
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
World B Skill
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Measure encoding/decoding throughput across Syrup implementations. This skill provides bandwidth benchmarks for comparing serialization performance.
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Unified messaging via Beeper Desktop MCP. Search chats, send messages, manage conversations across all networks (iMessage, WhatsApp, Signal, Telegram, Discord, Slack, etc.)
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence
ํ๊ตญ์ด ์์ฝ์ ์ค๋น ์ค์ ๋๋ค. ์๋ฌธ ์ค๋ช ์ ํ์ํ๊ณ ์์ต๋๋ค.
๋ณธ์ธ ๊ณ์ ์ธ๊ฐ์? GitHub๋ฅผ ์ฐ๋ํ๋ฉด ํฌ๋ฆฌ์์ดํฐ ํ์ด์ง์ ๋ชจ์ ์ ์์ต๋๋ค (์ผ๋ณธ์ด)