>_Skillful
Need help with advanced AI agent engineering?Contact FirmAdapt
huaxu chen

huaxu chen

@xu

On GitHub since October 2014

32

Published Tools

688

Total Stars

879

Weekly Downloads

2

GitHub Followers

2

Public Repos

98/100

Avg Security

Published Tools

16 MCP Servers13 Skills3 Agentsacross 5 categories

Kaidi Xu, Zhouxing Shi, Huan Zhang, Yihan Wang, Shiqi Wang, Linyi Li, Jinqi (Kathryn) Chen, Zhuolin Yang

A library for Automatic Linear Relaxation based Perturbation Analysis (LiRPA) on general computational graphs, with a focus on adversarial robustness verification and certification of deep neural networks.

...more
Skilluncategorised
357

Weize Xu, Quan Zhong, Zehua Zeng, Xuehai Wang

A framework for building distributed evolvable multi-agent system.

MCP Servermcp
2891 dir

MCP Server for micro-app knowledge base

MCP Serveruncategorised
182 dirs

An useful tool to help your chatbot to connect third platform, such as dingtalk, wetalk

Skilluncategorised
11

nlu of classifiers detection、name entity recognition、classification of chinese text

Skilluncategorised
7

BootstrapValidator support for Django projects

Skilluncategorised
3

MCP server for First-Order Logic provers (Vampire, E)

MCP Serveruncategorised
12 dirs

David Xu

MCP server for Z3/SMT solver - enables constraint solving and logical reasoning

MCP Serveruncategorised
12 dirs

Auto inject native system certificate stores

Skilluncategorised
1

MCP server for Scala 3 (Dotty) compiler development

MCP Servermcp
2 dirs

Mingxue (Mercy) Xu

A configuration-driven LLM compression framework using low-rank factorization and layer removal

Skillai-ml
1 dir

MerchWatch MCP Extension — Merchant performance monitoring tools for Goose (disputes, refunds, chargebacks, linkage)

MCP Servermcp
2 dirs

MCP server bridging AI agents with the Isabelle proof assistant via its LSP/PIDE interface

MCP Serveruncategorised
2 dirs

旅行平台本地 MCP 网关

MCP Servermcp
2 dirs

Arvin Xu

Convert LaTeX TikZ code into SVG images for crisp, scalable mathematical diagrams and visualizations.

MCP Serverscience-education
1 dir

An SDK for LLM tracing and more.

Agentuncategorised
1 dir

Huaiyuan Yao, Wanpeng Xu, Justin Turnau, Nadia Kellam, Hua Wei

LLM Agents on Automated Course Material Generation for Teaching Faculties

Agentai-agents
1 dir

Recapture what you built with Claude — conversation history analyzer and report generator

Skillai-ml
1 dir

Jie Xu

Inbox triage as a local app: log in to Gmail / Outlook / 163 and clear emails with 3-version LLM-drafted replies (DeepSeek-powered).

...more
Skilluncategorised
1 dir

A general-purpose generative agent runtime: ReAct loop, sessions, SSE streaming, MCP tool registry, charts and approvals, served by FastAPI with a built-in web UI.

...more
MCP Serveruncategorised
1 dir

A tmux statusline for OpenAI Codex CLI: context usage, 5h and weekly quota, and session tokens at a glance. Local-only.

Skillai-ml
1 dir

Zixiang Xu, Angela Huyue Zhang, S. Alex Yang, Xiyang Hu

Risk modeling for AI agents from logs: replay a proposed change over logged episodes and separate what the log settles, what a declared stop valuation fixes, and what needs bounds.

...more
Agentai-agents
1 dir

mcp server for agentsphere sandbox

MCP Serveruncategorised
1 dir

A MCP server for kaggle apis

MCP Serveruncategorised
1 dir

Add your description here

MCP Serveruncategorised
1 dir

Model Cache Server - MCP server for downloading and caching ML models and datasets

MCP Serveruncategorised
1 dir

David Xu

MCP server for Pyke logic programming engine

MCP Serveruncategorised
1 dir

MCP Server for siliconflow

MCP Serveruncategorised
1 dir

Keras implementation of CoordConv from the paper [An intriguing failing of convolutional neural networks and the CoordConv solution](https://arxiv.org/abs/1807.03247).

...more
Skilluncategorised

Liting Chen, Jiangtao Duan, Xu Han

Structural-break detection in high-dimensional factor models using QML methods.

Skilluncategorised

Yanhau Xu

predicting NEET risk using machine learning

Skilluncategorised

Roman Lutz, Ilya Matiach, Ke Xu

SDK API to assess image Machine Learning models.

Skilluncategorised