Skill UI

This skill generates fully valid Microsoft Threat Modeling Tool (.tm7) files. It translates complex system architectures, including components, data stores, data flows, and external actors, into the required WCF DataContractSerializer XML format. Use it for structured STRIDE threat modeling outputs compatible with Microsoft's official tool.

This guide outlines the rigorous process for authors responding to a "revise" verdict at top-tier academic conferences. It teaches authors how to treat reviewer feedback as a formal contract, manage a tight revision timeline, structure necessary experiments, and write a highly traceable change document that explicitly addresses every required point.

A detailed guide for revising academic papers, specifically tailored for systems and database conferences like VLDB. It emphasizes establishing a strong 'page-one contract,' quantifying all performance claims with scoped metrics and baselines, and maintaining rigorous candor regarding design trade-offs and terminology throughout the manuscript.

This skill guides legal scholars in transforming a broad legal topic into a single, sharp, contestable, and generalist thesis statement suitable for top-tier law journals. It forces the definition of the contribution's nature—whether descriptive, doctrinal, theoretical, or normative—and structures the argument into a clear, defensible 'contribution contract' for academic editors.

A comprehensive audit guide for authors submitting papers to the ACM Symposium on Theory of Computing (STOC). This guide details the critical requirements, including the single-column 11-point format, the double-blind anonymity rules, the importance of the abstract, table of contents, and the first twelve pages (the 'reading contract'). It covers formatting, publication policies, and the submission workflow to maximize review impact.

A specialized skill for detecting discrepancies (drift) between declared API contracts (such as GraphQL schemas, OpenAPI specs, and RPC manifests) and the actual behavior of live backend handlers. It is used to identify hidden operations, contract mismatches, or vulnerabilities resulting from schema evolution, versioning skew, or implementation gaps. Must be used after initial sandbox assumptions are established.

Adversarial stress-test for legal texts (contract, statute, regulation, or judicial opinion) that finds ambiguous seams and turns each into a concrete dispute scenario with both sides' arguments, likely outcome, and a fix. Ideal for pressure-testing, red-teaming, auditing, or identifying loopholes and drafting problems in legal documents.

Draft, review, and stress-test arbitration clauses in commercial contracts. Produces clean clause text, concise reviews, severity-rated issue lists, proposed fixes, and optional reasoning or negotiation arguments. Suitable for non-specialists while supporting deeper analysis.

Expert French legal assistant for legal research, consultations, contract and document analysis, drafting, counter-arguments, reference verification and harmonization. Supports French, EU and European convention law and produces structured conversational answers or Word documents. Includes a strict anti-hallucination citation protocol.

Skill for analyzing and drafting contracts under Polish law, specializing in B2B, IP and IT agreements (body leasing, NDA, SaaS, copyright transfer). Created by a Polish law firm, it applies KTZR standards, risk audits, and clause editing, always requiring lawyer verification.

Establishes project quality standards as a written contract to prevent agents from lowering them. Interviews users on key dimensions, sets sane defaults, and records constraints in CONSTRAINTS.md. Monitors for weakened bars like suppressed checks or skipped tests. Use when defining quality gates, setting coverage thresholds, or ensuring autonomous agents adhere to standards.

Guides full contract lifecycle review from intake through playbook normalization, clause review, deviation scoring, negotiation planning, approvals, QA, and next actions. Covers legal, business, operational, compliance, privacy, security, technology, and AI risks across NDAs, SaaS agreements, DPAs, procurement and commercial contracts.