Results for “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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

Researches state-specific charitable solicitation filing requirements keyed to gross revenue, producing a citation-backed state-by-state compliance matrix of audit thresholds, financial-statement tiers, filing fees, and due dates. Use when building charity compliance matrices, researching nonprofit filing thresholds, charitable solicitation registration renewals, comparing state audit requirements for 501(c)(3) organizations, or when the user mentions audit threshold, review threshold, compilation requirement, charity filing deadline, or multi-state nonprofit compliance.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

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.

The English summary is being prepared. Showing the original description.

Drafts a Certificate of Trust (Abstract/Memorandum of Trust) that verifies trustee authority for third-party reliance without disclosing full trust terms. Use when preparing trust certificates for real estate closings, bank account openings, business transactions, or any context requiring trustee authority verification with UTC-compliant, privacy-preserving disclosure.

The English summary is being prepared. Showing the original description.

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

The English summary is being prepared. Showing the original description.