科学工具
科学工具让世界更美好
让世界更美好
终端工具
终端工具桥接本地LLM与MCP服务器的轻量级CLI MCP客户端ZIN MCP Client使用指南
ZIN MCP Client 是一个轻量级、快速、简单的命令行客户端,用于与基于 STDIO 的 MCP (Model Context Protocol) 服务器进行交互,桥接本地运行的 LLM (通过 Ollama) 和 MCP 服务器。ZIN MCP Client可同时连接多个MCP服务器,通过Ollama使用本地大语言模型,,交互式命令行界面有丰富的格式化功能,会详细的日志,便于调试和故障排除,利用LangChain的ReAct代理模式智能调用工具,支持跨平台使用。ZIN MCP Client安装
终端工具
IT服务工具
IT服务工具服务器与集群的认证访问管理工具 Infra
Infra能为服务器、集群和数据库提供认证与访问管理功能。Infra包含三个核心组件,分别是中央API服务器、连接器和客户端。中央API服务器这一组件负责用户与服务的认证、角色和权限映射、关联基础设施索引,以及生成短期访问凭证。认证:Infra作为客户端对接身份提供者,通过OpenID Connect(OIDC)实现集成,对于本地用户,Infra自身充当身份提供者。访问控制:通过将用户、用户组和服务映射到特定系统的角色和权限实现访问控制,以Kubernetes为例,Infra会检测集群角色,在授予访问权
知识库工具
知识库工具开源知识生成工具 STORM 安装部署使用指南
STORM全称是“Synthesis of Topic Outlines through Retrieval and Multi-perspective Question Asking”,是一个由大语言模型驱动的知识整理系统,能围绕特定主题进行研究,并生成带有引用的完整报告。STORM是一个大语言模型系统,能基于互联网搜索从零开始撰写类似维基百科的文章。Co-STORM进一步增强了其功能,允许人类与大语言模型系统协作,支持更贴合需求的信息查找和知识整理。虽然该系统无法生成无需修改就能发布的文章(这类文章
AI工具
AI工具测试阶段控制大语言模型推理速度的通用框架 AlphaOne 使用指南
AlphaOne(α1)是一个通用框架,能在测试阶段调节大型推理模型(LRMs)的推理过程,首次引入了α时刻的概念,用通用参数α来衡量思考阶段,在这个按比例缩放的前α时刻阶段,框架通过把推理转换标记的插入建模为伯努利随机过程,来动态安排慢思考的转换,过了α时刻后,α1会用思考结束标记确定性地终止慢思考,然后推动快速推理和生成高效答案。该方法统一推广了现有的单调缩放方法,能实现灵活密集的慢到快推理调节,为推理能力和计算效率的联合优化提供了参考方案。AlphaOne 安装安装AlphaOne环境可参考以下步
学习资料
学习资料LeetCode刷题指南:包含 LeetCode、《剑指 Offer(第 2 版)》、《剑指 Offer(专项突击版)》、《程序员面试金典(第 6 版)》题解
本项目涵盖了LeetCode、《剑指Offer(第2版)》《程序员面试金典(第6版)》等的解法,编程语言涉及Java、Python、C++、Go、TypeScript、Rust等。目录结构与更新记录名称最后提交信息.github更新工作流.husky添加配置文件.editorconfig(#3336)basic使用rustfmt格式化Rust代码(#3140)lcci新增LCCI题目08.06~08.09解法(#4068)lcof更新剑指Offer题目046文档(#3795)solution新增Leet
屏幕录制工具
屏幕录制工具Screenity 屏幕录制工具,可以录制屏幕、摄像头和音频,内置丰富的注释功能
Screenity 是一款免费的屏幕录制与注释工具,可用于制作工作、教育等场景的优质视频内容,能免费创建精美的产品演示、教程、演示文稿。Screenity 可以录制屏幕、摄像头和音频,还内置了丰富的注释功能,你在录制过程中能添加文本、箭头、高亮、绘图等。多种录制模式:可无限录制标签页、特定区域、桌面、任意应用程序或摄像头画面。音频录制:录制麦克风或内部音频,支持按键通话功能。屏幕注释:能在屏幕任意位置绘制、添加文本、箭头、形状等注释内容。智能背景处理:利用 AI 技术实现摄像头背景效果或模糊处理,提升录
1