Plugins

5 plugins

Project Verification Pipeline

For developers running comprehensive verification pipelines for Laravel or Quarkus projects before PRs or releases.

4 skills · plugin

Task Execution Workflow

Load a plan, execute tasks with verification, and track progress via issues.

10 skills · plugin

Migrate Legacy SDK

Migrate from a legacy SDK to a new version using mapping tables, deprecation patterns, and verification.

3 skills · plugin

Superpowers Sage

Modern WordPress development with Sage, Acorn & Lando. Workflow skills: /architecture-discovery, /plan-generator, /building, /designing, /verifying (+ /architecting compatibility alias), with design tool integration, content modeling, visual verification, and comprehensive hooks.

36 skills · plugin

@brycewang-stanford

Twelve CAV-specific skills for the International Conference on Computer Aided Verification and its Springer LNCS open-access proceedings, grounded in the CAV 2026 (FLoC, Lisbon) call, the LNCS proceedings, i-cav.org, and dblp.

2 skills · plugin

Results for “verification”

3 skills

Academic Pipeline

Orchestrates the full academic research pipeline from exploration to final manuscript, coordinating research, writing, integrity verification, peer review, revision, and finalization stages with user confirmation checkpoints.

36.4k · bundle

More results

Audits a paper draft by tracing every numeric claim and assertion back to result files on disk, flagging untraced, mismatched, stale, uncited, and phantom references.

orchestra-research

Ml Paper Writing

Draft publication-ready ML/AI papers for top conferences (NeurIPS, ICML, ICLR, ACL, AAAI, COLM) by exploring research repositories, structuring arguments, verifying citations via APIs, and formatting submissions.

10.4k · bundle