桌面数字思维扩展工具，让知识管理更智能。

实时会议笔记与总结，瞬间提取要点；无痕运行，不干扰屏幕录制或截图；支持自定义OpenAI API，灵活使用AI功能

Glass by Pickle | #工具
工具
一款轻量级的命令行工具，能在本地启动Web服务器，以GitHub风格展示Git提交差异，完美融入代码审查流程，无需离开终端！

零配置，运行npx reviewit <commit>即可；支持AI代码审查，可生成Claude Code提示；支持终端UI模式，直接在终端查看差异

ReviewIt | #命令行 #工具
命令行 工具
tmux-rs：用Rust语言重新打造的tmux，为终端多窗口管理带来全新体验。

完全用Rust编写，性能更优；兼容tmux命令，无缝切换；专为Linux优化，运行更稳定
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 | #框架
框架
Before
After
Back to Top