Agent skill

Proof Assistant

by majiayu000 in majiayu000/claude-skill-registry

Assist in constructing algorithm correctness proofs. An agent skill from majiayu000/claude-skill-registry.

MITAuto-check passed

Install Proof Assistant

skills CLI

$ npx skills add majiayu000/claude-skill-registry --skill proof-assistant -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI

$ gh skill install majiayu000/claude-skill-registry proof-assistant --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy

$ git clone --depth 1 https://github.com/majiayu000/claude-skill-registry.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/analysis/proof-assistant .claude/skills/proof-assistant && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Paste into Claude Code

Install the "proof-assistant" agent skill from https://github.com/majiayu000/claude-skill-registry/tree/main/skills/analysis/proof-assistant into .claude/skills/proof-assistant/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-assistant", then confirm the skill loads.

Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

$skill-installer

$skill-installer install https://github.com/majiayu000/claude-skill-registry/tree/main/skills/analysis/proof-assistant

Type this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.

skills CLI

$ npx skills add majiayu000/claude-skill-registry --skill proof-assistant -a codex

Project install goes to .agents/skills/; add -g for ~/.codex/skills/.

GitHub CLI

$ gh skill install majiayu000/claude-skill-registry proof-assistant --agent codex

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/majiayu000/claude-skill-registry.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/analysis/proof-assistant .agents/skills/proof-assistant && rm -rf skills-src

Use ~/.agents/skills/ instead of .agents/skills for a personal install.

Codex skills documentation · loads skills from .agents/skills/

Paste into Codex

Install the "proof-assistant" agent skill from https://github.com/majiayu000/claude-skill-registry/tree/main/skills/analysis/proof-assistant into .agents/skills/proof-assistant/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-assistant", then confirm the skill loads.

Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

skills CLI

$ npx skills add majiayu000/claude-skill-registry --skill proof-assistant -a cursor

Project install goes to .agents/skills/; add -g for ~/.cursor/skills/.

GitHub CLI

$ gh skill install majiayu000/claude-skill-registry proof-assistant --agent cursor

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/majiayu000/claude-skill-registry.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/analysis/proof-assistant .cursor/skills/proof-assistant && rm -rf skills-src

Use ~/.cursor/skills/ instead of .cursor/skills for a personal install.

Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/

Paste into Cursor

Install the "proof-assistant" agent skill from https://github.com/majiayu000/claude-skill-registry/tree/main/skills/analysis/proof-assistant into .cursor/skills/proof-assistant/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-assistant", then confirm the skill loads.

Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

gemini skills install

$ gemini skills install https://github.com/majiayu000/claude-skill-registry.git --path skills/analysis/proof-assistant

--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.

skills CLI

$ npx skills add majiayu000/claude-skill-registry --skill proof-assistant -a gemini-cli

Project install goes to .agents/skills/; add -g for ~/.gemini/skills/.

GitHub CLI

$ gh skill install majiayu000/claude-skill-registry proof-assistant --agent gemini-cli

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/majiayu000/claude-skill-registry.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/analysis/proof-assistant .gemini/skills/proof-assistant && rm -rf skills-src

Use ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.

Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/

Paste into Gemini CLI

Install the "proof-assistant" agent skill from https://github.com/majiayu000/claude-skill-registry/tree/main/skills/analysis/proof-assistant into .gemini/skills/proof-assistant/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-assistant", then confirm the skill loads.

Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

GitHub CLI

$ gh skill install majiayu000/claude-skill-registry proof-assistant

Installs for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).

skills CLI

$ npx skills add majiayu000/claude-skill-registry --skill proof-assistant -a github-copilot

Project install goes to .agents/skills/; add -g for ~/.copilot/skills/.

Manual copy

$ git clone --depth 1 https://github.com/majiayu000/claude-skill-registry.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/analysis/proof-assistant .github/skills/proof-assistant && rm -rf skills-src

Use ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.

GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/

Paste into GitHub Copilot

Install the "proof-assistant" agent skill from https://github.com/majiayu000/claude-skill-registry/tree/main/skills/analysis/proof-assistant into .github/skills/proof-assistant/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-assistant", then confirm the skill loads.

GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

skills CLI

$ npx skills add majiayu000/claude-skill-registry --skill proof-assistant -a opencode

OpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.

GitHub CLI

$ gh skill install majiayu000/claude-skill-registry proof-assistant --agent opencode

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/majiayu000/claude-skill-registry.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/analysis/proof-assistant .opencode/skills/proof-assistant && rm -rf skills-src

Use ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.

OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/

Paste into OpenCode

Install the "proof-assistant" agent skill from https://github.com/majiayu000/claude-skill-registry/tree/main/skills/analysis/proof-assistant into .opencode/skills/proof-assistant/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-assistant", then confirm the skill loads.

OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

Facts

Skill name: proof-assistant
GitHub stars: 666
Used in: 1 other repo
Token cost: ~422 tokens
SKILL.md length: 88 words
Files: 2
Skills in repo: 1,273
Repo updated: Oct 7, 2026
First seen: Oct 7, 2026
Licence: MIT

At a glance

Assist in constructing algorithm correctness proofs. An agent skill from majiayu000/claude-skill-registry.

SKILL.md covers Purpose, Capabilities, Target Processes and Proof Techniques, plus 2 more sections
Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Proof Assistant is an agent skill from majiayu000/claude-skill-registry. Assist in constructing algorithm correctness proofs

Its SKILL.md is about 420 tokens, which your agent loads only when the skill is triggered. The skill folder holds 1 other file (for example `metadata.json`).

The repository describes itself as: Searchable Claude Code skills catalog with source-linked guides and generated registry artifacts. The licence is MIT.

Example prompts

“/proof-assistant”

Requirements

Pre-approved tools (allowed-tools): Read, Write, Grep, Glob

What it can do on your machine

Read from SKILL.md and the folder at commit 2d14a69. It shows what the files ask for, not the result of running them.

Tool permissions
Pre-approves these tools, so the agent can use them without asking each time:
- Read
- Write
- Grep
- Glob
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md (its code samples are json).
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Proof Assistant loads about 422 tokens when it runs. Until then it costs about 17 tokens; SKILL.md has 88 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it: ~17
When it runs · the whole SKILL.md, loaded when a task matches: ~422

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from majiayu000/claude-skill-registry at commit 2d14a69, republished under its MIT licence (© majiayu000). 88 words, ~422 tokens.

Download SKILL.mdSave it as .claude/skills/proof-assistant/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.

name: proof-assistant
description: Assist in constructing algorithm correctness proofs
allowed-tools: Read, Write, Grep, Glob

Proof Assistant Skill

Purpose

Assist in constructing formal correctness proofs for algorithms using standard proof techniques.

Capabilities

Proof structure templates (induction, contradiction, etc.)
Step-by-step proof guidance
Termination argument generation
Proof review and validation
Identify proof gaps

Target Processes

correctness-proof-testing
algorithm-implementation

Proof Techniques

Mathematical Induction

Base case identification
Inductive hypothesis formulation
Inductive step construction

Proof by Contradiction

Assumption negation
Logical derivation
Contradiction identification

Loop Invariant Proofs

Invariant specification
Three-part proof (init, maintenance, termination)

Structural Induction

For recursive data structures
Base case (leaf/empty)
Inductive case (composite)

Input Schema

json

{
  "type": "object",
  "properties": {
    "algorithm": { "type": "string" },
    "code": { "type": "string" },
    "proofType": {
      "type": "string",
      "enum": ["induction", "contradiction", "invariant", "structural"]
    },
    "claim": { "type": "string" },
    "partialProof": { "type": "string" }
  },
  "required": ["algorithm", "claim"]
}

Output Schema

json

{
  "type": "object",
  "properties": {
    "success": { "type": "boolean" },
    "proof": { "type": "string" },
    "structure": { "type": "array" },
    "gaps": { "type": "array" },
    "suggestions": { "type": "array" }
  },
  "required": ["success"]
}

Files

SKILL.md and 1 other file in skills/analysis/proof-assistant of majiayu000/claude-skill-registry.

SKILL.md
metadata.json

Open the folder on GitHubat commit 2d14a69

Used in 1 other repository

We found 1 copy of this SKILL.md (exact, near-identical or edited) in other folders, from 1 other GitHub owner. This page covers the copy in majiayu000/claude-skill-registry, which our catalogue first saw on October 7, 2026.

a5c-ai/babysitterlibrary/specializations/algorithms-optimization/skills/proof-assistant

Compare with similar skills

Proof Assistant next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Proof Assistant compared with similar skills
Skill	Stars	Used in	Tokens	Auto-check	Licence	Repo updated
Proof Assistant this skillmajiayu000/claude-skill-registry	666	1 repos	~422	Automated safety check: Pass	MIT	yesterday
Audit Correctness Proofben-manes/caffeine	18k	—	~275	Automated safety check: Pass	Apache-2.0	3 days ago
Proof Videoopenclaw/openclaw	392k	—	~2.4k	Automated safety check: Pass	MIT	today
Correctcursor/plugins	10k	3 repos	~612	Automated safety check: Pass	None	yesterday
CorrectionNxcoreAI/EverRoom	3k	—	~290	Automated safety check: Pass	Custom licence	yesterday
Algorithmic Art with p5.jsanthropics/skills	180k	38 repos	~4.9k	Automated safety check: Pass	Apache-2.0	3 days ago

Similar skills

Audit Correctness Proof
ben-manes/caffeine
Attempt formal correctness proofs for all public cache methods
18k GitHub stars~275 tokensUpdated 3 days ago
Auto-check passed
Proof Video
openclaw/openclaw
Add subtitles, captions, narration cues, or zoom to a proof video or PR recording using repo-local capture helpers and a system ffmpeg renderer.
392k GitHub stars~2.4k tokensUpdated today
Media & CreativeAuto-check passed
Correct
cursor/plugins
Official
Find the mistakes agents keep repeating in this repo and make each one impossible.
10k GitHub starsUsed in 3 repos~612 tokens
Auto-check passed
Correction
NxcoreAI/EverRoom
Compute Room overview corrections—citation corrections as per-claim edits and general corrections as a single proposal.
3k GitHub stars~290 tokensUpdated yesterday
Research & ScienceAuto-check passed
Algorithmic Art with p5.js
anthropics/skills
Official
Creates original generative art in two steps: a written algorithmic philosophy, then a p5.js sketch with seeded randomness and an interactive viewer for exploring parameters.
180k GitHub starsUsed in 38 repos~4.9k tokens
Media & CreativeAuto-check passed
Generic Assistant
mastra-ai/mastra
Fallback authoring playbook for building general-purpose personal assistant agents that do not fit a more specific archetype.
29k GitHub stars~1.1k tokensUpdated today
Sales & SupportAuto-check passed

Questions about Proof Assistant

What does Proof Assistant do?

Assist in constructing algorithm correctness proofs. An agent skill from majiayu000/claude-skill-registry. Proof Assistant is an agent skill from majiayu000/claude-skill-registry.

How do I install Proof Assistant in Claude Code?

Run `npx skills add majiayu000/claude-skill-registry --skill proof-assistant -a claude-code`. Or copy the skill folder (skills/analysis/proof-assistant in majiayu000/claude-skill-registry) into .claude/skills/proof-assistant in your project. Claude Code loads it when a task matches its description.

How do I install Proof Assistant in Codex?

Run `npx skills add majiayu000/claude-skill-registry --skill proof-assistant -a codex`. Or copy the skill folder (skills/analysis/proof-assistant in majiayu000/claude-skill-registry) into .agents/skills/proof-assistant in your project. Codex loads it when a task matches its description.

Can I use Proof Assistant in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add majiayu000/claude-skill-registry --skill proof-assistant -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/proof-assistant, .gemini/skills/proof-assistant, .github/skills/proof-assistant and .opencode/skills/proof-assistant in your project.

What does Proof Assistant need to run?

SKILL.md names no scripts, command-line tools or credentials: Proof Assistant is instructions for the agent only. Its frontmatter pre-approves these tools: Read, Write, Grep, Glob.

Does Proof Assistant access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Proof Assistant safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Proof Assistant use?

Proof Assistant is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Proof Assistant use?

About 422 tokens (SKILL.md is roughly 1.7k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Proof Assistant?

Skills that share tags, products or a category with Proof Assistant: Audit Correctness Proof (ben-manes/caffeine, 18k stars), Proof Video (openclaw/openclaw, 392k stars), Correct (cursor/plugins, 10k stars) and Correction (NxcoreAI/EverRoom, 3k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Proof Assistant?

majiayu000 (a GitHub user) maintains it in majiayu000/claude-skill-registry, which has 666 GitHub stars. The repository holds 1,273 skills in this directory. The repository was last updated on October 7, 2026.

Source: majiayu000/claude-skill-registry on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.

Install Proof Assistant

Facts

At a glance

What it does

Example prompts

Requirements

What it can do on your machine

Tool permissions

Runs code

Network

Credentials

Context cost

Safety

SKILL.md

Proof Assistant Skill

Purpose

Capabilities

Target Processes

Proof Techniques

Mathematical Induction

Proof by Contradiction

Loop Invariant Proofs

Structural Induction

Input Schema

Output Schema

Files

Used in 1 other repository

Compare with similar skills

Similar skills

More from majiayu000/claude-skill-registry

Questions about Proof Assistant