Run any Skill in Manus with one click

category-spec-subtrees

Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

Run Skill in Manus

Overview

Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

Install command

npx skills add https://github.com/dzackgarza/lattice-research --skill category-spec-subtrees

Copy and paste this command into Claude Code to install the skill

Source

dzackgarza/lattice-research

Stars0

Forks0

UpdatedMay 16, 2026 at 08:21

File Explorer

2 files

SKILL.md

readonly

More from this repository

same repository

category-spec-workflow

dzackgarza/lattice-research

Use when handling category-spec workflow state: cards, plans, decisions, TODO triage, retired cards, visual windows, branch/PR routing, validation handoff, or status updates.

2026-05-200

research-state-machine

dzackgarza/lattice-research

Use when moving research work from plan to execution, deciding whether a card is atomic, routing implementation/self-check/adversarial audit, promoting or rejecting results, or claiming GOAL.md discharge.

2026-05-200

category-framework-design

dzackgarza/lattice-research

Use when designing or reviewing category refinement order, Sage category creation, Hom/End/Aut structures, autsets, WithGenerators/FinitelyPresented axioms, dual-object routing, or constructor interception policy.

2026-05-180

research-planning-cleanup

dzackgarza/lattice-research

Use when doing post-hoc meta-review of completed cards, scanning for shallow/confabulated work that passed gate review, cleaning up planning debt, or identifying systemic Jerry-behaviour patterns across cards. Load when "planning cleanup", "meta-review", "completed card audit", or "card quality scan" is mentioned.

2026-05-180

research-proof-auditing

dzackgarza/lattice-research

Use when auditing computational or formal proofs, writing or reviewing mathematical argument notes, checking evidence sufficiency, reviewing Sage/GAP/Lean/Aristotle verification, detecting proof fraud, or deciding whether a result is accepted.

2026-05-180

category-spec-planning

dzackgarza/lattice-research

Use after the user asks to plan category-spec work, decompose an approved plan into cards, or organize plan phases into task/decision/research work.

2026-05-160

Source

dzackgarza

dzackgarza/lattice-research

View GitHub Repository View Creator Repositories

Install command

Download

Run Skill in Manus

Useful forSOC

Software DevelopersComputer and Mathematical Occupations15-1252L4

name	category-spec-subtrees
description	Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

Category Spec Subtrees

This skill is the canonical subtree-ownership guide for category_specs/.

Canonical source

The source of truth is this skill plus references/subtrees.md.

Read references/subtrees.md before editing a category-specific subtree, moving methods between subtrees, writing subtree-specific tests, or deciding whether a method belongs in generic Cat/Hom/End/Aut infrastructure or a specialized category.

Core policy

category_specs/AGENTS.md is the only subtree AGENTS entry point.
Lower nested AGENTS.md files were migrated here to avoid many always-loaded mini-manuals.
Load category-spec-style for spec/code compliance and category-spec-workflow for cards, status, plans, smoke triage, or delegation.
Use this skill for local ownership rules: which subtree owns which mathematical surface.