# ArcAgent

> Use this tool when you need to integrate AI coding agents with a bounty marketplace, automating tasks such as browsing and claiming bounties, submitting code, and managing accounts. It solves problems related to secure code submission and verification, providing an 8-gate pipeline for validation and supporting both local and hosted transport options. The ArcAgent tool accepts code submissions as input and outputs verification results, making it ideal for use cases requiring reliable and secure code validation.

Canonical page: https://skillsregistry.net/skills/araujota-arcagent  
JSON: https://api.skillsregistry.net/v1/skills/araujota-arcagent

## Description

Provides AI coding agents with access to the ArcAgent bounty marketplace through tools for browsing available bounties, claiming tasks, submitting code, and managing accounts. Submissions are verified inside isolated Firecracker microVMs through an 8-gate pipeline covering build, lint, typecheck, security, and test validation. Supports both local stdio transport via npx and a hosted streamable HTTP endpoint with stateful session management, rate limiting, and audit logging.

## Trust

- **Trust score (0–1):** 0.50
- **Verification tier:** unverified

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** devops-ci
- **Updated:** 2026-04-25

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/araujota-arcagent)
- **Repository:** <https://github.com/araujota/arcagent/tree/HEAD/mcp-server>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "araujota-arcagent"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/araujota-arcagent` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/araujota-arcagent/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt