Build and run the uet RDMA client/server test across the two Linux VMs. Builds the locally-edited code (synced via mutagen) on both the server VM (edavis@172.16.71.42) and client VM (edavis@172.16.71.13) — uet-ref-prov dependency, RDMA apps, and the uprot kmod — ensures the uprot rdma device is up, then runs the ibv_ru_pingpong or ibv_ru_rma test binary on each and reports PASS/FAIL (both sides exit 0) with full client+server output on failure. Use when the user wants to test, run, or verify the uet RDMA app (ibv_ru_pingpong / ibv_ru_rma), or check that changes pass on the VMs. Works from any clone/fork under /Volumes/work/sync/uec.
Build and run the uet client/server test across the two Linux VMs. Builds the locally-edited code (synced via mutagen) on both the server VM (edavis@172.16.71.42) and client VM (edavis@172.16.71.13), runs ./scripts/uet_test.sh on each, and reports PASS/FAIL with full client+server output on failure. Use when the user wants to test, run, or verify the uet app, run the uet_test suite, or check that changes pass on the VMs. Works from any clone/fork under /Volumes/work/sync/uec.
Pull a GitHub PR into a temporary detached git worktree (sibling of the current repo) with the PR's changes left UNSTAGED against the base branch tip, so the diff is visible directly in neovim. Then optionally analyze the PR and produce a description plus a detailed code review. Use when the user wants to review, pull down, check out, or inspect a GitHub PR locally. Takes the PR number as the single argument.
Convert a PDF file to Markdown (with referenced images) in the current directory using docling. Use when the user wants to turn a PDF into markdown or extract a PDF's text/content. Takes the PDF path as the single argument.