常见问题


安装与环境

找不到 klymora-run?

source /etc/profile.d/flintrix.sh
echo $PATH | tr ':' '\n' | grep flintrix

Verilator 未找到?

sudo /opt/flintrix/setup/install-deps.sh
verilator --version

或手动安装 Verilator ≥ 5.025 并加入 PATH。

deb / rpm 与 offline 包冲突?

两包互斥,先卸载另一个再安装。deb 与 rpm 也互斥(同为 flintrix-online SKU)。

rpm 卸载会删 /opt/flintrix?

会。dnf remove flintrix-online 在最后卸载时会删除整个安装根;升级前请备份 /opt/flintrix/local/。deb 的 apt remove 可能残留目录,见 安装与部署。


授权与用量

首次使用提示「关联账户」?

在浏览器用注册邮箱登录并确认。成功后 账户 设备列表应出现本机。详见 快速开始 §2(flintrix-online 自动授权,无需 .lic)。

.lic 校验失败 / 过期 / 指纹不匹配?

见 License 授权(合同版与 flintrix-offline)。

CLI / MCP 报订阅无效?

账户 确认订阅未过期;检查网络。

工具报用量不足 / 额度用尽?

当期 Standard 或 Premium 池已扣完,计费工具会拒绝执行。在 账户 查看用量,或 套餐 升级后重试。

设备数超限?

账户 解绑旧设备后,重新触发关联流程。

多人共用一台机器怎么登录?

一人一个 Linux 用户,各自 kay-license-runtime login 与 install-klymora-agent.sh --agent-only。不要共用同一个 OS 账号轮流登录。说明见 CLI 登录。

同事的用量记到了我的账户?

多半共用了同一 Linux 用户或拷贝了 license.dat。各自使用独立 OS 用户并重新 login。

共用一个门户账号、多人使用可以吗?

可以跑工具,但额度与并发席位共用该账号,流水按账号汇总,一般不能按人名拆分。


MCP

OpenCode / IDE 里 MCP 显示 Connection closed?

常见原因是本机 license.dat 无效或过期。执行:

kay-license-runtime verify
# Unauthorized 时:
kay-license-runtime login

再重启 IDE。klymora-mcp doctor 显示「已配置」只表示配置文件存在,不等于授权有效。

某一 IDE 里没有 Klymora 工具?

bash /opt/flintrix/setup/install-klymora-agent.sh --agent-only
klymora-mcp doctor

重启 该 IDE;对照 MCP 与 Skills 检查对应配置文件是否存在。

IDE快速检查
Cursor~/.cursor/mcp.json
OpenCode~/.config/opencode/opencode.json
Kimi Code~/.kimi-code/mcp.json
Claude Codeclaude mcp list
VS Code.vscode/mcp.json 或 Code/User/settings.json

doctor 报错?

确认 账户 订阅有效;确认 /opt/flintrix/bin/klymora-mcp 可执行。


Skills

Agent 读不到 Skill?

重跑 install-klymora-agent.sh --agent-only;确认 /opt/flintrix/skills/ 存在。

升级后规程过旧?

升级 deb / rpm 后执行 --agent-only 刷新 Skills 与 agent-rules。


CLI

klymora-run 报找不到测台?

须在含 klymora.toml 的目录执行,或传入测台路径:

klymora-run --simulator verilator /path/to/tb

--verify 结果在哪?

reports/loop/summary.json,字段 stop_reason。

并行多路仿真冲突?

同一测台并发时加 --tag <name> 区分 sim_build 目录。


支持

资源中心 · 支持 — 提交工单时请附:kay-license-runtime fingerprint、安装包版本、klymora-mcp doctor 输出。