The Ultra-Low Power RISC-V Core

"CyclicReflex: Improving Large Reasoning Models via Cyclical Reflection Token Scheduling" by Chongyu Fan, Yihua Zhang, Jinghan Jia, Alfred Hero, Sijia Liu

Cursor gRPC 通信流量分析工具

Agent framework and applications built upon Qwen>=3.0, featuring Function Calling, MCP, Code Interpreter, RAG, Chrome extension, etc.

一个现代化的 Claude Code & Codex API 代理服务，提供智能负载均衡、用户管理和使用统计功能。

✨符合阅读习惯的微信公众号助手、微信公众号转MarkDown、微信公众号转PDF、定时更新订阅公众号文章、生成微信公众号RSS订阅源、导出微信公众号订阅源、支持微信公众号Webhook/微信公众号API/AI Agent接入微信公众号微信公众号、订阅微信公众号、微信公众号助手 、微信公众号阅读、微信公众号接口、微信公众号爬虫、微信公众号监测、标签订阅微信公众号、微信公众号源、微信公众号读书、…

A cross-platform desktop All-in-One assistant tool for Claude Code, Codex, OpenCode & Gemini CLI.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

BrowserWing turns your browser actions into MCP commands Or Claude Skill, allowing AI agents to control browsers efficiently and reliably. Say goodbye to slow, token-heavy LLM interactions — let ag…

AI-powered CLI coding agent with 20+ built-in tools, MCP support, and multi-model providers

A relative time formatting library, with no code.

Open-AutoGLM混合方案 - 在手机上运行AI自动化，无需电脑

📚 《从零开始构建智能体》——从零开始的智能体原理与实践教程

轻量级微信读书客户端，体积小，页面宽，自动翻页，体验增强 A Weixin Reader Desktop with Auto-turning and Wide-pager

WeFlow - 一个本地的微信聊天导出和年度报告应用

Vibe coding from 0 to 1 ｜把想法做成真正能上线的产品｜首个交互式教程｜零基础也能学会的 AI 编程实战

Papers from the computer science community to read and discuss.

The Prometheus monitoring system and time series database.

🦋 An Infographic Generation and Rendering Framework, bring words to life with AI!

🚗 智能挪车通知系统 - 基于 Cloudflare Workers，支持实时位置共享和多推送服务

[ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"

The personal finance app for everyone. NOT affiliated with or endorsed by Maybe Finance Inc.

opensouce RISC-V cpu core implemented in Verilog from scratch in one night!

Official repository for the EMNLP 2025 paper "Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision"

SystemVerilog frontend for Yosys

The official GitHub page for the survey paper "A Survey on LLM Symbolic Reasoning". And this paper is under review.

本仓库用于开源分享本人的第九届龙芯杯个人赛参赛作品

命盘（Mingpan） 是一个中华传统术数 MCP 服务，为 Claude 等 AI 应用提供命理排盘与占卜起卦的计算能力。

Fully autonomous AI hacker to find actual exploits in your web apps. Shannon has achieved a 96.15% success rate on the hint-free, source-aware XBOW Benchmark.