plurigrid/asi - Seite 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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

catcolab-regulatory-networks

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

Quellsprache: Englisch

catcolab-schemas

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

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

chain-of-states

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

Quellsprache: Englisch

chromatic-peptide-samovar

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

Quellsprache: Englisch

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…

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

clj-kondo-3color

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

Quellsprache: Englisch

code-documentation

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

Quellsprache: Englisch

coequalizers

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

Quellsprache: Englisch

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.

Quellsprache: Englisch

coq-of-rust

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

Quellsprache: Englisch

coqgym

Machine learning environment for automated theorem proving with Coq.

Quellsprache: Englisch

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…

Quellsprache: Englisch

covariant-modification

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

Quellsprache: Englisch

ctp-yoneda

CTP-Yoneda Skill

Quellsprache: Englisch

cue-lang

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

Quellsprache: Englisch

dafny-formal-verification

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

Quellsprache: Englisch

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…

Quellsprache: Englisch

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…

Quellsprache: Englisch

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…

Quellsprache: Englisch

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…

Quellsprache: Englisch

derivational-coalgebra

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

Quellsprache: Englisch

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…

Quellsprache: Englisch

discopy-functor

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

Quellsprache: Englisch

discopy-operads

DiscoPy Operads Skill

Quellsprache: Englisch

discopy

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

Quellsprache: Englisch

documentation-indexing

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

Quellsprache: Englisch

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,…

Quellsprache: Englisch

e847c0

#E847C0

Quellsprache: Englisch

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…

Quellsprache: Englisch

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.

Quellsprache: Englisch

entropy-regularized-inference

- User asks about connecting active inference to practical RL

Quellsprache: Englisch

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…

Quellsprache: Englisch

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.

Quellsprache: Englisch