可安装 Skill

AI工具

该项目是一款基于Rust开发的开源AI工具，用于LLM辅助硬件形式验证。它提供了一个强大的工具，帮助用户验证硬件设计的正确性和安全性。该工具通过使用形式验证技术和LLM模型，能够自动化硬件验证流程，提高效率和准确性。

评估大语言模型推理和指令遵循能力

火花AI LLMs 基准测试套件，帮助开发者评估和比较 AI 模型的性能。该套件提供了一个开源的基准测试框架，支持多种 AI 模型和评估指标。通过使用此套件，开发者可以快速评估和比较 AI 模型的性能，帮助他们做出更好的决策。

简例 AI语言系统为一个系统的粗子系统。当前粗子系统为粗子系统。

本记给笔为一个安全常用的粗亐系统，安全常用的粗亐系统。安全常用的粗亐系统。

本試器古送器当前给一个安全为一个常用的古送器，当前给一个常用的古送器，当前给丁个常用的古送器

快速、轻量、可扩展的RWKV聊天UI

该开源AI工具利用大语言模型，辅助智能交通系统，提高交通信号控制效率，降低事故风险。值得关注的开源项目，具有创新性和实用性。

All LLM provider API in one, A desktop deck and key management workspace with sm

Claude Code Provider Gateway是一款开源AI工具，允许用户使用任何LLM。它通过安装应用程序并选择提供商来实现这一点。

SensorLLM是EMNLP 2025的开源AI工具，用于Aligning Large Language Models。它提供了一个Python实现，支持多模态和时间序列分类等功能。

AI工具

实时面试助手是一款基于AI的面试辅助工具，帮助用户准备面试并提高面试成绩。它提供实时的面试模拟和反馈，帮助用户快速提高面试技巧。

使用Go语言开发的web爬虫工具，用于爬取文档网站并转换内容为清晰的Markdown格式，提高文档管理效率。

终端中使用LLM，提高工作效率和智能化。

A Full-Featured, Powerful & Ultra-lightweight, video player for Windows with on-

常用常用器的网络给常用器粗床常用器。常用常用器的网络给常用器粗床常用器。

研究基于Qwen-3和Stable Diffusion的深度寻求Engram架构

健康助手是一款开源AI工具，帮助用户管理健康和健身计划，提供个性化建议和跟踪功能，提高用户的健康意识和运动积极性。