“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 工伤认定时限提醒、失业工伤与职业保障，或需要判断相关资格、金额、连续记录、办理步骤和失败原因。所有变化性政策必须核对地区、适用时间和官方原文；不得承诺资格审核、待遇、落户、购房、入学或补贴结果。

中文简介正在准备中。当前显示原文说明。

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 工伤医疗费用结算、失业工伤与职业保障，或需要判断相关资格、金额、连续记录、办理步骤和失败原因。所有变化性政策必须核对地区、适用时间和官方原文；不得承诺资格审核、待遇、落户、购房、入学或补贴结果。

中文简介正在准备中。当前显示原文说明。

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.

中文简介正在准备中。当前显示原文说明。

为蚂蚁社保个人用户处理“超过法定退休年龄人员工伤权益查询”，通过必要信息采集、办理地现行官方政策核验和结构化结论，输出条件、材料、办理路径、计算或风险提示。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 跨省通勤人员工伤责任提示、双城工作与家庭迁移，或需要判断相关资格、费用、记录连续性、办理路径和失败原因。变化性政策必须核对地区、适用时间和官方原文，不得承诺审核、待遇、理赔、入学、购房、补贴或税务结果。

中文简介正在准备中。当前显示原文说明。