Convex Self Hosting
waynesutton/markdown-site
Integrate Convex static self hosting into existing apps using the latest upstream instructions from get-convex/self-hosting every time.
Validates entire engineering proof chain. An agent skill from Microck/ordinary-claude-skills.
Install Proof Composer
$ npx skills add Microck/ordinary-claude-skills --skill proof-composer -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install Microck/ordinary-claude-skills proof-composer --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/Microck/ordinary-claude-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills_all/proof-composer .claude/skills/proof-composer && rm -rf skills-srcUse ~/.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/
Install the "proof-composer" agent skill from https://github.com/Microck/ordinary-claude-skills/tree/main/skills_all/proof-composer into .claude/skills/proof-composer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-composer", 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 install https://github.com/Microck/ordinary-claude-skills/tree/main/skills_all/proof-composerType 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.
$ npx skills add Microck/ordinary-claude-skills --skill proof-composer -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install Microck/ordinary-claude-skills proof-composer --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Microck/ordinary-claude-skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills_all/proof-composer .agents/skills/proof-composer && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "proof-composer" agent skill from https://github.com/Microck/ordinary-claude-skills/tree/main/skills_all/proof-composer into .agents/skills/proof-composer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-composer", 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.
$ npx skills add Microck/ordinary-claude-skills --skill proof-composer -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install Microck/ordinary-claude-skills proof-composer --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Microck/ordinary-claude-skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills_all/proof-composer .cursor/skills/proof-composer && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "proof-composer" agent skill from https://github.com/Microck/ordinary-claude-skills/tree/main/skills_all/proof-composer into .cursor/skills/proof-composer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-composer", 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 https://github.com/Microck/ordinary-claude-skills.git --path skills_all/proof-composer--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add Microck/ordinary-claude-skills --skill proof-composer -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install Microck/ordinary-claude-skills proof-composer --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Microck/ordinary-claude-skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills_all/proof-composer .gemini/skills/proof-composer && rm -rf skills-srcUse ~/.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/
Install the "proof-composer" agent skill from https://github.com/Microck/ordinary-claude-skills/tree/main/skills_all/proof-composer into .gemini/skills/proof-composer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-composer", 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.
$ gh skill install Microck/ordinary-claude-skills proof-composerInstalls 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).
$ npx skills add Microck/ordinary-claude-skills --skill proof-composer -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/Microck/ordinary-claude-skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills_all/proof-composer .github/skills/proof-composer && rm -rf skills-srcUse ~/.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/
Install the "proof-composer" agent skill from https://github.com/Microck/ordinary-claude-skills/tree/main/skills_all/proof-composer into .github/skills/proof-composer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-composer", 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.
$ npx skills add Microck/ordinary-claude-skills --skill proof-composer -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install Microck/ordinary-claude-skills proof-composer --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Microck/ordinary-claude-skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills_all/proof-composer .opencode/skills/proof-composer && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "proof-composer" agent skill from https://github.com/Microck/ordinary-claude-skills/tree/main/skills_all/proof-composer into .opencode/skills/proof-composer/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "proof-composer", 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-composer- GitHub stars
- 401
- Token cost
- ~5.2k tokens
- SKILL.md length
- 347 words
- Files
- 2
- Skills in repo
- 97
- Repo updated
- First seen
- Licence
- Proprietary
At a glance
Validates entire engineering proof chain. An agent skill from Microck/ordinary-claude-skills.
- Works in 5 steps: Collect All Proofs → Verify Version Consistency → Validate Proof Chain → …
- Engineering thread completes all actions
- SKILL.md covers Purpose, Position in Engineering Layer, Input Requirements and Validation Process, plus 9 more sections
- Calls jq
What it does
Proof Composer is an agent skill from Microck/ordinary-claude-skills. Validates entire engineering proof chain. Verifies architecture, backend maps, backend code, standardization, frontend types, infrastructure topology all compose correctly. This is the final DEPLOYMENT GATE - deployment blocked if proof chain invalid. Use when engineering thread completes all actions.
Its SKILL.md is about 5.2k tokens, which your agent loads only when the skill is triggered. The skill folder holds 1 other file (for example `metadata.json`).
It sits in DevOps & Cloud, covering Deployment. The repository describes itself as: An unappealing collection of Claude Skills and resources.
When your agent uses it
- Engineering thread completes all actions
- Tasks that involve Deployment
Example prompts
- “Use the proof-composer skill to validate entire engineering proof chain. An agent skill from Microck/ordinary-claude-skills”
- “/proof-composer”
Requirements
- Python 3
- Pre-approved tools (allowed-tools): bash_tool, view
Workflow steps
5 steps, taken from the step headings in SKILL.md.
- Collect All Proofs
- Verify Version Consistency
- Validate Proof Chain
- Check for Gaps
- Validate Composition End-to-End
What it can do on your machine
Read from SKILL.md and the folder at commit 1056d29. 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:
bash_toolview
From allowed-tools in the SKILL.md frontmatter.
Runs code
Shell commands in SKILL.md call:
jq
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 Composer loads about 5.2k tokens when it runs. Until then it costs about 79 tokens; SKILL.md has 347 words of instructions outside code blocks.
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
Its licence (Proprietary) doesn't allow us to republish the file, so here is its outline and opening line. It has 347 words (~5,238 tokens).
“Validate entire engineering proof chain and authorize deployment. This is the final deployment gate - nothing deploys without a valid composed proof.”
- name
- proof-composer
- allowed-tools
- bash_tool, view
- version
- 1.0.0
- model
- claude-sonnet-4-20250514
- license
- Proprietary - LeanOS Engineering Layer
Files
SKILL.md and 1 other file in skills_all/proof-composer of Microck/ordinary-claude-skills.
- SKILL.md
- metadata.json
Open the folder on GitHubat commit 1056d29
Compare with similar skills
Proof Composer 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.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Proof Composer this skillMicrock/ordinary-claude-skills | 401 | — | ~5.2k | Automated safety check: Pass | Proprietary | |
| Convex Self Hostingwaynesutton/markdown-site | 628 | — | ~1.4k | Automated safety check: Pass | MIT | |
| Byteplus Edge Pages Deploy5zjk5/prompt-engineering | 127 | — | ~3.9k | Automated safety check: Pass | None | |
| LobeHub Micro App Splitting Guidelobehub/lobehub | 83k | — | ~9.3k | Automated safety check: Pass | Custom licence | |
| Hunt HTTP Smugglingelementalsouls/Claude-BugHunter | 4.8k | — | ~1.8k | Automated safety check: Pass | MIT | |
| Cloudflare Pagessickn33/agentic-awesome-skills | 47k | 2 repos | ~2.4k | Automated safety check: Pass | MIT |
Similar skills
Byteplus Edge Pages Deploy
5zjk5/prompt-engineering
Deploy static websites to BytePlus Edge Pages with CDN. An agent skill from 5zjk5/prompt-engineering.
LobeHub Micro App Splitting Guide
lobehub/lobehub
Documents how LobeHub's standalone micro apps are hosted, built and routed differently on Cloud versus self-hosted Docker, so a change does not break one path while fixing the other.
Hunt HTTP Smuggling
elementalsouls/Claude-BugHunter
Hunt HTTP request smuggling (CL.TE, TE.CL, H2.CL, H2.TE). An agent skill from elementalsouls/Claude-BugHunter.
Cloudflare Pages
sickn33/agentic-awesome-skills
Deploy static sites and full-stack apps on Cloudflare Pages with previews, functions, and custom domains.
- Official
Dynamo Troubleshoot
NVIDIA/skills
Diagnose failed or unhealthy Dynamo deployments. An agent skill from NVIDIA/skills.
More from Microck/ordinary-claude-skills
All 97 skills in this repoEvery Style Editor
Microck/ordinary-claude-skills
This skill should be used when reviewing or editing copy to ensure adherence to Every's style guide.
Gemini Imagegen
Microck/ordinary-claude-skills
Generate and edit images using the Gemini API (Nano Banana Pro).
Andrew Kane Gem Writer
Microck/ordinary-claude-skills
Write Ruby gems following Andrew Kane's proven patterns and philosophy.
Codex
Microck/ordinary-claude-skills
Execute Codex CLI for code analysis, refactoring, and automated code changes.
Docs Review
Microck/ordinary-claude-skills
Review documentation changes for compliance with the Metabase writing style guide.
File Todos
Microck/ordinary-claude-skills
This skill should be used when managing the file-based todo tracking system in the todos/ directory.
Related
Categories
Questions about Proof Composer
What does Proof Composer do?
Validates entire engineering proof chain. An agent skill from Microck/ordinary-claude-skills. Proof Composer is an agent skill from Microck/ordinary-claude-skills. Validates entire engineering proof chain.
When should I use Proof Composer?
Proof Composer fits situations like: engineering thread completes all actions; tasks that involve Deployment.
How do I install Proof Composer in Claude Code?
Run `npx skills add Microck/ordinary-claude-skills --skill proof-composer -a claude-code`. Or copy the skill folder (skills_all/proof-composer in Microck/ordinary-claude-skills) into .claude/skills/proof-composer in your project. Claude Code loads it when a task matches its description.
How do I install Proof Composer in Codex?
Run `npx skills add Microck/ordinary-claude-skills --skill proof-composer -a codex`. Or copy the skill folder (skills_all/proof-composer in Microck/ordinary-claude-skills) into .agents/skills/proof-composer in your project. Codex loads it when a task matches its description.
Can I use Proof Composer 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 Microck/ordinary-claude-skills --skill proof-composer -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-composer, .gemini/skills/proof-composer, .github/skills/proof-composer and .opencode/skills/proof-composer in your project.
What does Proof Composer need to run?
Going by SKILL.md and its folder, Proof Composer needs the command-line tools its instructions call (jq). Our summary lists: Python 3. Its frontmatter pre-approves these tools: bash_tool, view.
Does Proof Composer 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 Composer 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 Composer use?
Proof Composer carries a proprietary licence (declared in SKILL.md). It is published on GitHub, but it is not open source: read the licence file before using or sharing it.
How many tokens does Proof Composer use?
About 5.2k tokens (SKILL.md is roughly 21k 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 Composer?
Skills that share tags, products or a category with Proof Composer: Convex Self Hosting (waynesutton/markdown-site, 628 stars), Byteplus Edge Pages Deploy (5zjk5/prompt-engineering, 127 stars), LobeHub Micro App Splitting Guide (lobehub/lobehub, 83k stars) and Hunt HTTP Smuggling (elementalsouls/Claude-BugHunter, 4.8k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Proof Composer?
Microck (a GitHub user) maintains it in Microck/ordinary-claude-skills, which has 401 GitHub stars. The repository holds 97 skills in this directory. The repository was last updated on September 6, 2026.
Source: Microck/ordinary-claude-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.