Stars
Agda is a dependently typed programming language / interactive theorem prover.
🌐 Make websites accessible for AI agents. Automate tasks online with ease.
A simple screen parsing tool towards pure vision based GUI agent
Monitor browser logs directly from Cursor and other MCP compatible IDEs.
Kronos: A Foundation Model for the Language of Financial Markets
A secure local sandbox to run LLM-generated code using Apple containers
DeerFlow is a community-driven Deep Research framework, combining language models with tools like web search, crawling, and Python execution, while contributing back to the open-source community.
A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)
MCP Server integrating MCP Clients with Stability AI-powered image manipulation functionalities: generate, edit, upscale, and more.
MCP server for Apple Developer Documentation - Search iOS/macOS/SwiftUI/UIKit docs, WWDC videos, Swift/Objective-C APIs & code examples in Claude, Cursor & AI assistants
Production-ready Claude subagents collection with 100+ specialized AI agents for full-stack development, DevOps, data science, and business operations.
Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.
AI Podcast Generator for bilingual episodes, Multi Languages, Alternative to NotebookLLM；真人对话AI播客生成器，多语言，多音色
一个简洁优雅的词典翻译 macOS App。开箱即用，支持离线 OCR 识别，支持有道词典，🍎 苹果系统词典，🍎 苹果系统翻译，OpenAI，Gemini，DeepL，Google，Bing，腾讯，百度，阿里，小牛，彩云和火山翻译。A concise and elegant Dictionary and Translator macOS App for looking up words an…
Control Claude Code remotely via email、discord、telegram. Start tasks locally, receive notifications when Claude completes them, and send new commands by simply replying to emails.
API, CLI, and Web App for analyzing and finding a person's profile in 1000 social media \ websites
The ultimate LLM/AI application development framework in Golang.
An AI agent development platform with all-in-one visual tools, simplifying agent creation, debugging, and deployment like never before. Coze your way to AI Agent creation.
Qwen3-Coder is the code version of Qwen3, the large language model series developed by Qwen team, Alibaba Cloud.
12 Lessons to Get Started Building AI Agents
Use Kimi latest model(kimi-k2-0711-preview) to drive your Claude Code.
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
A powerful GUI app and Toolkit for Claude Code - Create custom agents, manage interactive Claude Code sessions, run secure background agents, and more.