plurigrid/asi - 2ページ

catcolab-decapodes

CatColab Decapodes - Discrete Exterior Calculus for PDE modeling on meshes via Decapodes.jl integration. Model physics equations compositionally with automatic code generation.

原文の言語: 英語

catcolab-ologs

CatColab Ologs (Ontology Logs) - category-theoretic knowledge representation where objects are concepts and morphisms are functional relationships. Foundation for database schemas and conceptual modeling.

原文の言語: 英語

catcolab-petri-nets

CatColab Petri Nets - concurrent system modeling via places (states), transitions (events), and token flow. Foundation for process algebra, workflow, and chemical reaction networks.

原文の言語: 英語

catcolab-regulatory-networks

CatColab Regulatory Networks - signed graphs for molecular biology modeling gene regulatory networks with positive (activating) and negative (inhibiting) edges.

原文の言語: 英語

catcolab-schemas

CatColab Schemas - database schema modeling distinguishing entities (tables) from attributes (columns). Foundation for ACSets (Attributed C-Sets) and AlgebraicJulia data structures.

原文の言語: 英語

catcolab-stock-flow

CatColab Stock-and-Flow Diagrams - epidemiological and ecological modeling with stocks (accumulations), flows (rates), and mass-action ODE semantics for SIR models and population dynamics.

原文の言語: 英語

cc-trace

Intercept and debug Claude Code API requests using mitmproxy. Inspect system prompts, tool definitions, token usage, and streaming responses. Triggers: cc-trace, mitmproxy, API interception, Claude Code debugging, traffic inspection.

原文の言語: 英語

chain-of-states

CoSProver framework for translating informal proofs to Lean4 via intermediate formal proof states.

原文の言語: 英語

chromatic-peptide-samovar

A **samovar** (самовар) keeps water hot indefinitely through self-contained combustion.

原文の言語: 英語

citation-management

Comprehensive citation management for academic research. Search Google Scholar and PubMed for papers, extract accurate metadata, validate citations, and generate properly formatted BibTeX entries. This skill should be used when you need to find papers, verify…

原文の言語: 英語

citizen-lab-forensics

Digital forensics techniques for detecting device compromise, analyzing malware indicators, and investigating targeted surveillance. Based on methodologies from Citizen Lab's Pegasus Project and Predator investigations.

原文の言語: 英語

clinpgx-database

Access ClinPGx pharmacogenomics data (successor to PharmGKB). Query gene-drug interactions, CPIC guidelines, allele functions, for precision medicine and genotype-guided dosing decisions.

原文の言語: 英語

clj-kondo-3color

clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation in Clojure code analysis.

原文の言語: 英語

code-documentation

Writing effective code documentation - API docs, README files, inline comments, and technical guides. Use for documenting codebases, APIs, or writing developer guides.

原文の言語: 英語

coequalizers

Quotient redundant skill paths via coequalizers, preserving GF(3) conservation

原文の言語: 英語

content-research-writer

Assists in writing high-quality content by conducting research, adding citations, improving hooks, iterating on outlines, and providing real-time feedback on each section. Transforms your writing process from solo effort to collaborative partnership.

原文の言語: 英語

coq-of-rust

Formal verification of Rust programs via translation to Coq/Rocq.

原文の言語: 英語

coqgym

Machine learning environment for automated theorem proving with Coq.

原文の言語: 英語

counter-surveillance

Assess and harden operational security (OPSEC) posture for applications, communications, and infrastructure. Identifies surveillance exposure, metadata leakage, and tracking vectors. Use when auditing privacy-sensitive applications, reviewing OPSEC for threat…

原文の言語: 英語

covariant-modification

Unified skill modification with covariant transport, Darwin Gödel Machine evolution, and MCP Tasks self-rewriting. GF(3) conserved.

原文の言語: 英語

ctp-yoneda

CTP-Yoneda Skill

原文の言語: 英語

cue-lang

CUE: Lattice-based configuration language with unification, constraint validation, and OpenAPI/JSON Schema generation

原文の言語: 英語

dafny-formal-verification

Formally verified SPI colors, Galois connections, and p-adic number theory in Dafny

原文の言語: 英語

datacommons-client

Work with Data Commons, a platform providing programmatic access to public statistical data from global sources. Use this skill when working with demographic data, economic indicators, health statistics, environmental data, or any public datasets available…

原文の言語: 英語

debug-buttercup

Debugs the Buttercup CRS (Cyber Reasoning System) running on Kubernetes. Use when diagnosing pod crashes, restart loops, Redis failures, resource pressure, disk saturation, DinD issues, or any service misbehavior in the crs namespace. Covers triage, log…

原文の言語: 英語

deep-analysis

Performs focused, depth-first investigation of specific reverse engineering questions through iterative analysis and database improvement. Answers questions like "What does this function do?", "Does this use crypto?", "What's the C2 address?", "Fix types in…

原文の言語: 英語

depth-search

Deep multi-source research combining academic MCPs (arxiv, semantic-scholar, paper-search, deepwiki), Exa semantic search, and local ~/.topos knowledge base. Use for comprehensive research requiring multiple sources. NEVER fall back to web_search - ask user…

原文の言語: 英語

derivational-coalgebra

The highest tension in skill space (d=2.131):

原文の言語: 英語

did-passport-interleave-head

Formal bridge between W3C Decentralized Identifiers (did:wba, ANP) and passport.gay (SplitMix64 MAC→trit trajectory→GF(3) fingerprint→QRTP air-gap). Establishes a bisimulation relation between the online DID resolution model and the offline fountain-coded QR…

原文の言語: 英語

discopy-functor

Monoidal functor evaluation for string diagrams. DisCoPy functors map diagrams to tensor networks, Python code, and quantum circuits.

原文の言語: 英語

discopy-operads

DiscoPy Operads Skill

原文の言語: 英語

discopy

DisCoPy: Python library for computing with string diagrams - monoidal categories, quantum circuits, QNLP, operads, and tensor networks.

原文の言語: 英語

documentation-indexing

Provide **full-text search, semantic indexing, and relevance ranking** across all documentation:

原文の言語: 英語

docx

Comprehensive document creation, editing, and analysis with support for tracked changes, comments, formatting preservation, and text extraction. When Claude needs to work with professional documents (.docx files) for creating new documents, modifying content,…

原文の言語: 英語

e847c0

#E847C0

原文の言語: 英語

embedded-medical-device

Firmware development for STM32, nRF52840, and RP2040 medical devices with BLE/USB communication, IEEE 11073 protocols, and secure data handling. When building point-of-care devices (pulse oximeters, BP monitors, glucose meters), embedded gateways, or medical…

原文の言語: 英語

ensembl-database

Query Ensembl genome database REST API for 250+ species. Gene lookups, sequence retrieval, variant analysis, comparative genomics, orthologs, VEP predictions, for genomic research.

原文の言語: 英語

entropy-regularized-inference

- User asks about connecting active inference to practical RL

原文の言語: 英語

exploratory-data-analysis

Perform comprehensive exploratory data analysis on scientific data files across 200+ file formats. This skill should be used when analyzing any scientific data file to understand its structure, content, quality, and characteristics. Automatically detects file…

原文の言語: 英語

file-organizer

Intelligently organizes your files and folders across your computer by understanding context, finding duplicates, suggesting better structures, and automating cleanup tasks. Reduces cognitive load and keeps your digital workspace tidy without manual effort.

原文の言語: 英語