Skill Claude CodeCodex
Search, read, and ask grounded questions about the DVCon conference paper corpus (dvcon-proceedings.org) via the local dvcon MCP server. Use whenever the user asks about DVCon papers, EDA/verification methodology papers, wants to search the proceedings archive, summarize a paper, compare selected papers, look up…
Plugin Claude Code
Plugins for the DVCon Proceedings Intelligence Portal — search, read, and chat with the dvcon-proceedings.org paper corpus via an MCP server and agent skill.
Instructions file CodexOpenCode
Instructions for hevangel/dvcon_ai_library, covering agents.md, purpose, user preferences, current architecture and key product requirements.
Instructions file
Instructions for hevangel/dvcon_ai_library, a project described as: DVCON AI library.
Plugin Claude Code
Search, read, and chat with the DVCon conference paper corpus via the dvcon MCP server, a dvcon-papers skill, and a /dvcon slash command.
Command
Search the DVCon paper corpus and answer with grounded citations. Pass a query, optional year/location filters, or nothing to browse.
Skill Claude CodeCodex
Submit papers to the DVCon (Design & Verification Conference) U.S. call for papers via the Oxford Abstracts portal — both the extended-abstract stage and the later full-paper stage — by driving a real browser with the playwright-cli command-line tool. Also converts a DVCon paper written in Markdown into a…
Plugin Claude Code
Batch Review — collaborative code review with a web UI. Browse diffs, leave structured comments anchored to line ranges, and save review reports. Ships a token-efficient CLI for coding agents plus a web UI for human reviewers.
Plugin Claude Code
Collaborative code review CLI — browse diffs, leave structured comments, and save review reports. Token-efficient alternative to the MCP server: agents invoke batch-review via their shell tool instead of loading tool schemas into context.
Skill Claude CodeCodexCursor
Extract Cursor CLI coding agent harness version and exact token usage for sessionhistory entries. Use when preparing sessionhistory files, filling Agent harness or Token usage sections, or when the user asks how to record version and tokens accurately.
MCP server Claude CodeCodexCursor
MCP server "batch-review" as configured in hevangel/batch-review-mcp. Runs locally from the batch-review Python package.
MCP server Claude CodeCodexCursor
Lets the agent drive a real browser: open pages, click, type, take screenshots and read the accessibility tree, using Playwright. Runs locally from the @playwright/mcp npm package.
Instructions file CodexOpenCode
AGENTS.md instructions for hevangel/batch-review-mcp, covering batch review mcp server, basic standards, cli client mode, claude code plugin and protocol compatibility.
Command
Start a batch code review session — browse diffs, add comments, save the review.
Skill Claude CodeCodex
Collaborative code review using the batch-review CLI. Use whenever the user asks to review code, review a PR, review changes/diffs, leave code review comments, batch-review files, inspect git changes, or do a structured code walkthrough — even if they don't explicitly say "batch-review". Drives a shared web UI where…
MCP server Claude CodeCodexCursor
MCP server "batch-review-mcp" as configured in hevangel/batch-review-mcp. Launched with https://github.com/hevangel/batch-review-mcp/releases/download/v1.2.0/batch-revi.