「csl」の検索結果

Verification-first methodology for the Special Court for Sierra Leone and its Residual Special Court. Citations are verified against rscsl.org and legal-tools.org. Covers Taylor, the AFRC/CDF/RUF cases, the child-soldier and forced-marriage holdings, the head-of-State immunity decision, and the fixed-term (no life) penalty regime. Research aid, not legal advice. Part of the open-source "Skills for International Justice" library — methodology: github.com/jeannesulzer/international-criminal-tribunals-skills

日本語の概要は準備中です。原文の説明を表示しています。

Create ACSL (ANSI/ISO C Specification Language) formal annotations for C/C++ programs. Use this skill when working with formal verification, adding function contracts (requires/ensures), loop invariants, assertions, memory safety annotations, or any ACSL specifications. Supports Frama-C verification and generates comprehensive formal specifications for C/C++ code.

日本語の概要は準備中です。原文の説明を表示しています。

Use when building, writing, refining, or structuring a Higgsfield AI prompt. Covers the MCSLA formula, prompt structure, narrative vs. timestamped formats, and how to write for both text-to-video and image-to-video workflows.

日本語の概要は準備中です。原文の説明を表示しています。

Format citations across academic styles (APA 7, Chicago, Vancouver, IEEE) using CSL processors and R tooling. Convert between citation styles, generate in-text citations and reference lists, and validate formatting against style guides using citeproc, knitcitations, and Quarto's built-in citation engine. Use when rendering a Quarto or R Markdown document with formatted citations, converting a bibliography between citation styles, generating a standalone reference list, or setting up citation infrastructure for a multi-document project.

日本語の概要は準備中です。原文の説明を表示しています。

Use this skill AUTOMATICALLY before writing any Higgsfield prompt. Query the memory databases for relevant past failures and pre-apply known fixes before the user even hits generate. Triggers include: any request to write a Higgsfield prompt, any use of the higgsfield-prompt skill, any mention of generating a video or image on Higgsfield, any MCSLA prompt construction. This skill should run SILENTLY in the background — don't announce it, just apply what's known. If the databases are empty, skip silently and proceed with normal prompt generation.

日本語の概要は準備中です。原文の説明を表示しています。

Advanced Compose visuals - Material 3 Expressive motion physics, AGSL shaders (Android 13+), Canvas/DrawScope generative, graphicsLayer effects.

日本語の概要は準備中です。原文の説明を表示しています。

Use when references must be written, rendered or converted. Checks [@key] citation keys, renders the reference list with a journal CSL via pandoc, converts [N] markers, injects Zotero Word field codes and runs manuscript-DOCX cross-reference QC. Read-only auditing is /verify-refs.

日本語の概要は準備中です。原文の説明を表示しています。

Generate formal specifications including preconditions, postconditions, invariants, and contracts from code or requirements. Use this skill when documenting APIs, creating formal verification annotations, defining function contracts, specifying class invariants, writing design-by-contract code, or preparing code for formal verification. Supports multiple specification languages including JML, ACSL, Dafny, Eiffel contracts, and documentation annotations.

日本語の概要は準備中です。原文の説明を表示しています。

Developing with Zotero: Web API v3 (read/write, file upload, sync, OAuth, item types/fields), the desktop client's JS API, plugin development (7-10), translators (web/import/export/search), and CSL/citeproc-js styles. Use when scripting Zotero or building or debugging a plugin, translator, or citation style.

日本語の概要は準備中です。原文の説明を表示しています。

Use when C or C++ code needs memory-safety or undefined-behavior guarantees proved with CBMC, or ACSL contracts checked with Frama-C Eva or WP. Not for choosing the proof policy: use proof-driven.

日本語の概要は準備中です。原文の説明を表示しています。

Drafts certificates of service (proofs of service) for court filings. Use when a filing must be accompanied by proof that copies were served on all parties or counsel. Covers FRCP Rule 5, state equivalents, ECF/e-service, U.S. mail, hand delivery, and overnight courier methods.

日本語の概要は準備中です。原文の説明を表示しています。

Drafts U.S. executive Change in Control Agreements with double-trigger severance, equity acceleration, and 280G/409A compliance. Use when drafting or negotiating CIC agreements, change in control protections, executive severance in M&A, or golden parachute provisions.

日本語の概要は準備中です。原文の説明を表示しています。

Drafts IRC 664–compliant Charitable Remainder Trust agreements (CRAT/CRUT), covering payout math, remainder qualification, trustee powers, and tax compliance. Use when drafting a CRT, CRAT, CRUT, unitrust, annuity trust, or charitable remainder planning document, or when ensuring IRC 664 compliance.

日本語の概要は準備中です。原文の説明を表示しています。

Drafts a Petition for Writ of Certiorari to the U.S. Supreme Court under Rules 10, 13, 14, and 33. Enforces Rule 10 criteria (circuit splits, precedent conflicts, important federal questions), jurisdictional verification under 28 U.S.C. §§ 1254/1257, timeliness, document structure, and booklet formatting. Use when seeking discretionary Supreme Court review, filing a cert petition, or drafting a writ of certiorari.

日本語の概要は準備中です。原文の説明を表示しています。

为蚂蚁社保个人用户处理“创业担保贷款资格初筛”，通过必要信息采集、办理地现行官方政策核验和结构化结论，输出条件、材料、办理路径、计算或风险提示。Use when the user asks about 创业担保贷款资格初筛、就业创业与社保补贴，或需要判断相关资格、金额、连续记录、办理步骤和失败原因。所有变化性政策必须核对地区、适用时间和官方原文；不得承诺资格审核、待遇、落户、购房、入学或补贴结果。

日本語の概要は準備中です。原文の説明を表示しています。

为蚂蚁社保核心用户处理“非上市公司股权奖励税务路径”，面向有奖金、股权激励、顾问费、稿酬或境外收入的一线城市高收入人群，通过必要信息采集、办理地当前有效官方政策核验和结构化结论，输出条件、金额、材料、行动步骤和风险边界。Use when the user asks about 非上市公司股权奖励税务路径、奖金股权与多元收入，或需要判断相关资格、费用、记录连续性、办理路径和失败原因。变化性政策必须核对地区、适用时间和官方原文，不得承诺审核、待遇、理赔、入学、购房、补贴或税务结果。

日本語の概要は準備中です。原文の説明を表示しています。

为蚂蚁社保核心用户处理“跨省通勤人员工伤责任提示”，面向在北京、上海、广州、深圳等城市之间工作、居住或迁移的中高收入家庭，通过必要信息采集、办理地当前有效官方政策核验和结构化结论，输出条件、金额、材料、行动步骤和风险边界。Use when the user asks about 跨省通勤人员工伤责任提示、双城工作与家庭迁移，或需要判断相关资格、费用、记录连续性、办理路径和失败原因。变化性政策必须核对地区、适用时间和官方原文，不得承诺审核、待遇、理赔、入学、购房、补贴或税务结果。

日本語の概要は準備中です。原文の説明を表示しています。

为蚂蚁社保核心用户处理“上市公司股权激励年度汇算核验”，面向有奖金、股权激励、顾问费、稿酬或境外收入的一线城市高收入人群，通过必要信息采集、办理地当前有效官方政策核验和结构化结论，输出条件、金额、材料、行动步骤和风险边界。Use when the user asks about 上市公司股权激励年度汇算核验、奖金股权与多元收入，或需要判断相关资格、费用、记录连续性、办理路径和失败原因。变化性政策必须核对地区、适用时间和官方原文，不得承诺审核、待遇、理赔、入学、购房、补贴或税务结果。

日本語の概要は準備中です。原文の説明を表示しています。

为蚂蚁社保核心用户处理“知识产权成果归属条款核验”，面向咨询顾问、设计师、程序员、自媒体人等自由职业者，通过必要信息采集、办理地当前有效官方政策核验和结构化结论，输出条件、金额、材料、行动步骤和风险边界。Use when the user asks about 知识产权成果归属条款核验、自由职业合同与回款，或需要判断相关资格、费用、记录连续性、办理路径和失败原因。变化性政策必须核对地区、适用时间和官方原文，不得承诺审核、待遇、理赔、入学、购房、补贴或税务结果。

日本語の概要は準備中です。原文の説明を表示しています。

为蚂蚁社保个人用户处理“工伤医疗费用结算”，通过必要信息采集、办理地现行官方政策核验和结构化结论，输出条件、材料、办理路径、计算或风险提示。Use when the user asks about 工伤医疗费用结算、失业工伤与职业保障，或需要判断相关资格、金额、连续记录、办理步骤和失败原因。所有变化性政策必须核对地区、适用时间和官方原文；不得承诺资格审核、待遇、落户、购房、入学或补贴结果。

日本語の概要は準備中です。原文の説明を表示しています。

Drafts filing-ready Annual Reports for State Charity Bureaus with certified financials, governance disclosures, and required attachments. Extracts organizational, financial, and programmatic data from uploaded documents, researches state-specific filing requirements, and produces a penalty-of-perjury-certified report. Use when drafting charity bureau annual reports, nonprofit compliance filings, charitable solicitation renewals, or state charity registration renewals.

日本語の概要は準備中です。原文の説明を表示しています。

为蚂蚁社保核心用户处理“离职前后股权激励纳税归属判断”，面向有奖金、股权激励、顾问费、稿酬或境外收入的一线城市高收入人群，通过必要信息采集、办理地当前有效官方政策核验和结构化结论，输出条件、金额、材料、行动步骤和风险边界。Use when the user asks about 离职前后股权激励纳税归属判断、奖金股权与多元收入，或需要判断相关资格、费用、记录连续性、办理路径和失败原因。变化性政策必须核对地区、适用时间和官方原文，不得承诺审核、待遇、理赔、入学、购房、补贴或税务结果。

日本語の概要は準備中です。原文の説明を表示しています。

为蚂蚁社保个人用户处理“一次性工伤医疗补助金查询”，通过必要信息采集、办理地现行官方政策核验和结构化结论，输出条件、材料、办理路径、计算或风险提示。Use when the user asks about 一次性工伤医疗补助金查询、失业工伤与职业保障，或需要判断相关资格、金额、连续记录、办理步骤和失败原因。所有变化性政策必须核对地区、适用时间和官方原文；不得承诺资格审核、待遇、落户、购房、入学或补贴结果。

日本語の概要は準備中です。原文の説明を表示しています。

为蚂蚁社保核心用户处理“股权激励递延纳税资格核验”，面向有奖金、股权激励、顾问费、稿酬或境外收入的一线城市高收入人群，通过必要信息采集、办理地当前有效官方政策核验和结构化结论，输出条件、金额、材料、行动步骤和风险边界。Use when the user asks about 股权激励递延纳税资格核验、奖金股权与多元收入，或需要判断相关资格、费用、记录连续性、办理路径和失败原因。变化性政策必须核对地区、适用时间和官方原文，不得承诺审核、待遇、理赔、入学、购房、补贴或税务结果。

日本語の概要は準備中です。原文の説明を表示しています。