Audit Report Checker
nigo81/nigo-skills
Checks audit reports (financial statements and notes) for cross-reference, summation and text errors, with arithmetic done by script and results exported to Excel and Markdown.
Manage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional…
Install Aris Proof Orchestrator
$ npx skills add Tai609/NebulaMat --skill aris-proof-orchestrator -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install Tai609/NebulaMat aris-proof-orchestrator --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/Tai609/NebulaMat.git skills-src && mkdir -p .claude/skills && cp -r skills-src/runtime/skills-bundle/aris-proof-orchestrator .claude/skills/aris-proof-orchestrator && 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 "aris-proof-orchestrator" agent skill from https://github.com/Tai609/NebulaMat/tree/main/runtime/skills-bundle/aris-proof-orchestrator into .claude/skills/aris-proof-orchestrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aris-proof-orchestrator", 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/Tai609/NebulaMat/tree/main/runtime/skills-bundle/aris-proof-orchestratorType 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 Tai609/NebulaMat --skill aris-proof-orchestrator -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install Tai609/NebulaMat aris-proof-orchestrator --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Tai609/NebulaMat.git skills-src && mkdir -p .agents/skills && cp -r skills-src/runtime/skills-bundle/aris-proof-orchestrator .agents/skills/aris-proof-orchestrator && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "aris-proof-orchestrator" agent skill from https://github.com/Tai609/NebulaMat/tree/main/runtime/skills-bundle/aris-proof-orchestrator into .agents/skills/aris-proof-orchestrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aris-proof-orchestrator", 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 Tai609/NebulaMat --skill aris-proof-orchestrator -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install Tai609/NebulaMat aris-proof-orchestrator --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Tai609/NebulaMat.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/runtime/skills-bundle/aris-proof-orchestrator .cursor/skills/aris-proof-orchestrator && 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 "aris-proof-orchestrator" agent skill from https://github.com/Tai609/NebulaMat/tree/main/runtime/skills-bundle/aris-proof-orchestrator into .cursor/skills/aris-proof-orchestrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aris-proof-orchestrator", 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/Tai609/NebulaMat.git --path runtime/skills-bundle/aris-proof-orchestrator--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 Tai609/NebulaMat --skill aris-proof-orchestrator -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install Tai609/NebulaMat aris-proof-orchestrator --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Tai609/NebulaMat.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/runtime/skills-bundle/aris-proof-orchestrator .gemini/skills/aris-proof-orchestrator && 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 "aris-proof-orchestrator" agent skill from https://github.com/Tai609/NebulaMat/tree/main/runtime/skills-bundle/aris-proof-orchestrator into .gemini/skills/aris-proof-orchestrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aris-proof-orchestrator", 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 Tai609/NebulaMat aris-proof-orchestratorInstalls 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 Tai609/NebulaMat --skill aris-proof-orchestrator -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/Tai609/NebulaMat.git skills-src && mkdir -p .github/skills && cp -r skills-src/runtime/skills-bundle/aris-proof-orchestrator .github/skills/aris-proof-orchestrator && 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 "aris-proof-orchestrator" agent skill from https://github.com/Tai609/NebulaMat/tree/main/runtime/skills-bundle/aris-proof-orchestrator into .github/skills/aris-proof-orchestrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aris-proof-orchestrator", 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 Tai609/NebulaMat --skill aris-proof-orchestrator -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install Tai609/NebulaMat aris-proof-orchestrator --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Tai609/NebulaMat.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/runtime/skills-bundle/aris-proof-orchestrator .opencode/skills/aris-proof-orchestrator && 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 "aris-proof-orchestrator" agent skill from https://github.com/Tai609/NebulaMat/tree/main/runtime/skills-bundle/aris-proof-orchestrator into .opencode/skills/aris-proof-orchestrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "aris-proof-orchestrator", 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
aris-proof-orchestrator- GitHub stars
- 100
- Token cost
- ~5k tokens
- SKILL.md length
- 2,512 words
- Files
- 7 (incl. references)
- Skills in repo
- 15
- Repo updated
- First seen
- Licence
- Custom licence
At a glance
Manage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional…
- Works in 4 steps: State the target and its role: "To prove… → Derive each immediate subgoal and state… → If a subgoal has its own dependencies,… → …
- The user asks for proof-run orchestration
- SKILL.md covers NebulaMat integration contract, Role, Untrusted-Content Rule and Run Directory, plus 9 more sections
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Aris Proof Orchestrator is an agent skill from Tai609/NebulaMat. Manage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional DeepSeek second opinion as additional evidence only. Use when the user asks for proof-run orchestration, a GPT Pro handoff, or cross-run proof continuation — use /aris-proof-writer for ordinary proof drafting and /aris-proof-checker for rigorous verification or submission acceptance.
Its SKILL.md is about 5k tokens, which your agent loads only when the skill is triggered. The skill folder holds 7 other files, including reference files (for example `references/audit-output-contract.md`, `references/deepseek-routing.md` and `references/dispatch-prompts.md`).
It sits in Business, Finance & HR, covering Accounting and bookkeeping. It works with DeepSeek. The repository describes itself as: NebulaMat scientific materials research workbench.
When your agent uses it
- The user asks for proof-run orchestration
- A GPT Pro handoff
- Cross-run proof continuation — use /aris-proof-writer for ordinary proof drafting and /aris-proof-checker for rigorous verification
- Submission acceptance
Example prompts
- “/aris-proof-orchestrator”
Workflow steps
4 steps, taken from the first numbered list in SKILL.md.
- State the target and its role: "To prove A, it is enough to establish B, C, and D," together with the lemma, identity, or inference that…
- Derive each immediate subgoal and state where it comes from: an assumption, definition, prior lemma, or an explicitly shown calculation.
- If a subgoal has its own dependencies, expand it in the same target-first form. Order dependent subgoals by their true dependency relation…
- Recombine the established subgoals and explicitly return to the original target.
What it can do on your machine
Read from SKILL.md and the folder at commit c906ed5. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
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
Aris Proof Orchestrator loads about 5k tokens when it runs, and up to ~12k if it reads all its reference files. Until then it costs about 127 tokens; SKILL.md has 2,512 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 (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 2,512 words (~5,015 tokens).
“This upstream ARIS Codex workflow is installed as aris-proof-orchestrator. Apply these rules before the upstream instructions:”
- name
- aris-proof-orchestrator
Files
SKILL.md and 6 other files (references) in runtime/skills-bundle/aris-proof-orchestrator of Tai609/NebulaMat.
- SKILL.md
- references/audit-output-contract.md
- references/deepseek-routing.md
- references/dispatch-prompts.md
- references/notation-audit.md
- references/proof-audit-rubric.md
- references/stress-tests.md
Open the folder on GitHubat commit c906ed5
Compare with similar skills
Aris Proof Orchestrator 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 |
|---|---|---|---|---|---|---|
| Aris Proof Orchestrator this skillTai609/NebulaMat | 100 | — | ~5k | Automated safety check: Pass | Custom licence | |
| Audit Report Checkernigo81/nigo-skills | 133 | — | ~4.3k | Automated safety check: Pass | MIT | |
| Odoo Agency Fleet Reviewerpipe-org/mcp-odoo | 421 | — | ~699 | Automated safety check: Pass | MIT | |
| Investlongsizhuo/openInvest | 108 | — | ~5.9k | Automated safety check: Notes | MIT | |
| Workflow OrchestrationAnastasiyaW/codex-claude-code-config | 154 | — | ~3.8k | Automated safety check: Pass | MIT | |
| MCP Session Lifecyclenteract/nteract | 180 | — | ~3.2k | Automated safety check: Pass | BSD-3-Clause |
Similar skills
Odoo Agency Fleet Review
erpipe-org/mcp-odoo
Review many client Odoo databases at once through odoo-mcp's cross-instance tools — fleet-wide accounting health, per-client aging, partial-failure triage — for agencies and partners managing 5–50…
Invest
longsizhuo/openInvest
openInvest multi-asset AI investment committee — daily use. An agent skill from longsizhuo/openInvest.
Workflow Orchestration
AnastasiyaW/codex-claude-code-config
Написание и запуск Claude Code dynamic workflows (JS-оркестратор субагентов).
MCP Session Lifecycle
nteract/nteract
Understand the MCP server session lifecycle: attachment ownership, proxy supervision, daemon reconciliation, explicit notebook routing, readiness, scoped subscriptions, rejoin races, and room…
Marketplace Dev
daymade/claude-code-skills
Builds and maintains Claude Code plugin marketplaces: converts a skills repo to spec-valid marketplace.json, adds/updates plugin entries, and migrates skills into or between suites.
More from Tai609/NebulaMat
All 15 skills in this repoImage OCR
Tai609/NebulaMat
Read and transcribe the text visible inside an image file (PNG/JPG/JPEG/WebP/BMP/GIF) using the built-in Windows Media.Ocr OCR engine, with NO external credential or network required.
Nature Figure
Tai609/NebulaMat
Create, revise, audit, and export submission-grade scientific figures for Nature-family and other high-impact venues in Python (matplotlib/seaborn) or R (ggplot2/patchwork/ComplexHeatmap), including…
Electrochemical Adsorption Model Construction
Tai609/NebulaMat
Build provenance-controlled facet-specific electrochemical adsorption model cohorts from MatterGen candidates after MatterSim relaxation, including slab terminations, adsorption sites and…
Mattergen Structure Generation
Tai609/NebulaMat
Generate auditable candidate crystal structures with the project's pinned MatterGen runtime, including request construction, model/conditioning selection, GPU-cost bounds, workspace-safe output…
Mattersim Relaxation Screening
Tai609/NebulaMat
Run governed MatterSim-v1.0.0-5M energy, force, stress, and optional ASE FIRE relaxation for workspace-local standardized structures.
Nature Academic Search
Tai609/NebulaMat
Multi-source literature search, citation verification, strict independent other-citation audits, article-level citation metric tables, influential citer profiling with citation-context extraction…
Related
Works with
Categories
Questions about Aris Proof Orchestrator
What does Aris Proof Orchestrator do?
Manage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional…. Aris Proof Orchestrator is an agent skill from Tai609/NebulaMat. Manage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional DeepSeek second opinion as additional evidence only.
When should I use Aris Proof Orchestrator?
Aris Proof Orchestrator fits situations like: the user asks for proof-run orchestration; A GPT Pro handoff; cross-run proof continuation — use /aris-proof-writer for ordinary proof drafting and /aris-proof-checker for rigorous verification; submission acceptance.
How do I install Aris Proof Orchestrator in Claude Code?
Run `npx skills add Tai609/NebulaMat --skill aris-proof-orchestrator -a claude-code`. Or copy the skill folder (runtime/skills-bundle/aris-proof-orchestrator in Tai609/NebulaMat) into .claude/skills/aris-proof-orchestrator in your project. Claude Code loads it when a task matches its description.
How do I install Aris Proof Orchestrator in Codex?
Run `npx skills add Tai609/NebulaMat --skill aris-proof-orchestrator -a codex`. Or copy the skill folder (runtime/skills-bundle/aris-proof-orchestrator in Tai609/NebulaMat) into .agents/skills/aris-proof-orchestrator in your project. Codex loads it when a task matches its description.
Can I use Aris Proof Orchestrator 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 Tai609/NebulaMat --skill aris-proof-orchestrator -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/aris-proof-orchestrator, .gemini/skills/aris-proof-orchestrator, .github/skills/aris-proof-orchestrator and .opencode/skills/aris-proof-orchestrator in your project.
What does Aris Proof Orchestrator need to run?
SKILL.md names no scripts, command-line tools or credentials: Aris Proof Orchestrator is instructions for the agent only.
Does Aris Proof Orchestrator 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 Aris Proof Orchestrator 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 Aris Proof Orchestrator use?
Aris Proof Orchestrator has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.
How many tokens does Aris Proof Orchestrator use?
About 5k tokens (SKILL.md is roughly 20k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 6.8k tokens, read only when the agent opens those files.
What are the alternatives to Aris Proof Orchestrator?
Skills that share tags, products or a category with Aris Proof Orchestrator: Audit Report Checker (nigo81/nigo-skills, 133 stars), Odoo Agency Fleet Review (erpipe-org/mcp-odoo, 421 stars), Invest (longsizhuo/openInvest, 108 stars) and Workflow Orchestration (AnastasiyaW/codex-claude-code-config, 154 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Aris Proof Orchestrator?
Tai609 (a GitHub user) maintains it in Tai609/NebulaMat, which has 100 GitHub stars. The repository holds 15 skills in this directory. The repository was last updated on September 6, 2026.
Source: Tai609/NebulaMat on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.