TriangulosTecnologia

5 mods across 1 repository, 2 stars between them.

verifier

01

TriangulosTecnologia/devanity-skills

Agent

Fresh-context independent verifier for a software change. Use when the caller supplies the change contract, target identity, diff/artifacts, proof obligations, and permitted verification commands. Judge whether the current target satisfies those claims. Never edit, sequence work, accept risk, or inherit the…

2 yesterday A 63 tokens

worker

02

TriangulosTecnologia/devanity-skills

Agent

Read-only collection agent. Use proactively for any task whose deliverable is data rather than a decision — running declared project commands, digesting long output (build/test/lint runs, logs, CI status, service or container state), enumerating occurrences, inspecting repo or environment state. Examples are…

2 yesterday A 101 tokens

archer

03

TriangulosTecnologia/devanity-skills

Skill Claude CodeCodex

Design or revise software architecture when a change is architecturally material. Use /archer for new systems, material boundary/state/contract/topology decisions, or when Maestro classifies a change A2. Start from required properties and semantics, then derive state, ownership, boundaries, repository topology…

2 yesterday A 79 tokens

guardian

04

TriangulosTecnologia/devanity-skills

Skill Claude CodeCodex

Guard and improve a repository's AI-readiness. Run /guardian plan, review, audit, improve, or docs to keep it in basis-form (a basis of decisions, not a list of cases) — compressible, contractual, verifiable, safe — and to migrate rules from prose into deterministic enforcement.

2 yesterday A 64 tokens

maestro

05

TriangulosTecnologia/devanity-skills

Skill Claude CodeCodex

Orchestrate a software change from intent to verified candidate. Use /maestro to compile a decision-complete, architecture-aware, proof-ready Change Contract, pass preflight, execute bounded slices, verify independently when warranted, and hand off to repository assurance without inventing human-owned decisions or…

2 yesterday A 65 tokens