# 推理

一款在线狼人杀社交游戏，支持好友联机对战，将经典桌游‘狼人杀’数字化，适合喜欢社交推理与多人互动的玩家。

经典推理游戏《妙探闯通关》的官方授权版本，玩家在九个房间中调查六名嫌疑人与六种凶器，找出真凶。

一款互动式手机侦探游戏，玩家通过探索虚构手机中的照片、消息、文件和神秘应用来揭开谜题，适合喜欢解谜和剧情推理的玩家。

Kimi K3大模型的在线实验平台与API服务，支持代码生成与复杂推理任务，适合开发者与AI研究者

高性能、灵活的本地 LLM 推理框架，支持快速部署与定制化大模型服务

NVIDIA 推出的推理加速库（NIXL），用于高效传输与执行 AI 推理任务，降低延迟并提升 GPU 利用率，专为高性能 AI 服务设计

Reame 是一个能边运行边变快的 CPU 推理服务器，适合需要低延迟、高效率本地 AI 推理的开发者，通过动态优化提升性能。

GLM-5.2 是由智谱AI推出的最新大语言模型，通过 Canopy Wave 平台提供访问，支持多语言、长文本生成与推理，适合开发者、研究人员及企业用户构建智能应用。

解锁 Claude Sonnet 5 原始推理能力，通过技术手段还原模型更深层的逻辑推导过程

英特尔开源 AI 推理优化工具包，支持多硬件平台部署，帮助开发者高效运行和优化 AI 模型。

AirLLM 70B：在单块4GB显存GPU上运行700亿参数大模型推理，专为开发者和研究者设计，支持量化与高效内存管理。

RF-KG 是一个具备推理能力的知识图谱框架，不仅存储实体关系，还能基于上下文进行逻辑推理，适用于复杂决策支持系统。

专为小型大模型优化的轻量级运行时框架，提升小模型在资源受限环境下的推理效率与响应速度，适合边缘部署

Spur solver 是一个基于 Z3 的模型查找工具，专为编程智能体设计，可自动求解代码中的变量取值，提升自动化编程与推理能力。