据 AlphaMoat 统计,截至 2026-06,Acorn Prover 累计下载 2,178 次、获 1 个星标,在全部 63,926 个 Claude 技能中排名第 4,079 位,在「专业领域」分类(5,680 个)中排名第 295 位。
使用 Acorn 定理证明器进行数学和密码学形式化的验证与证明编写。适用于处理 Acorn 证明文件 (.ac)、验证定理、形式化数学或密码学协议，或使用 Acorn 语言编写证明。触发条件：(1) 创建或编辑 .ac 文件，(2) 运行 acorn verify 命令，(3) 形式化数学或密码学证明，(4) 询问 Acorn 语法或标准库相关问题。
| 数据月份 | 累计下载 | 环比 | 星标 | 累计安装 |
|---|---|---|---|---|
| 2026-03 | 1,605 | — | 1 | 84 |
| 2026-05 | 2,025 | +26.2% | 1 | 97 |
| 2026-06 | 2,178 | +7.6% | 1 | 97 |
A股量化数据分析工具，基于AkShare库获取A股行情、财务数据、板块信息等。用于回答关于A股股票查询、行情数据、财务分析、选股等问题。
基于东方财富数据库，支持自然语言查询金融数据，覆盖A股、港股、美股、基金、债券等资产，提供实时行情、公司信息、估值、财务报表等，适用于投资研究、交易复盘、市场监控、行业分析、信用研究、财报审计、资产配置等场景，满足机构与个人需求。返回结果为xlsx和Markdown文件。
Yahoo Finance (yfinance) 驱动的股票分析技能：行情报价、基本面、ASCII 趋势图、高分辨率图表（RSI/MACD/BB/VWAP/ATR），以及可选的网络...
全功能智能股票监控预警系统。支持成本百分比、均线金叉死叉、RSI超买超卖、成交量异动、跳空缺口、动态止盈等7大预警规则。符合中国投资者习惯（红涨绿跌）。
提供A股实时行情、分时成交量分布及主力资金动向分析，支持持仓管理和盈亏监控。
分析A股和港股股价，提供投资建议，用于用户询问中国公司股票分析时。
基于东方财富数据库，支持自然语言输入筛选A股、港股、美股、基金、债券等资产；多维指标筛选覆盖技术面、消息面、基本面与市场情绪；适用于全球资产速筛、跨市场监控、投资组合构建和策略回测；返回结果含数据说明及CSV文件。投资自然语言筛选器。
管理 LNbits 闪电钱包（余额、支付、收款）
数据月份:2026-06 · 下载/星标/安装数聚合自公开技能注册库(ClawHub、SkillHub),按月更新。口径说明见数据方法。