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