MCP servers from io.github.araujota
ArcAgent MCP server for bounty discovery, workspace execution, and verified coding submissions.
