'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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Manage Zotero reference libraries through Python: search, create, update, and delete references, organize collections and tags, upload PDF attachments, and export citation data. Guidance covers both remote libraries and access through a running local Zotero app.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Searching references in a Zotero library
• Organizing references with collections and tags
• Uploading PDF attachments to references

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Drafts healthcare chart audit protocols covering clinical documentation review, coding accuracy, and billing compliance. Aligns with Medicare CoPs, OIG Compliance Program Guidance, RAC preparedness, federal sentencing guidelines, and the 60-day overpayment rule. Use when drafting routine periodic audits, targeted risk reviews, proactive compliance measures, or post-regulatory-update assessments.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

为蚂蚁社保个人用户处理“工伤认定时限提醒”，通过必要信息采集、办理地现行官方政策核验和结构化结论，输出条件、材料、办理路径、计算或风险提示。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 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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Drafts a Chapter 11 Plan of Reorganization under 11 U.S.C. §§ 1121–1129 with claim classification, treatment provisions, distribution mechanics, executory contract determinations, and confirmation compliance. Use when preparing reorganization plans, restructuring debts, classifying claims, drafting Chapter 11 plans, or helping debtors emerge from bankruptcy. Trigger keywords: reorganization plan, Chapter 11, plan of reorganization, debt restructuring, cramdown, claim classification, confirmation order.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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 Certificate of Withdrawal for a foreign corporation surrendering its authority to transact business in a US state. Use when a foreign corporation is withdrawing its certificate of authority, ceasing in-state operations, or completing dissolution in a non-home jurisdiction.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

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

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.