Stars
(Mirror) A Machine-to-Machine Interaction System for Lean 4
LeanInteract: A Python Interface for Lean 4
It's an automatic sign-up for a Windsurf account, so you only need an email address to get unlimited access to windsurf's premium features..这是一个自动注册 Windsurf 账号的工具，你只需要一个邮箱即可无限使用windsurf高级功能。
summaries of ai research
Summarize group chat with AI, LLM && query group chat, FREE to deploy your own, support img, link meta info, reply to, auto fold result, 支持中文检索.
A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & Agno integration)
🎁🆓OpenAI,Claude,Baidu等模型api直接上手使用，免去繁琐的注册过程，大多模型可免费试用
Technical report of Kimina-Prover Preview.
桌面版脑图 (百度脑图离线版，思维导图) 跨平台支持 Windows/Linux/Mac OS. (A cross-platform multilingual Mind Map Tool)
An AI-powered research assistant that performs iterative, deep research on any topic by combining search engines, web scraping, and large language models. The goal of this repo is to provide the si…
[TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚
Some articles by flipradio anchor --- Li HouChen
Android real-time display control software
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)