smithery/plurigrid

1

abductive-repl Hypothesis-Test Loops via REPL for Exploratory Abductive Inference with Gay.jl colors

smithery/plurigrid

0

2

academic-research Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX…

smithery/plurigrid

0

3

acsets-hatchery Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with …

smithery/plurigrid

0

4

acsets-relational-thinking ACSets (Attributed C-Sets) for categorical database design and DPO rewriting

smithery/plurigrid

0

5

active-inference-robotics Bridge active inference theory with robot control using K-Scale's JAX/MuJoCo stack.

smithery/plurigrid

0

6

active-interleave Interleaves context from recently active Claude/Amp threads into current activity via random walk.

smithery/plurigrid

0

7

agent-o-rama Layer 4: Learning and Pattern Extraction for Cognitive Surrogate Systems

smithery/plurigrid

0

8

algebraic-rewriting Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset d…

smithery/plurigrid

0

9

algorand-vulnerability-scanner Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, …

smithery/plurigrid

0

10

alice Primary Aptos testnet wallet for transaction origination. Use when initiating test transactions.

smithery/plurigrid

0

11

alife Comprehensive Artificial Life skill combining ALIFE2025 proceedings, classic texts (Axelrod, Epstein-Axtell), ALIEN s…

smithery/plurigrid

0

12

amp-api-awareness Extract hidden Amp API patterns from local thread data via DuckDB analysis

smithery/plurigrid

0

13

amp-skill Interruption pattern detection and retrieval from Amp thread history. Use for analyzing tool rejection patterns and i…

smithery/plurigrid

0

14

amp-team-usage Amp Team Usage

smithery/plurigrid

0

15

anoma-intents Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation

smithery/plurigrid

0

16

aptos-gf3-society Aptos GF(3) Society Skill

smithery/plurigrid

0

17

aqua-voice-malleability Adversarial malleability analysis of Aqua Voice Electron app with IPC injection, WebSocket interception, and braided …

smithery/plurigrid

0

18

aristotle-lean IMO Gold Medal level Lean4 theorem proving via Harmonic API

smithery/plurigrid

0

19

asi-agent-orama ASI Agent-O-Rama Skill

smithery/plurigrid

0

20

asi-polynomial-operads ASI skill integrating polynomial functors, free monad/cofree comonad module action, operadic decomposition, and open …

smithery/plurigrid

0

21

assembly-index Lee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.

smithery/plurigrid

0

22

atheris Python fuzzing with Atheris for discovering vulnerabilities in Python code.

smithery/plurigrid

0

23

atproto-ingest Layer 1 - Data Acquisition for Bluesky/AT Protocol social graph and content.

smithery/plurigrid

0

24

attractor Invariant set attracting nearby trajectories

smithery/plurigrid

0

25

b World B Skill

smithery/plurigrid

0

26

babashka Clojure scripting without JVM startup.

smithery/plurigrid

0

27

babashka-clj Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.

smithery/plurigrid

0

28

bafishka 🐟 Rust-native Fish shell-friendly file operations with Steel-backed SCI Clojure evaluation.

smithery/plurigrid

0

29

bdd-mathematical-verification BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula ext…

smithery/plurigrid

0

30

beeper-mcp Unified messaging via Beeper Desktop MCP. Search chats, send messages, manage conversations across all networks (iMes…

smithery/plurigrid

0

31

behaviour-surprisal-analysis Behaviour Surprisal Analysis

smithery/plurigrid

0

32

bidirectional-lens-logic Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) c…

smithery/plurigrid

0

33

birkhoff-average Time average of observable along trajectory

smithery/plurigrid

0

34

bisimulation-game Bisimulation game for resilient skill dispersal across AI agents with GF(3) conservation and observational bridge typ…

smithery/plurigrid

0

35

bluesky-jetstream Bluesky Jetstream Firehose Skill

smithery/plurigrid

0

36

bmorphism-diagrams bmorphism Diagrams

smithery/plurigrid

0

37

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

smithery/plurigrid

0

38

bmorphism-video-interleave bmorphism Video Archive Interleave

smithery/plurigrid

0

39

bob World BOB Skill

smithery/plurigrid

0

40

browser-history-acset Browser History ACSet

smithery/plurigrid

0

41

buberian-relations Buberian Relations Skill

smithery/plurigrid

0

42

burp-suite Web application security testing with Burp Suite.

smithery/plurigrid

0

43

c World C Skill

smithery/plurigrid

0

44

cairo-vulnerability-scanner Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 mess…

smithery/plurigrid

0

45

calendar-acset Google Calendar management via CalendarACSet. Transforms scheduling operations into GF(3)-typed Interactions, routes …

smithery/plurigrid

0

46

cantordust-viz Binary visualization for human pattern recognition - Ghidra plugin by Chris Domas (xoreaxeaxeax)

smithery/plurigrid

0

47

captp CapTP: Capability Transfer Protocol

smithery/plurigrid

0

48

cargo-fuzz Rust fuzzing with cargo-fuzz (libFuzzer).

smithery/plurigrid

0

49

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

smithery/plurigrid

0

50

cats-for-ai cats.for" (Categories for AI)

smithery/plurigrid

0