可安装 Skill

AI工具

Instructed LLM是一款开源的AI工具，专为Emacs用户设计，提供LLM编程/助手功能，突出其在代码生成和写作方面的价值。

为Elite Dangerous提供LLM和数据分析

提供了开源的AI工具，用于设备内语音AI和本地LLM的开发，帮助开发者快速构建高效的AI应用

提供轻量级LLM元数据接口，支持app访问和集成LLM元数据，提高开发效率和app质量

𝗜𝗖𝗠𝗟 𝟮𝟮𝟮𝟷 Dispersion loss counteracts embedding condensation and improve.

Aegis-Stack是一款开源的AI工具，基于FastAPI构建，提供生产就绪的模块化组件和内置的控制器。它支持异步编程和CLI接口，易于安装和使用。

全面PHP机器学习、人工智能工具集

LLMKube是开源AI工具，提供Kubernetes操作本地LLM推理功能，支持多种LLM引擎，包括llama.cpp、vLLM、TGI和mlx-s。

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。它通过安装应用程序并选择提供商来实现这一点。