🏵 ghidraMCP - Ghidra的MCP服务器
🍥 简介:
ghidraMCP 是一个为 NSA 开源的逆向工程平台 Ghidra 实现的模型上下文协议 (MCP) 服务器。它的核心功能是允许大型语言模型 (LLM) 通过 MCP 协议与 Ghidra 进行交互,从而自主地执行逆向工程任务。该项目通过一个 Ghidra 插件将核心功能(如反编译、二进制分析、方法/数据自动重命名、列出函数/类/导入/导出等)暴露给 MCP 客户端(即 LLM),使 AI 能够利用 Ghidra 的强大能力分析和理解软件。
🍭 #Ghidra #LLM
🎈 【进入项目】
🎯 关注频道 🤖 合作/投稿
🏵 VGGT - 从图像快速重建3D场景
🍥 简介:
VGGT (Visual Geometry Grounded Transformer) 是一个前馈神经网络模型(CVPR 2025),它能从单张、少量或大量图像视图中,在几秒内直接推断出场景的关键3D属性,包括相机内外参数、点图、深度图和3D点轨迹。值得注意的是,尽管未针对单视图任务进行训练,该模型在单视图重建上表现优异,性能可与DepthAnything v2等先进方法媲美。项目提供了在H100 GPU上的运行时间和显存占用基准,并建议使用Flash Attention 3优化性能。
🍭 #3D重建 #计算机视觉
🎈 【进入项目】
🎯 关注频道 🤖 合作/投稿
🏵 Hyperbrowser MCP Server - 网页数据提取与爬取
🍥 简介:
Hyperbrowser MCP Server是Hyperbrowser的MCP服务器实现,提供网页抓取、结构化数据提取和网页爬取等工具。它集成了多种通用浏览器代理,如OpenAI的CUA和Anthropic的Claude Computer Use,方便用户进行自动化操作。主要功能包括:网页内容抓取、多页爬取、HTML到JSON的转换、Bing搜索以及各种浏览器自动化代理。Hyperbrowser API提供更丰富的功能。
🍭 #网页爬虫 #数据提取
🎈 【进入项目】
🎯 关注频道 🤖 合作/投稿
🏵 Retro Boy - Game Boy模拟器
🍥 简介:
Retro Boy 是一款用 Rust 编写的 Game Boy 模拟器,支持在网页端运行。它通过 wasm-pack 将 Rust 代码编译为 WebAssembly,并利用 Web Audio API 和 HTML Canvas 实现音频和图形渲染。Retro Boy 具有高精度的 CPU 和音频模拟,支持多种 MBC 卡带类型,并能将卡带 RAM 数据持久化到浏览器的本地存储中。其网页前端基于 React/TypeScript 开发,提供全屏模式、暂停/恢复、自定义按键映射等功能,适合复古游戏爱好者体验经典 Game Boy 游戏。
🍭 #游戏模拟器 #Rust开发
🎈 【进入项目】
🎯 关注频道 🤖 合作/投稿
🏵 Minimalytics - 轻量级分析工具
🍥 简介:
Minimalytics 是一款基于 SQLite 的极简独立分析工具,专为资源受限环境设计。它提供轻量级的事件跟踪和数据可视化功能,存储占用极小(约 20 MB),却能支持每月超过 10 亿次事件的处理。Minimalytics 通过事件聚合和 SQLite 存储优化空间使用,并内置 Web UI 用于管理仪表盘和交互式图表。其 CLI 工具启动服务器,提供事件提交 API 和 Web UI 服务,适用于需要高效、低成本分析解决方案的场景,如内部服务监控或小型项目。
🍭 #数据分析 #轻量级工具
🎈 【进入项目】
🎯 关注频道 🤖 合作/投稿
🏵 zlib-ng - 高性能压缩库
🍥 简介:
zlib-ng 是 zlib 压缩库的现代化分支,专为下一代系统优化设计。它保留了 zlib 的兼容性 API,同时引入了现代 C11 语法和高效算法,支持多种 CPU 指令集(如 SSE2、AVX2、Neon 等)以加速压缩和解压过程。zlib-ng 整合了 Intel 和 Cloudflare 的优化方案,并移除了对老旧编译器和系统的兼容性代码,使代码更简洁、性能更高。此外,它支持硬件加速(如 IBM Z DFLTCC)和全面的单元测试,适用于需要高性能压缩的场景,如云计算和大数据处理。
🍭 #数据压缩 #性能优化
🎈 【进入项目】
🎯 关注频道 🤖 合作/投稿
🏵 coq-of-rust - Rust形式化验证工具
🍥 简介:
coq-of-rust 是一款专为 Rust 语言设计的形式化验证工具,旨在通过数学证明确保程序在所有执行路径下均无漏洞。尽管 Rust 的类型系统已能有效防止内存错误等常见问题,但代码仍可能因意外崩溃或业务逻辑错误而存在风险。coq-of-rust 通过将 Rust 代码自动转换为 Coq 语言,并经过半自动化的优化步骤,最终在 Coq 中验证代码的规范性和正确性。典型应用场景包括确保代码不会崩溃、数据结构等效性验证、版本兼容性检查等。通过形式化验证,开发者可以将漏洞和错误降至近乎零,特别适用于关键软件的安全保障。
🍭 #形式化验证 #Rust安全
🎈 【进入项目】
🎯 关注频道 🤖 合作/投稿
🗣 每日羊毛线报 👈
🏵 Docs - 协作文档编辑平台
🍥 简介:
Docs 是一个基于 Django 和 React 构建的开源协作文档编辑平台,旨在简化知识构建与共享的流程。它提供了简洁的协作编辑体验,无需复杂的 Markdown 格式,支持离线编辑并自动同步。Docs 专注于内容创作,提供有限的但美观的格式化选项,并内置多种生产力工具,如 Markdown 支持、多种块类型、斜杠命令和快捷键。此外,Docs 还集成了 AI 功能,支持生成、总结、校正和翻译文本。团队可以实时协作,并通过细粒度的访问控制确保信息安全。支持多种格式的文档导出(如 .odt、.doc、.pdf)和自定义模板,内置 Wiki 功能,帮助团队将协作成果转化为结构化知识。Docs 是一个易于安装、可扩展且安全的 Notion、Outline 或 Confluence 替代方案。
🍭 #协作编辑 #开源文档
🎈 【进入项目】
🎯 关注频道 🤖 合作/投稿
🏵 Docs - 协作文档编辑平台
🍥 简介:
Docs 是一个基于 Django 和 React 构建的开源协作文档编辑平台,旨在简化知识构建与共享的流程。它提供了简洁的协作编辑体验,无需复杂的 Markdown 格式,支持离线编辑并自动同步。Docs 专注于内容创作,提供有限的但美观的格式化选项,并内置多种生产力工具,如 Markdown 支持、多种块类型、斜杠命令和快捷键。此外,Docs 还集成了 AI 功能,支持生成、总结、校正和翻译文本。团队可以实时协作,并通过细粒度的访问控制确保信息安全。支持多种格式的文档导出(如 .odt、.doc、.pdf)和自定义模板,内置 Wiki 功能,帮助团队将协作成果转化为结构化知识。Docs 是一个易于安装、可扩展且安全的 Notion、Outline 或 Confluence 替代方案。
🍭 #协作编辑 #开源文档
🎈 【进入项目】
🎯 关注频道 🤖 合作/投稿