Agent skills for Zed

Search for Jira tickets using JQL or text

Apply professional font and color themes to artifacts including slides, docs, reports, and HTML landing pages.

Safely update a Weaverse Pilot theme to the latest version — detects current version, fetches release diffs, plans changes…

Interface with interactive theorem provers for mechanized verification

VS-Enhanced Theoretical Framework Architect with Critique & Visualization Full VS 5-Phase process: Modal theory avoidance, Long-tail…

Use when turning a linguistic pattern into a theoretically grounded claim for a Language (LSA) manuscript — an analysis with explicit…

Use when a Journal of Environmental Economics and Management (JEEM) manuscript needs a resource/pollution-control or dynamic-resource…

Use when the model or conceptual frame is the bottleneck for a Journal of Economic Geography (JEG) manuscript — NEG / quantitative-spatial…

Use when a Journal of Health Economics (JHE) manuscript needs a model — insurance demand/selection, provider behavior under a payment…

Use when the decision-theoretic representation is the bottleneck for a Journal of Risk and Uncertainty (JRU) manuscript — axioms…

Use when a development model is needed to interpret an empirical result or to run a policy counterfactual for a The World Bank Economic…

Use when building the theoretical argument of a Social Forces (SF) manuscript into a portable, general-audience contribution — whether the…

Use when building the conceptual argument of a New Media & Society (NM&S) manuscript — turning a platform finding into a portable concept…

Use when building the conceptual apparatus that organizes a Progress in Human Geography (PiHG) review essay — the load-bearing concept…

Use when a Quarterly Journal of Economics (QJE) manuscript has a credible empirical result but no conceptual frame — to add the model or…

Use when building the theoretical and conceptual framework of a Journal of Marriage and Family (JMF) manuscript.

Use when the theoretical argument is the bottleneck for a Journal of Management (JOM) manuscript — building constructs, mechanisms…

Use when building the theoretical model and hypotheses for a Journal of Applied Psychology (JAP) manuscript.

Use when building the conceptual core of a Journal of Marketing Research (JMR) manuscript — deriving behavioral hypotheses with a testable…

Use when a Journal of Political Economy (JPE) manuscript needs an explicit economic model or mechanism — either a theory paper's model, or…

Use when the economic mechanism, analytical model, or testable predictions are the bottleneck for a Review of Accounting Studies (RAST)…