Skill UI

Guides an agent to critically review a written implementation plan, execute every outlined step with required verifications, and hand off completion via finishing-a-development-branch procedures, ensuring blockers prompt clarification.

Automates Gmail management by creating filters that label, star, or categorize incoming messages based on specific criteria and keeps verification steps in one workflow.

This technique leverages structured data from music awards (like Grammy nominations and wins) to act as powerful search anchors. By extracting clues such as the award category, year, and status (nominated/won), users can cross-reference potential musicians against verifiable award databases. This method significantly narrows down the pool of candidates, allowing for highly accurate identification and verification of artists.

Search OpenAlex, PubMed, and Google Scholar for papers, extract accurate metadata, validate citations, and generate properly formatted BibTeX entries. Ideal for literature reviews, reference verification, DOI-to-BibTeX conversion, and bibliography building.

Prepare journal manuscripts, conference papers, posters, and grant documents with venue-specific formatting guidance, verification-first rules, and bundled LaTeX scaffolds.

This technique is designed for the final verification stage when analyzing a candidate TV series. Instead of accepting initial matches, users must perform targeted searches combining the show name and specific character details (e.g., birth year, specific plot event, relationship). This ensures that the candidate show satisfies all complex constraints, eliminating false positives and confirming the accuracy of the plot details.

Guides builders to verify task delivery by collecting required evidence such as CLI output, screenshots, or DOM snapshots, then submitting artifacts for review. Useful when a task must self-certify against a verify plan.

Use this comprehensive guide to manage the entire project lifecycle for a CAV (Computer Aided Verification) paper submission. It provides a backward-planning timeline, covering topics from initial concept fitting and evidence locking to the two-stage review process, optional artifact evaluation, and final camera-ready submission. Essential for managing technical academic deadlines and mitigating common failure modes.

This comprehensive preflight checklist is designed for authors submitting manuscripts to top-tier academic journals. It guides users through critical compliance areas, including formatting adherence, double-blind anonymization techniques, reference management, word count verification, and the preparation of necessary supplementary files (e.g., funding acknowledgments). Use it to ensure your paper meets the rigorous standards of professional academic publishing.

This comprehensive guide provides a detailed, step-by-step checklist for authors preparing manuscripts for high-level academic journals, specifically modeled after the requirements of China Rural Economy. It covers all critical stages, including formatting standards, double-blinding rules, reference citation completeness, and rigorous empirical data verification, ensuring submissions meet professional scholarly standards.

A detailed guide for planning and executing research submissions for top-tier theoretical computer science conferences (STOC/FOCS). It provides a backward-planning timeline, covering all milestones from initial result completion (T-16 weeks) through drafting, verification, submission, peer review management, and final presentation preparation.

A verification-first guide for researching and citing legal documents related to the Special Panels for Serious Crimes (SPSC) in Timor-Leste. It outlines a rigorous, multi-step process for verifying judgments, indictments, and foundational UNTAET regulations, ensuring citations trace back to authoritative Tier 1 sources for post-conflict accountability and transitional justice.