model

Kani Rust Verifier

五节课程，学习如何真正将人工智能应用于.NET应用程序

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

使用PyTorch从零开始逐步实现一个推理大语言模型

QuantAgent官方仓库

HunyuanImage-3.0：一个强大的原生多模态图像生成模型

模型火箭空气动力学与弹道仿真软件

Ghidra MCP 服务器 — 面向人工智能驱动的逆向工程的 200 多个 MCP 工具。包含 GUI 插件与无头服务器、惰性工具加载、约定强制执行、批量操作、Ghidra 服务器集成以及 Docker 部署。

gem5计算机系统架构模拟器的官方代码库。

海量异构三维地理空间数据流技术规范 🌎

MCP Apps协议规范与SDK官方仓库——用于嵌入式AI聊天机器人界面的标准，由MCP服务器提供支持

面向昇腾平台的vLLM社区维护硬件插件

数学优化建模语言（涵盖线性、混合整数、锥规划、半定规划及非线性问题）

用于集成MCP服务器的JADX插件

动手学Ollama，在CPU上玩转大模型部署，在线阅读地址：https://datawhalechina.github.io/handy-ollama/

免费获取GPT-5.5、Claude、DeepSeek、Gemini、Grok的LLM API密钥——复制、粘贴、使用。每日更新3-5次。无需信用卡。

基于Playwright的Claude代码技能，实现浏览器自动化。模型调用式——Claude可自主编写并执行定制化自动化脚本，用于测试与验证。

dLLM：简易扩散语言建模框架

面向昇腾平台的vLLM社区维护硬件插件

使用Liquid AI基础模型与LEAP SDK构建的示例、端到端教程及应用

Matrix-Game 3.0：具备长时记忆的实时流式交互世界模型

🤖📐专为数学建模设计的智能体，能够自动完成数学建模并生成一份可直接提交的完整论文。

一个Python CAD编程库

适用于 Kubernetes 和 OpenShift 的模型上下文协议服务器