Menú
Skills en este repositorio
SkillsMP ha recopilado 2976 skills de plurigrid/asi. Abre una skill para revisar su origen y sus detalles.
plurigrid/asiMostrando 40 de 2976 skills recopiladas.
CatColab Decapodes - Discrete Exterior Calculus for PDE modeling on meshes via Decapodes.jl integration. Model physics equations compositionally with automatic code generation.
Idioma del texto original: inglés
CatColab Ologs (Ontology Logs) - category-theoretic knowledge representation where objects are concepts and morphisms are functional relationships. Foundation for database schemas and conceptual modeling.
Idioma del texto original: inglés
CatColab Petri Nets - concurrent system modeling via places (states), transitions (events), and token flow. Foundation for process algebra, workflow, and chemical reaction networks.
Idioma del texto original: inglés
CatColab Regulatory Networks - signed graphs for molecular biology modeling gene regulatory networks with positive (activating) and negative (inhibiting) edges.
Idioma del texto original: inglés
CatColab Schemas - database schema modeling distinguishing entities (tables) from attributes (columns). Foundation for ACSets (Attributed C-Sets) and AlgebraicJulia data structures.
Idioma del texto original: inglés
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.
Idioma del texto original: inglés
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.
Idioma del texto original: inglés
CoSProver framework for translating informal proofs to Lean4 via intermediate formal proof states.
Idioma del texto original: inglés
A **samovar** (самовар) keeps water hot indefinitely through self-contained combustion.
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
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.
Idioma del texto original: inglés
Access ClinPGx pharmacogenomics data (successor to PharmGKB). Query gene-drug interactions, CPIC guidelines, allele functions, for precision medicine and genotype-guided dosing decisions.
Idioma del texto original: inglés
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation in Clojure code analysis.
Idioma del texto original: inglés
Writing effective code documentation - API docs, README files, inline comments, and technical guides. Use for documenting codebases, APIs, or writing developer guides.
Idioma del texto original: inglés
Quotient redundant skill paths via coequalizers, preserving GF(3) conservation
Idioma del texto original: inglés
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.
Idioma del texto original: inglés
Formal verification of Rust programs via translation to Coq/Rocq.
Idioma del texto original: inglés
Machine learning environment for automated theorem proving with Coq.
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
Unified skill modification with covariant transport, Darwin Gödel Machine evolution, and MCP Tasks self-rewriting. GF(3) conserved.
Idioma del texto original: inglés
CTP-Yoneda Skill
Idioma del texto original: inglés
CUE: Lattice-based configuration language with unification, constraint validation, and OpenAPI/JSON Schema generation
Idioma del texto original: inglés
Formally verified SPI colors, Galois connections, and p-adic number theory in Dafny
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
The highest tension in skill space (d=2.131):
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
Monoidal functor evaluation for string diagrams. DisCoPy functors map diagrams to tensor networks, Python code, and quantum circuits.
Idioma del texto original: inglés
DiscoPy Operads Skill
Idioma del texto original: inglés
DisCoPy: Python library for computing with string diagrams - monoidal categories, quantum circuits, QNLP, operads, and tensor networks.
Idioma del texto original: inglés
Provide **full-text search, semantic indexing, and relevance ranking** across all documentation:
Idioma del texto original: inglés
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,…
Idioma del texto original: inglés
#E847C0
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
Query Ensembl genome database REST API for 250+ species. Gene lookups, sequence retrieval, variant analysis, comparative genomics, orthologs, VEP predictions, for genomic research.
Idioma del texto original: inglés
- User asks about connecting active inference to practical RL
Idioma del texto original: inglés
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…
Idioma del texto original: inglés
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.
Idioma del texto original: inglés