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.

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

Zero-context verification that every bibliographic entry in a paper is real, correctly attributed, and used in a context the cited paper actually supports. Catches hallucinated authors, wrong years, fabricated venues, title drift, phantom DOIs, and wrong-context citations. Run before submission after the LaTeX draft and bib file are finalized.

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.

Simulates a five-seat international journal peer review panel with dynamic reviewer personas covering journal fit, methodology, domain expertise, cross-disciplinary views and devil's advocacy. Supports full review, re-review verification, quick assessment, methodology focus and reviewer calibration.

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.