Avatar for Yifeng Xiao from gravatar.com

Yifeng Xiao

Username    yfxiao16
Date joined   Joined

2 projects

chase-mcp

Last released

MCP server exposing the contract operations of CHASE as agent-callable tools

chase-cps

Last released

CHASE: Contract-based Heterogeneous Analysis and Systems Exploration
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page