Vera是一种专门为LLM设计的编程语言,允许开发者使用LLM写代码。它提供了强大的功能,包括形式验证、契约和算术效果等,极大地提高了代码质量和可靠性。
installablealgebraic-effectscontracts
⭐ 369 · Python
AI工具
LLMhallucinationpaper list
⭐ 335
通用型AI代理框架,提供开箱即用的工作流编排能力。支持多种LLM集成,适合开发者构建复杂智能应用、自动化任务流程和多步骤AI任务编排。
AI代理框架工作流编排LLM集成
⭐ 326 · Python
AI工具
code-graphgenaigraph
⭐ 313 · Python
MCP工具
mcpclaudedeveloper-tools
⭐ 298 · Python
AI工具
LLM法律AI工具
⭐ 297
Tableau的官方MCP Server,帮助代理人看到和理解数据。
mcpmcp-servermodelcontextprotocol
⭐ 290 · TypeScript
在NVIDIA DGX Spark上启动、管理和停止LLM推理工作负载
dgx-sparkinferencellama-cpp
⭐ 283 · Python
🛠
系统主机器事为常用器传用粗些图模版粗些图版
AI工具
7.5
系统主机器事为常用器传用粗些图模版粗些图版,常用为常用器传用粗些图模版粗些图版的常用器传用粗些图模版粗些图版
image-to-videoltx-2ltx-video
⭐ 272 · Swift
AI工具
gptgraphragllm
⭐ 271 · Python
DocTranslator是一款强大的文档AI翻译工具,支持多种文件格式、OpenAI API、批量操作、多线程和Docker部署,实现高效的翻译任务!
aiai-translationdocument-translation
⭐ 265 · Python
🤖
Dify插件 - 自然语言获取数据库数据
Dify应用
7.5
Dify应用
difyllmpython
⭐ 264 · Python
本语言类是一个参数安全国常学校器,很言設一个常学为开始。
installableaillm
⭐ 258 · Rust
在安卓设备上运行原生LLM的示例
LLM安卓Python
⭐ 253 · Python
基于Google Gemini SDK的开源AI图像和视频生成工具,支持Imagin 4、Veo 2和3
aigenerative-aiimage-generation
⭐ 248 · TypeScript
Tinybot是一款开源的轻量级AI工作流,支持个人AI代理,持续演进。突出其轻量级和易于使用的特点,适合个人和小规模项目的AI需求。
workflowagentai
⭐ 245 · Python
MCP工具
aicoding-agentdesktop-app
⭐ 240 · Rust
基于RSS内容的AI新闻聚合和翻译工具,增强Miniflux阅读体验
aillmminiflux
⭐ 239 · Python
YiRage是一款开源的AI工具,旨在优化多后端LLM(大语言模型)推理,提高效率和性能。它支持多种后端,包括C++,提供了一个易于使用的界面,帮助开发者快速部署和管理AI模型。
C++AI工具LLM推理
⭐ 233 · C++
本项目为致力于进入VLA(Vision-Language-Action)领域的算法工程师提供一份全中文、实战导向的学习/面试手册,帮助用户快速掌握相关知识和技能。
installablechinesedeep-learning
⭐ 219 · HTML