Skill UI

This guide assists researchers in determining the optimal venue for their formal verification project. It helps decide whether the work belongs at TACAS (ETAPS) or a sibling conference (like CAV or VMCAI), depending on the emphasis (tool vs. theory), and guides the selection among the four distinct contribution categories (Research, Tool, Case-study, Demonstration).

This guide provides comprehensive rules for authors submitting research papers to verification experts (TACAS/LNCS). It emphasizes stating the core contribution immediately, explicitly claiming soundness or completeness, supporting empirical claims with fair and reproducible benchmarks, and aligning the paper structure with its specific category (research, tool, case study).

Provides comprehensive guidelines for packaging and submitting research artifacts (datasets, models, code) for major conferences. It details the difference between mere 'existence' (badge verification) and true academic 'reproducibility,' covering archival strategies, web data licensing, takedown resilience, and minimal viable package structure for long-term scholarly impact.

webmcpify is a specialized pipeline designed to make existing web applications agent-ready. It extracts user-facing functionality and exposes it as WebMCP tools, allowing AI agents to interact with the application via structured, reliable tool calls rather than fragile DOM scraping. The tool guides developers through detection, inventory, integration, verification, and healing phases to ensure robust AI interoperability.