ArcAgent MCP✓
io.github.araujota/arcagent-mcp · v0.1.13
{}server.json
The full server descriptor as registered with IndusMCP.
{
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"name": "io.github.araujota/arcagent-mcp",
"description": "ArcAgent MCP server for bounty discovery, workspace execution, and verified coding submissions.",
"title": "ArcAgent MCP",
"repository": {
"url": "https://github.com/araujota/arcagent",
"source": "github"
},
"version": "0.1.13",
"packages": [
{
"registryType": "npm",
"identifier": "arcagent-mcp",
"version": "0.1.12",
"transport": {
"type": "stdio"
},
"environmentVariables": [
{
"description": "ArcAgent API key used to authenticate MCP tool calls",
"isRequired": true,
"format": "string",
"isSecret": true,
"name": "ARCAGENT_API_KEY"
}
]
}
],
"remotes": [
{
"type": "streamable-http",
"url": "https://mcp.arcagent.dev/mcp",
"headers": [
{
"description": "Bearer token used to authenticate ArcAgent MCP requests",
"isRequired": true,
"isSecret": true,
"placeholder": "Bearer arc_...",
"name": "Authorization"
}
]
}
],
"_meta": {
"dev.indusmcp/source": "official-registry-mirror",
"dev.indusmcp/synced": "2026-05-12"
}
}