The WeChat Reading MCP Server is a lightweight server that bridges WeChat Reading data and Claude Desktop, aiming to achieve in-depth interaction between reading notes and AI. This product utilizes the MCP protocol to seamlessly integrate reading data, providing real-time access and significantly improving users' reading efficiency and information management capabilities.

LeoMoon Wiki-Go is a fast, modern flat-file Wiki built using Go. It focuses on simplicity and performance, supports Markdown formatting, is completely database-free, and requires zero maintenance. Suitable for personal knowledge management, team collaboration, and internal documentation.

Yuxi-Know is a knowledge graph question-and-answer system based on a large model RAG knowledge base, built using Llamaindex + VueJS + Flask + Neo4j. It supports model calls from OpenAI, mainstream domestic large model platforms, and local vllm deployment, and can implement functions such as knowledge base Q&A, knowledge graph retrieval, and online search. The main advantages of this system are flexible adaptation to multiple models, support for multiple knowledge base formats, and strong knowledge graph integration capabilities. It is suitable for enterprises and research institutions that need efficient knowledge management and intelligent question-and-answer, and has high technological advancement and practicality.

SkyPilot RAG is a retrieval-augmented generation system that combines vector search and large language models. It provides legal professionals with efficient information retrieval and analysis tools through semantic search and intelligent question answering. Built on SkyPilot, the system manages infrastructure and efficiently utilizes computing resources, supporting deployment on any cloud environment or Kubernetes. Its main advantages include high accuracy, context awareness, and traceability, significantly improving the efficiency and reliability of legal document processing.

TheoremExplainAgent is an AI-powered model focused on generating detailed multimodal explanatory videos for mathematical and scientific theorems. It helps users gain a deeper understanding of complex concepts by combining text and visual animations. This product uses Manim animation technology to generate long videos exceeding 5 minutes, addressing the shortcomings of traditional text explanations, particularly excelling in revealing reasoning errors. Primarily aimed at the education sector to enhance learners' understanding of STEM theorems, its pricing and commercialization strategy are not yet clearly defined.

Coding-Tutor is a programming tutoring tool based on a large language model (LLM), designed to help learners improve their programming skills through conversational interaction. It addresses key challenges in programming tutoring through a Trace-and-Verify (Traver) workflow that combines knowledge tracing and round-by-round verification. This tool is not only suitable for programming education but also extensible to other task tutoring scenarios, helping to adjust teaching content according to the learner's knowledge level. The project is open source and supports community contributions.

kg-gen is an artificial intelligence-based tool that extracts knowledge graphs from plain text. It supports text inputs ranging from single sentences to lengthy documents and can handle conversational-style messages. Leveraging advanced language models and structured output techniques, this tool helps users quickly construct knowledge graphs, suitable for natural language processing, knowledge management, and model training, among other applications. kg-gen provides flexible interfaces and a variety of functionalities designed to streamline the knowledge graph generation process and enhance efficiency.

DeepScaleR-1.5B-Preview is a large language model optimized by reinforcement learning, dedicated to enhancing the capabilities of solving mathematical problems. It achieves significant improvements in accuracy within long-text inference scenarios, driven by distributed reinforcement learning algorithms. Key advantages include efficient training strategies, notable performance gains, and the flexibility of open-source availability. Developed by the Sky Computing Lab and Berkeley AI Research team at the University of California, Berkeley, this model aims to advance the application of artificial intelligence in education, especially in mathematics education and competitive mathematics. Available under the MIT open-source license, it is completely free for researchers and developers to use.

?? The AI Agents Course is a free online program provided by Hugging Face. It aims to help learners progress from beginners to experts in understanding the theory, design, and practice of AI agents. The course is rich in content, covering various aspects from foundational knowledge to practical applications. Through theoretical learning, hands-on activities, and challenge tasks, learners gain a deep understanding of how AI agents work, while also learning to use the latest libraries and tools to build their own agents. The course offers certification opportunities, allowing students and developers interested in AI agents to earn certificates upon completing specific tasks.

HoverNotes is a tool that converts videos into local Obsidian notes. It captures code snippets, charts, and visual elements, generating structured markdown notes with screenshots, closely integrating with Obsidian.

Docaroo is an intelligent document management tool that helps users organize, access, and protect digital documents through AI technology. Its secure cloud storage and intelligent reminder functions make it easier for users to manage important files.

SigmaNote is an AI memory tool that can convert various files, links into editable AI notes, helping users search, communicate and organize information anytime, anywhere. Its AI technology provides fast conversion, intelligent editing and convenient chat functions to improve work efficiency.

TeraBox is a platform that offers 1TB of free cloud storage and online file transfer services. It provides professional solutions for papers and online presentations through advanced algorithms and natural language processing technologies, improving work and study efficiency. The product targets individual users and small teams, offering 1TB of free cloud storage space.

ScatterNote is a tool that transforms scattered ideas into structured documents. It leverages AI technology to help users quickly capture and organize their ideas, improving work efficiency and organizational skills.

PAI is an AI-assisted homework application that allows users to capture questions by taking pictures and get instant answers, as well as receive personalized learning assistance. The app offers real-time answers, personalized practice, 24/7 support, and more to help users improve their learning efficiency.

The WeChat Reading MCP Server is a lightweight server that bridges WeChat Reading data and Claude Desktop, aiming to achieve in-depth interaction between reading notes and AI. This product utilizes the MCP protocol to seamlessly integrate reading data, providing real-time access and significantly improving users' reading efficiency and information management capabilities.

LeoMoon Wiki-Go is a fast, modern flat-file Wiki built using Go. It focuses on simplicity and performance, supports Markdown formatting, is completely database-free, and requires zero maintenance. Suitable for personal knowledge management, team collaboration, and internal documentation.

Supermemory MCP is a personal general-purpose memory platform designed to help users access and store their memory information anytime, anywhere. It supports access through different clients, allowing users to easily add and manage memories. This product emphasizes portability and privacy protection, making it suitable for a variety of user groups. It is free to use.