smithery/parcadei

1

llm-tuning-patterns LLM Tuning Patterns

smithery/parcadei

0

2

loogle-search Search Mathlib for lemmas by type signature pattern

smithery/parcadei

0

3

math Unified math capabilities - computation, solving, and explanation. I route to the right tool.

smithery/parcadei

0

4

math-help Guide to the math cognitive stack - what tools exist and when to use each

smithery/parcadei

0

5

math-intuition-builder Develops mathematical understanding through examples, visualization, and analogy

smithery/parcadei

0

6

math-model-selector Routes problems to appropriate mathematical frameworks using expert heuristics

smithery/parcadei

0

7

math-progress-monitor Metacognitive check-ins during problem solving - detects when to pivot or persist

smithery/parcadei

0

8

math-router Deterministic router for math cognitive stack - maps user intent to exact CLI commands

smithery/parcadei

0

9

matrices Problem-solving strategies for matrices in linear algebra

smithery/parcadei

0

10

mcp-chaining Research-to-implement pipeline chaining 5 MCP tools with graceful degradation

smithery/parcadei

0

11

mcp-scripts MCP Script Rules

smithery/parcadei

0

12

modular-arithmetic Problem-solving strategies for modular arithmetic in graph number theory

smithery/parcadei

0

13

modular-code Modular Code Organization

smithery/parcadei

0

14

morph-apply Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)

smithery/parcadei

0

15

morph-search Fast codebase search via WarpGrep (20x faster than grep)

smithery/parcadei

0

16

mot System health check (MOT) for skills, agents, hooks, and memory

smithery/parcadei

0

17

natural-transformations Problem-solving strategies for natural transformations in category theory

smithery/parcadei

0

18

nia-docs Search library documentation and code examples via Nia

smithery/parcadei

0

19

no-task-output Never Use TaskOutput

smithery/parcadei

0

20

open-sets Problem-solving strategies for open sets in topology

smithery/parcadei

0

21

operator-theory Problem-solving strategies for operator theory in functional analysis

smithery/parcadei

0

22

parallel-agent-contracts Parallel Agent Type Contracts

smithery/parcadei

0

23

pint-compute Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic

smithery/parcadei

0

24

planning-agent Planning agent that creates implementation plans and handoffs from conversation context

smithery/parcadei

0

25

predicate-logic Problem-solving strategies for predicate logic in mathematical logic

smithery/parcadei

0

26

premortem Identify failure modes before they occur using structured risk analysis

smithery/parcadei

0

27

prime-numbers Problem-solving strategies for prime numbers in graph number theory

smithery/parcadei

0

28

propositional-logic Problem-solving strategies for propositional logic in mathematical logic

smithery/parcadei

0

29

prove Formal theorem proving with research, testing, and verification phases

smithery/parcadei

0

30

qlty-check Code quality checks, formatting, and metrics via qlty CLI

smithery/parcadei

0

31

qlty-during-development QLTY During Development

smithery/parcadei

0

32

recall-reasoning Search past reasoning for relevant decisions and approaches

smithery/parcadei

0

33

reference-sdk Check reference SDK implementations using btca ask

smithery/parcadei

0

34

repo-research-analyst Analyze repository structure, patterns, conventions, and documentation for understanding a new codebase

smithery/parcadei

0

35

repoprompt Use RepoPrompt CLI for token-efficient codebase exploration

smithery/parcadei

0

36

research-agent Research agent for external documentation, best practices, and library APIs via MCP tools

smithery/parcadei

0

37

residues Problem-solving strategies for residues in complex analysis

smithery/parcadei

0

38

resume-handoff Resume work from handoff document with context analysis and validation

smithery/parcadei

0

39

review Comprehensive code review workflow - parallel specialized reviews → synthesis

smithery/parcadei

0

40

rings Problem-solving strategies for rings in abstract algebra

smithery/parcadei

0

41

root-finding Problem-solving strategies for root finding in numerical methods

smithery/parcadei

0

42

router-first-architecture Router-First Architecture

smithery/parcadei

0

43

rudin-real-complex-analysis Problem-solving with Rudin's Real and Complex Analysis textbook

smithery/parcadei

0

44

search-hierarchy Search Tool Hierarchy

smithery/parcadei

0

45

search-router Choose the right search tool for each query type

smithery/parcadei

0

46

search-tools Search Tool Hierarchy

smithery/parcadei

0

47

second-order-odes Problem-solving strategies for second order odes in odes pdes

smithery/parcadei

0

48

security Security audit workflow - vulnerability scan → verification

smithery/parcadei

0

49

shapely-compute Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates

smithery/parcadei

0

50

sigma-algebras Problem-solving strategies for sigma algebras in measure theory

smithery/parcadei

0