corpora-inc/encorpora

Corpora for k-12 and beyond

5Stars on the repository
11Mods indexed here, across every type
8d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

native-move

01

corpora-inc/encorpora

Skill Claude CodeCodex

Relocate, rename, or re-parent a Tauri plugin crate without breaking the frontend, the capability file, or the custom URI scheme. Use before moving anything under corpan/plugins/ or /src-tauri/, when sharing a plugin between Corpán and Dynawalla, or when a crate rename is proposed.

5 8d ago A 67 tokens

trunk-pr

02

corpora-inc/encorpora

Skill Claude CodeCodex

The encorpora worker loop as an executable procedure — fetch, worktree, implement, verify, commit, push, open the PR, self-review adversarially, fix, merge on green, fast-forward local main. Use for every change that lands on main, and whenever you are about to run git worktree add, gh pr create, or gh pr merge in…

5 8d ago A 86 tokens