skills.rest
alleneee
alleneeeCOMMUNITY
Explore all skills by this author →
GitHub

update-spec

Automate capture and formalization of executable code-spec contracts into .trellis/spec/.

Updated Apr 17, 2026
Search Tags:#documentation#contracts#design-decisions#infra#code-spec#update-spec
One-click install
npx skills add https://github.com/alleneee/topsport-agent --skill update-spec-alleneee
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: update-spec
Source: https://github.com/alleneee/topsport-agent/tree/main/.agents/skills/update-spec
Command: npx skills add https://github.com/alleneee/topsport-agent --skill update-spec-alleneee

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill automates the capture and formalization of executable code-spec contracts and related design decisions.

Core Features & Use Cases

  • Automates extraction and documentation of infra/cross-layer contracts.
  • Enforces mandatory sections for signatures, contracts, validation matrices, and tests.
  • Integrates with .trellis/spec/ to store structured specifications and provenance.

Quick Start

Run this skill after implementing or debugging to capture and formalize executable code-spec contracts and related design decisions in the .trellis/spec/ directory.

Frequently Asked Questions about update-spec

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I document executable code-spec contracts for cross-layer infra changes?▼

Executable code-spec contracts are documented by automating the capture of signatures, validation matrices, and tests, then storing them in the .trellis/spec/ directory. This formalizes design decisions for cross-layer infra changes.

What is the best way to formalize design decisions into durable code specifications?▼

Durable code specifications are formalized by enforcing mandatory documentation sections for signatures, contracts, and tests. This captures provenance and structures specifications for features, bug fixes, and new patterns.

How do I capture infra and cross-layer contracts after debugging or implementing features?▼

Infra and cross-layer contracts are captured after implementing or debugging by running an extraction process that formalizes related design decisions. The structured specifications are then stored directly in the .trellis/spec/ directory.

Does update-spec work for cross-team workflows and new code patterns?▼

Yes, update-spec applies to cross-team workflows and new code patterns. It automates the extraction and documentation of infra and cross-layer contracts, enforcing mandatory sections for signatures, contracts, validation matrices, and tests.

What limitations exist when enforcing validation matrices and test sections in code-specs?▼

The code-spec enforcement requires mandatory sections for signatures, contracts, validation matrices, and tests. It is specifically designed for infra and cross-layer changes, relying on the .trellis/spec/ directory for structured storage and provenance.

Related Skills

Explore More Software Engineering Skills→
zhukunpenglinyutongzhukunpenglinyutong
3.9k

update-spec

Capture executable contracts and coding knowledge into .trellis/spec/ documents.

Community
Advanced
LinnkidChenLinnkidChen
4

update-spec

Capture executable contracts and coding knowledge into code-spec documents.

Community
Advanced
tduck1equacktduck1equack

onboard

Guide new team members through AI-assisted onboarding with Trellis spec files.

Community
Advanced
MaplumeXMaplumeX

update-spec

Capture executable contracts and coding knowledge into code-spec documents.

Community
Advanced