bafishka
免费🐟 Rust-native Fish shell-friendly file operations with Steel-backed SCI Clojure evaluation.
中文简介正在准备中。当前显示原文说明。
🐟 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
中文简介正在准备中。当前显示原文说明。