plurigrid

The double category of polynomial comonads where:

The English summary is being prepared. Showing the original description.

Coordinated botnet takedown methodologies — sinkholing, infrastructure mapping, legal frameworks, BGP intervention, and post-disruption analysis. Studies Operation Endgame, Badbox 2.0, and emerging blockchain C2 countermeasures. Defensive disruption for authorized law enforcement, CERT, and academic research contexts.

The English summary is being prepared. Showing the original description.

Botnet architecture taxonomy, detection techniques, and defensive analysis. Covers C2 topologies, DGA analysis, fast-flux detection, P2P overlay mapping, blockchain C2, and ML-based traffic fingerprinting. Defensive research for understanding and countering distributed malicious infrastructure.

The English summary is being prepared. Showing the original description.

Web application security testing with Burp Suite.

The English summary is being prepared. Showing the original description.

Buberian Relations Skill

The English summary is being prepared. Showing the original description.

Interactive assistant for intercepting, debugging, analyzing and reviewing Claude Code API requests using mitmproxy. Guides setup, certificate configuration, and active traffic inspection via web or CLI interface. Supports learning Claude Code internals, debugging issues, and optimizing API usage.

The English summary is being prepared. Showing the original description.

bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.

The English summary is being prepared. Showing the original description.

This skill is the **deep interleaving** of the five BKP 2-monad theory skills:

The English summary is being prepared. Showing the original description.

Complement to alice-emacs-mods. Covers what alice does not — ghostel mastery, multi-daemon orchestration, cross-session coordination, debug/recovery harness, REPL-as-dynamical-citizen, QRTP distribution, strobe internals, and the hard-won lessons from spawning and debugging live REPLs under the server daemon. Read alongside alice-emacs-mods; together they tile the total Emacs-mod space on this machine.

The English summary is being prepared. Showing the original description.

Stanford FDCI research bridge connecting Dan Boneh's cryptographic primitives (ZK proofs, BLS signatures, threshold cryptography) with Tim Roughgarden's mechanism design (TFM, MEV mitigation, welfare maximization).

The English summary is being prepared. Showing the original description.

> Formal oracle for behavioral equivalence via bisimulation games. Triggers: behavioral equivalence check, bisimulation game, are two systems equivalent, did a skill update preserve behavior, attacker-defender game, partition refinement, distinguishing trace. >>>>>>> origin/main

The English summary is being prepared. Showing the original description.

Documentation and orchestration for the bmorphism/ies flox environment toolkit

The English summary is being prepared. Showing the original description.

GitHub interactome explorer for bmorphism/plurigrid ecosystem. Maps collaborations across AlgebraicJulia, Topos Institute, Anthropic, and MCP servers. Use for discovering cobordisms between research communities.

The English summary is being prepared. Showing the original description.

Bisimulation game for resilient skill dispersal across AI agents with GF(3) conservation and observational bridge types.

The English summary is being prepared. Showing the original description.

Primary Python tool for 40+ bioinformatics services. Preferred for multi-database workflows: UniProt, KEGG, ChEMBL, PubChem, Reactome, QuickGO. Unified API for queries, ID mapping, pathway analysis. For direct REST control, use individual database skills (uniprot-database, kegg-database).

The English summary is being prepared. Showing the original description.

Community knowledge from bivector.net - GA tutorials, discussions, and best practices

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

This skill integrates **Boxxy sandbox boundary testing** with the complete Trail of Bits firmware extraction methodology. Use this for extracting and analyzing firmware in heavily obfuscated, containerized, or restricted environments.

The English summary is being prepared. Showing the original description.

Sheaves on time categories for compositional temporal reasoning. Bumpus et al. narrative framework with adhesion filter FPT algorithms and Gay.jl color integration.

The English summary is being prepared. Showing the original description.

Rust package manager and build system. Cargo commands, dependency management, and workspace patterns.

The English summary is being prepared. Showing the original description.

Babashka and ClojureScript runtime selection guidance by @borkdude

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

Ranked taxonomy of categorical structures from sets to ∞-topoi with gap analysis and DuckDB integration.

The English summary is being prepared. Showing the original description.

Browser History ACSet

The English summary is being prepared. Showing the original description.