Anytype Desktop是一款基于TypeScript和Electron构建的桌面端应用,提供本地优先、点对点、端到端加密的个人知识库系统。它支持创建页面、任务、数据库、看板等多种类型内容,允许用户自定义数据模型,并保障数据在设备间的离线同步与隐私安全。
这是一个基于ncm-cli的网易云音乐AI Agent技能包,提供安装配置、命令行操作和智能音乐助手三大功能,用于实现网易云音乐的搜索、歌单管理和个性化推荐等操作。
Ruler是一个统一管理AI编程助手指令的工具,允许用户通过单个配置文件为多种AI编码助手(如GitHub Copilot、Claude、Cursor等)集中定义代码规范、项目上下文和团队规则,确保所有工具遵循一致的指导,避免配置分散和维护重复。
Snoop是一个开源情报(OSINT)工具,主要用于通过用户名/昵称在互联网上搜索和关联公开信息。它拥有庞大的数据库,覆盖约5300个网站,无需用户具备技术背景或注册账号即可快速获取结果。
emulate是一个为CI测试和无网络沙盒环境提供本地API模拟的工具。它完全模拟Vercel、GitHub、Google等服务的状态和生产级API行为,并非简单的数据mock。支持零配置启动、自定义端口和服务选择,提供CLI和编程接口。
这是一个基于MCP协议的服务器,为AI助手提供对个人知识图谱(支持Logseq和Obsidian)的全面读写访问。它提供37个工具,涵盖导航、搜索、分析、写作、决策记录、日记、闪卡和白板等功能,旨在让AI深度理解和操作用户的知识图谱结构。
Izwi是一个注重隐私的本地音频AI引擎,完全在设备上运行,无需云端服务。核心功能包括实时语音对话、文本转语音、语音识别、说话人分离、语音克隆、语音设计、强制对齐和文本聊天,并提供OpenAI兼容的API接口。
UlamAI是一个开源的Lean定理证明器,结合大型语言模型引导推理与Lean验证,能够生成机器可验证的Lean4证明。它支持从自然语言提示生成证明,并集成代码生成模型进行定理形式化。
一个轻量级AI代理检测与响应层,通过拦截Bash命令、URL请求和文件写入等工具调用,检查URL信誉、本地威胁模式、软件包供应链风险及插件安全性,为AI代理提供安全防护。
Go Music DL是基于Go语言的全网音乐搜索与下载工具,支持Web界面、TUI终端和桌面应用三种使用模式。聚合网易云、QQ音乐、酷狗等10多个平台的资源,支持多源并发搜索、无损音质解析、本地歌单管理和批量下载等功能。
自托管的Spotify音乐收听统计面板,通过轮询Spotify API记录用户的收听历史,并提供可视化数据仪表盘,便于用户分析个人音乐偏好和习惯。
TaskingAI 是一个开源的 AI 原生应用开发平台,支持开发者构建和部署基于大型语言模型(LLM)的智能应用。它提供了一套完整的工具和接口,旨在简化 AI 应用的开发流程,并可通过 Docker 或 PyPI 进行部署。
OpenYak是一个开源的本地AI桌面助手,完全在用户设备上运行,无需上传数据到云端。它支持文件管理、数据分析、文档草拟和办公自动化等工作流,提供多种AI模型和内置工具,注重隐私和实用性。
这是一个包含OpenVINO™工具包教程的Jupyter Notebook集合,用于学习和实践深度学习推理优化。它提供了从基础到应用的代码示例,帮助开发者快速掌握OpenVINO API的使用。
这是一个为Claude Code开发的网易云音乐助手Skill,提供播放控制、音乐搜索、队列管理、偏好分析、场景推荐、每日推荐等一站式音乐服务,专为华语用户优化。


