$ loading_

为 AI 搜索提供可追踪的多后端网页检索能力,便于统计与切换。
调用几何定理证明引擎,输入AG2格式题目并返回符号化证明结果。
智能分析 Obsidian 知识库内容结构,帮助快速理解笔记与关联信息
通过队列监控并执行命令或脚本,自动归档成功与失败任务。
Manages continuation notes for projects, enabling session handoff and historical browsing through a two-location storage system.
MCP server for interfacing with the official Model Context Protocol registry. Enables Claude and other MCP clients to dynamically discover, browse, search, and manage MCP servers directly from GitHub.
Enables delegating checkable subtasks such as summarization, search-and-summarize, and file downloads to a local OpenAI-compatible model, with mandatory result verification and job statistics.