PEPFlow Workflows

Plugin pepflow-workflows in pepflow-lib/PEPFlow. Commands read from the repo's manifest — 1 month ago.

Skills (5)

• lyap-closed-form

  Derive closed-form Lyapunov coefficients from Block 4 structure, solve symbolic recursions, verify proof identities, and produce a Lyapunov proof notebook. Use when the user asks for /lyap-closed-form, lyap-closed-form, Block 5, closed-form Lyapunov proof, symbolic recursion for V_k, or updating exa

• lyap-define

  Build Lyapunov partial-sum sequences from PEPFlow full-PEP dual certificates and verify their rank profile. Use when the user asks for /lyap-define, lyap-define, Block 3, defining the Lyapunov function, constructing V_k partial sums, or generating examples_peppy/{ALGO_NAME}/state/{ALGO_NAME}_b3.json

• lyap-vectors

  Identify special vectors spanning Lyapunov partial sums and extract coefficient patterns as functions of k. Use when the user asks for /lyap-vectors, lyap-vectors, Block 4, special Lyapunov vectors, low-rank decomposition of V_k, coefficient pattern extraction, or generating examples_peppy/{ALGO_NAM

• pep-full-proof

  Find tight PEPFlow performance guarantees with explicit full-PEP dual certificates, sparse lambda structure, S matrices, and algebraic proof state. Use when the user asks for /pep-full-proof, pep-full-proof, Block 2, full PEP proof, sparse dual certificates, or generating examples_peppy/{ALGO_NAME}/

• pep-implement

  Create or validate a PEPFlow algorithm setup module, initialize the Lyapunov notebook, and run initial numerical convergence checks. Use when the user asks for /pep-implement, pep-implement, Block 1, implementing a new PEPFlow example, creating examples_peppy/{ALGO_NAME}/{ALGO_NAME}_setup.py, or tur

Similar plugins