Nova-Violet-Role

Corpus — Development skill for Claude Code

Development community

Check or refresh the shared Lean Theorem corpus from the RoT MoE repository.

How to install Corpus

Installs to ~/.claude/skills/nova-violet-role-rot-moe-corpus/SKILL.md

Terminal

mkdir -p ~/.claude/skills/nova-violet-role-rot-moe-corpus && curl -fsSL https://raw.githubusercontent.com/Nova-Violet-Role/RoT-MoE/HEAD/commands/corpus.md -o ~/.claude/skills/nova-violet-role-rot-moe-corpus/SKILL.md

Restart Claude Code, or start a new session, for it to be picked up.

What Corpus does

name: corpus description: Check or refresh the shared Lean Theorem corpus from the RoT MoE repository

`/corpus` — the shared proof corpus

The `Lean Theorem/` folder is the **shared corpus**: proofs about other people's code, contributed by fork and pull request. It grows independently of the plugin version, which is exactly why it is fetched rather than shipped — a new plugin release for every contributed theorem would mean the version number was tracking somebody else's proofs.

Alternatives in Development

Lean Canvas — Generate Lean Canvas with problem, solution, UVP, and metrics 7.8k ★
Rb Refresh — Rebuild the repobrain project knowledge base after significant changes 1.3k ★
Ag Refresh — Rebuild the antigravity project knowledge base after significant changes 1.2k ★