Skip to content
Agentmart
Submit a tool

infra

Check infrastructure readiness, manage MCP tools, and audit system dependencies.

Skill by sourcegraph

IndexedApache-2.0★ 37
Write a review

Install

Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.

npx agentmarket install skill/sourcegraph-infra

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

Check infrastructure readiness, manage MCP tools, and audit system dependencies.

Use cases: devops, security, agent-building

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.

Tools
No tools found
Secrets
None asked for
Install scripts
None found

Network hosts it talks to 1

  • codeload.github.com · found in install command

Files it touches

  • ~/.claude/skills/infra

What's inside

Skill name
infra
Description
Check infrastructure readiness, manage MCP tools, and audit system dependencies.
License
Apache-2.0
Instructions
62 lines in SKILL.md · view on GitHub

Files (1)

  • SKILL.md

SKILL.md (first lines)

# Skill: Infrastructure & Operations

## Scope

Use this skill when the user asks to:
- Check infrastructure readiness before runs
- Verify account quotas and rate limits
- Audit MCP (Model Context Protocol) tool availability
- Debug connectivity and credential issues
- Manage Docker images and build environments

## Canonical Commands

```bash
# Check overall infra readiness
python3 scripts/infra/check_infra.py

# Account health and rate limits
python3 scripts/infra/account_health.py status

# Check rate limit observations
python3 scripts/infra/account_health.py observations

# MCP audit (tool availability)
python3 scripts/infra/mcp_audit.py --json

# Build and push base images
./scripts/infra/build_linux_base_images.sh

# Check Daytona readiness
python3 scripts/infra/check_infra.py --daytona
```

## Infrastructure Checks

- **Tokens** — API keys valid, not expired
- **Docker** — daemon running, images available
- **Disk** — sufficient space in /tmp and working directories
- **Harbor CLI** — installed and authenticated
- **Network** — connectivity to external services
- **Quotas** — account concurrency limits and rate limits

## Account Readiness

- **OAuth tokens** — refresh if expired (older than 7 days)
- **Rate limits** — check recent observations for throttling
- **Concurrency** — each account has safe parallel slot capacity
- **Unsafe accounts** — automatically excluded from runs if flagged

## MCP Availability

- **Sourcegraph** — configured and accessible
- **DeepSearch** — credential validation
- **Tool coverage** — which tools are available per model
- **Fallback routing** — when MCP is unavailable

## Related Skills

- `/run` — uses infra checks before launch
- `/audit` — validates infrastructure compliance

From sourcegraph/CodeScaleBench, Apache-2.0.

More from sourcegraph/CodeScaleBench

Signals

Stars
37
Forks
5
Open issues
0
Last commit (this folder)
Mar 17, 2026 (7 months ago)

From GitHub (fetched Oct 24, 2026).

Details

License
Apache-2.0
First seen
Oct 24, 2026
Last checked
Oct 24, 2026

More from sourcegraph

Cite this page

infra skill. Agent Mart. https://agentmart.dev/skills/sourcegraph-infra (last updated 2026-10-24)