Longfellow ZK：谷歌开发的零知识证明库，助力安全高效的匿名身份验证。

支持ISO MDOC、JWT和W3可验证凭证等多种身份验证标准；正在进行独立安全审查，预计8月公开报告；提供便捷的devcontainer测试环境，快速上手
Pennybase：一个轻量级、低依赖的后端即服务（BaaS）解决方案，用不到1000行Go代码实现核心后端功能。

基于CSV的文件存储，数据版本化且易于读取；提供REST API和实时更新功能，支持JSON响应；简单的RBAC权限控制，确保资源访问安全
Mochi：为智能Agent和数据处理量身定制的轻量级编程语言。

零依赖单二进制文件，部署超简单；面向Agent友好，支持嵌入式开发；语法简洁易学，5分钟上手
lsp-mcp：为LLMs/AI Agents提供语言服务器协议（LSP）能力的Model Context Protocol（MCP）服务器。它能解决AI在处理代码时缺乏语言感知上下文的问题。

支持多种编程语言的LSP；动态生成LSP方法，基于LSP JSON Schema；可通过Docker和npx快速部署
一个用于精确指令遵循的挑战性基准测试工具。它能帮助研究人员和开发者评估AI模型在复杂指令理解与执行上的能力。

包含58个新的、具有挑战性的约束条件，涵盖多种实际场景；提供29个新的训练约束，助力模型提升性能；支持多轮约束隔离测试，模拟真实交互场景

IFBench | #工具
工具
Palmr：开源文件传输平台，让你轻松管理与分享文件。| #文件传输

自主部署，完全掌控隐私与安全；无隐藏限制，免费分享大文件；支持S3兼容存储，满足企业级需求
文件传输
为AI和Agent应用量身打造的DataFrame框架，让数据处理更智能、更高效。

专为LLM推理设计，支持自动批量优化和API调用重试；提供丰富的语义操作符，如情感分析、文本分类、数据关联；原生支持Markdown、转录文本和复杂JSON处理

fenic | #框架
框架
Starina：一个为开发者设计的现代化微内核操作系统。它能解决传统操作系统开发复杂、难以理解的问题，让开发变得像写Web应用一样简单有趣。

微内核架构，优先考虑用户空间开发体验；采用Rust语言，安全高效；支持Linux容器镜像，提供类似Docker的使用体验
Awesome-VLA-Papers：汇集了视觉-语言-行动（VLA）模型领域的经典论文和相关资源。

涵盖从基础模型到前沿应用的广泛内容；提供详细的研究分类，便于快速定位；包含语言、视觉和机器人操作等多个领域的最新进展
Before
After
Back to Top