Agent skills for DeepSeek Harness

Use to make an ITCS paper's mathematics independently checkable — complete proofs of every central claim, self-contained definitions…

Use to model the ITCS reviewing pipeline — a program committee plus external reviewers, conceptual-novelty weighting, lightweight…

Use when splitting an ITCS paper's content between the body, the appendix, and the arXiv/ECCC/ePrint full version — deciding by what a…

Use when deciding whether a theoretical-computer-science result belongs at ITCS or should be routed to STOC, FOCS, SODA, CCC, ICALP, TCC…

Use when drafting or revising an ITCS paper's abstract, introduction, and technical presentation so the conceptual innovation lands before…

Item distribution patterns for Valkyrie MoM.

Run tasks in a loop until goals are met — use for iterative refinement, polling, or convergence

Inspect the availability of ML training on a completed Itô compute booking and, when the canonical backend becomes available, hand off an…

Design forms that minimize friction, prevent errors, and guide users to successful completion.

Convert an approved PRD or clear requirements into an implementation-ready technical spec with scope, interfaces, and acceptance criteria.

AWS Bedrock foundation models for generative AI.

AWS Identity and Access Management for users, roles, policies, and permissions.

AWS SNS notification service for pub/sub messaging.

Automates browser interactions for web testing, form filling, screenshots, and data extraction.

Use when publishing local Markdown as a new i讯飞 docx document or updating an approved existing docx document.

Guides authors through the specialized submission, framing, and formatting requirements for the Journal of Shanghai University of Finance…

This skill uses the database-index-advisor plugin to analyze query patterns and recommend optimal database indexes.

This skill automates database backups using the database-backup-automator plugin.

This skill enables Claude to automatically generate comprehensive documentation for existing database schemas using the…

This skill enables Claude to generate realistic test data and database seed scripts for development and testing environments.

This skill uses the stored-procedure-generator plugin to create production-ready stored procedures, functions, triggers, and custom…