# execution-proofs

> Use this tool when you need to verify the completion claims of AI agents by checking the existence and freshness of output files. It solves the problem of ensuring AI agents have actually generated the claimed output, providing a lightweight physical telemetry gate. This tool takes claimed output files as input and returns a verification result, making it ideal for use cases where trust in AI agent output is crucial.

Canonical page: https://skillsregistry.net/skills/zaxardery8011-design-execution-proofs  
JSON: https://api.skillsregistry.net/v1/skills/zaxardery8011-design-execution-proofs

## Description

Verifies AI agent completion claims by checking that claimed output files exist and are fresh, acting as a lightweight physical telemetry gate.

## Trust

- **Trust score (0–1):** 0.70
- **Verification tier:** verified
- **Last scanned:** 2026-09-01

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-09-01

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/g1yg6rjb9v)
- **Repository:** <https://github.com/zaxardery8011-design/execution-proofs>

## 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": "zaxardery8011-design-execution-proofs"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/zaxardery8011-design-execution-proofs` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/zaxardery8011-design-execution-proofs/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
