Skills
.Work. You
Rest

sage-interpreter

Community

Interpret SAGE specs across formality levels.

Software Engineering#documentation#refinement#specification#code-generation#tests#interpret#sage
Authorlememta
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Interpreting SAGE specs can be tedious and error-prone when moving across levels of formality. This skill provides a consistent, human-friendly and machine-friendly interpretation that can generate implementations, tests, or improvements from the given spec.

Core Features & Use Cases

  • Interpret Level 0 natural language, Level 1 structured specs, and Level 2 formal refinements.
  • Generate code, tests, or documentation from the spec, while preserving decisions marked with !!
  • Explain a spec in plain language to facilitate refinement discussions and design decisions.
  • Provide quick-start prompts and templates to accelerate spec-driven development.

Quick Start

Provide a SAGE spec file to the skill and request a code generation pass (implementation, tests, or refinement) for immediate results.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: sage-interpreter
Download link: https://github.com/lememta/sage-lang/archive/main.zip#sage-interpreter

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.