“models”的搜索结果

Automatically extract abstract finite-state models in SMV/NuSMV format from source code (C/C++, Java, Python) for formal model checking. Use when users need to: (1) Generate SMV models from program code for verification, (2) Extract state-transition models from protocol implementations, (3) Analyze control flow and data flow to construct formal models, (4) Create models for checking safety and liveness properties, (5) Convert imperative code to declarative state machines. Particularly effective for protocol implementations, concurrent systems, and control logic with clear state transitions.

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

arkcli 模型查询与基础模型服务激活能力：列出、搜索、获取火山公共基础模型详情，以及用户明确要求的开通/激活模型服务（`arkcli models activate`）；Volc 还支持 TTFT/TPOT 性能排名、延迟趋势和输入长度对比。激活已有基础模型服务不等于部署/创建 Endpoint，不得转成 `+deploy`。优先使用产品命令 `arkcli models ...`，而不是直接调用 Raw API。反触发：用户的最终目标是创建 / 部署 Endpoint 时，本 skill 承担有界的只读候选查询，owning skill 由创建路径确定：普通产品创建走 arkcli-deploy；用户显式要求 raw CRUD / CI / 无守卫的 `infer endpoint create` 走 arkcli-infer-endpoint。候选首先执行 `models search ... --size 10 --format json`；成功完整结果直接复用，空结果与捕获缺损按 reference 有界恢复，并把实时返回的 `name` 与非空 `primary_version` 组合成可直接传给 `--model` 的完整 ID，不能拉全量清单、把裸家族名当可部署 ID，或逐候选追加 `models get`。注意：查询/管理账号下自传或精调的自定义模型（`cm-xxx`）走 arkcli-custommodel。

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

Connects to and performs inference with Google Cloud Agent Platform GenAI models, including First-Party Gemini models and Third-Party OpenMaaS models (Llama, DeepSeek, Qwen, etc.). Use when asked to perform inference, ask a model a question, run a test prompt, execute chat completions, or generate code for calling Gemini or OpenMaaS models, authenticate with GenAI SDK, OpenAI SDK, or legacy Agent Platform SDK, configure base URLs and global/regional endpoints, or troubleshoot 429 Resource Exhausted (DSQ), 400 User Validation, or 404 Not Found errors. Don't use for deploying models to endpoints or for running model evaluations.

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

Deploy open models or custom weights from Model Garden to Agent Platform endpoints, check the status of an in-progress deployment operation, or clean up resources by undeploying models and deleting endpoints. Use when asked to actively deploy a model, list the Model Garden CATALOG of available models, check if a specific model is deployable (`gcloud ai model-garden models list-deployment-config`), query deployment cost, troubleshoot deployment errors (like quota limits), or undeploy/clean up endpoints. Also use when copying and deploying a 1P Tuned Model. Don't use for pure listing/discovery questions of the form "is X deployed?", "list my endpoints", or "which regions have models running?" — for those use `agent-platform-endpoint-management`. Don't use for public Vertex AI deployments (use the `vertex-deploy` skill) or for running model evaluations (use the `agent-platform-eval-flywheel` skill).

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

Define database models with clear naming, appropriate data types, constraints, relationships, and validation at multiple layers. Use this skill when creating or modifying database model files, ORM classes, schema definitions, or data model relationships. Apply when working with model files (e.g., models.py, models/, ActiveRecord classes, Prisma schema, Sequelize models), defining table structures, setting up foreign keys and relationships, configuring cascade behaviors, implementing model validations, adding timestamps, or working with database constraints (NOT NULL, UNIQUE, foreign keys). Use for any task involving data integrity enforcement, relationship definitions, or model-level data validation.

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

使用hf命令查找、下载和上传Hugging Face Hub上的模型与数据集，并管理仓库、运行环境和本地缓存，支持通过JSON输出实现自动化。

• 查找并下载模型或数据集
• 将本地文件上传到Hub
• 创建仓库并管理分支和标签

使用统一任务评估大语言模型的知识、推理和代码生成能力，生成多模型对比表及训练阶段的成绩趋势，并保存评估结果和每道题的回答。

• 使用MMLU和GSM8K评估模型
• 生成多个模型的成绩对比表
• 跟踪训练期间的模型成绩

帮助配置Hermes，通过Actual Computer在自己的设备上运行AI模型。支持加密中继与本地连接，涵盖模型选择、响应测试，以及请求报错或空响应的排查。

• 使用Actual密钥连接Hermes
• 在本地设备上运行模型
• 查找、下载并加载本地模型

利用Wi-Fi测量数据训练和评估RuView模型，涵盖姿态估计、跨环境适应、GPU训练，以及将训练后的模型发布到Hugging Face。

• 不使用摄像头或标签训练姿态估计
• 利用摄像头与Wi-Fi配对数据训练
• 让模型适应不同房间和环境

Review estimated spending, token usage, and cache hit ratios across Claude Code, Codex, and Grok using local logs. Filter by time, project, or provider, while keeping currencies separate and identifying models without pricing.

中文简介正在准备中。当前显示英语简介。

• Reviewing estimated spending for the past seven days
• Comparing usage across providers and models
• Checking costs for a specific project or time range

Build asset loading for Three.js scenes, including 3D models, textures, and HDR images for backgrounds and reflections. Coordinate multiple files, track loading progress, reuse cached assets, and handle failures with retries or fallback files.

中文简介正在准备中。当前显示英语简介。

• Load GLTF/GLB models into a Three.js scene
• Show loading progress across multiple assets
• Use HDR images for backgrounds and reflections

Manage Ollama models and run text generation, chat, and embeddings, which represent text as numerical vectors, through command-line requests. Check server status, inspect model details, and receive structured JSON output for agent workflows.

中文简介正在准备中。当前显示英语简介。

• Download models and inspect their details
• Generate text or chat with a chosen model
• Convert text into numerical vectors

Inspect and edit Live2D Cubism model files from the command line. Check referenced assets, adjust motion and expression settings, compare versions, process multiple models, and prepare model files for distribution without opening Live2D Editor.

中文简介正在准备中。当前显示英语简介。

• Check for missing assets and unused files
• Adjust motion fade times across multiple models
• Compare model versions

Send prompts to Novita AI models such as DeepSeek and GLM from the command line. Retrieve answers as readable text or structured JSON, stream responses as they arrive, and check available models and API connectivity.

中文简介正在准备中。当前显示英语简介。

• Send questions to DeepSeek or GLM
• Display responses as they arrive
• Retrieve AI responses as JSON

Work with Waypoint models to analyze microbiome samples, the communities of microbes in a sample. Convert taxonomic abundance tables, generate numerical sample representations, configure further training for prediction tasks, and evaluate models on the Compass benchmark.

中文简介正在准备中。当前显示英语简介。

• Convert microbiome abundance tables into Waypoint inputs
• Generate sample vectors for clustering and visualization
• Configure further training with sample labels

Build graph neural networks, models that learn from connected nodes, with PyTorch Geometric. Supports node and graph classification, link prediction, custom datasets, and training approaches for large graphs or graphs containing multiple types of nodes and connections.

中文简介正在准备中。当前显示英语简介。

• Build node and graph classification models
• Predict links between nodes
• Train models on graphs with multiple node and connection types

Structure Avalonia applications with ReactiveUI and Zafiro patterns for ViewModels, the objects that manage screen state and logic. Build multi-step wizards, organize navigation, report command progress, and connect screen layouts to their supporting logic.

中文简介正在准备中。当前显示英语简介。

• Design ViewModels for screen state and logic
• Build multi-step setup wizards
• Organize navigation and discover UI sections

Turn descriptions of 3D shapes and CAD tasks into FreeCAD Python scripts. Create models with adjustable dimensions, automate repeated operations with macros, convert meshes and solids, or build custom dialogs and workbench tools.

中文简介正在准备中。当前显示英语简介。

• Create 3D models from written descriptions
• Build models with adjustable dimensions
• Automate repeated CAD operations with macros

Apply psychology and behavioral science to marketing decisions. The skill selects relevant thinking models, explains customer behavior, and suggests ethical changes to pricing, messaging, purchase journeys, and campaign priorities.

中文简介正在准备中。当前显示英语简介。

• Understand why customers hesitate to buy
• Review pricing plans and how prices are presented
• Simplify signup and purchase journeys

Guide reinforcement learning, training models through rewards, with slime. Prepare data, configure Megatron-LM training and SGLang response generation, and set up asynchronous runs or custom multi-turn workflows for supported language models.

中文简介正在准备中。当前显示英语简介。

• Preparing reward-based training for GLM or Qwen models
• Overlapping response generation and training
• Training agents that use tools across multiple turns

Compress LLM weights using HQQ quantization, which stores weights with fewer bits without calibration datasets. Follow workflows for precision settings, model saving, inference integration, and LoRA fine-tuning of quantized models.

中文简介正在准备中。当前显示英语简介。

• Compressing LLMs without calibration datasets
• Serving quantized models with vLLM or HuggingFace Transformers
• Comparing bit widths and inference backends

Reduce the memory needed to run large language models with GPTQ quantization, which stores model weights at lower precision. Covers loading compressed models, quantizing your own models, choosing execution backends, and connecting to memory-efficient fine-tuning.

中文简介正在准备中。当前显示英语简介。

• Run a language model within limited GPU memory
• Load a pre-quantized model for text generation
• Quantize and save your own trained model

Helps configure and troubleshoot DeepSpeed for training large models across multiple devices. Covers memory optimization, parallel training, and DeepNVMe storage transfers, with examples for tuning data movement and configuring models that divide work among specialized components.

中文简介正在准备中。当前显示英语简介。

• Configuring distributed training for large models
• Tuning tensor transfers to NVMe storage
• Setting up models with specialized expert components

Let a NanoClaw container agent call local models running in Atomic Chat. The skill adds an MCP server, a connection that exposes model listing and text generation as tools, while Claude continues to coordinate the work.

中文简介正在准备中。当前显示英语简介。

• Delegate part of Claude's work to a local model
• List models available in Atomic Chat
• Generate an answer with a specified local model