foundation-schema

Validate LeanOS artifact manifests in artifacts/vN/ against foundation-schema definitions and cross-references.

37|5|Updated Nov 18, 2025

Search Tags:#validation #yaml schemas #artifact definitions #LeanOS

Ready to run

npx skills add https://github.com/BellaBe/lean-os --skill foundation-schema

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: foundation-schema
Source: https://github.com/BellaBe/lean-os/tree/main/.claude/skills/engineering-foundation-schema
Command: npx skills add https://github.com/BellaBe/lean-os --skill foundation-schema

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill defines YAML schemas for LeanOS artifacts, enabling validation and cross-skill understanding of artifact formats.

Core Features & Use Cases

Directory schemas: objects.yaml, morphisms.yaml, effects.yaml, constraints.yaml.
Build schemas: category.yaml, effects.yaml, functors.yaml, transformations.yaml.
Verify schemas: proofs, laws-report, coverage-report.

Quick Start

Example: "Inspect artifacts/v1 and compare spec/schema with build outputs."

Frequently Asked Questions about foundation-schema

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

FAQPage Schema

How do I validate YAML manifest structures for LeanOS artifacts?▼

foundation-schema validates YAML manifests against defined schemas for LeanOS artifacts across spec, build, and verify directories. It checks objects.yaml, morphisms.yaml, effects.yaml, constraints.yaml, category.yaml, and wiring manifests to ensure correct field definitions, versioning, cross-references, and traces_to mappings for schema correctness.

What YAML schemas does foundation-schema define for LeanOS artifacts?▼

foundation-schema defines schemas for directory artifacts (objects.yaml, morphisms.yaml, effects.yaml, constraints.yaml), build artifacts (category.yaml, effects.yaml, functors.yaml, transformations.yaml), and verify artifacts (proofs, laws-report, coverage-report) with enforced relationships and diagnostic traceability.

Can I use foundation-schema to validate artifact outputs and trace schema issues?▼

Yes. foundation-schema enforces versioning, field definitions, relationships, and traces_to mappings across artifacts/v{N}/ directories to support validation of outputs and enable debugging of schema issues through diagnostic traceability.

What does foundation-schema check when validating LeanOS manifests?▼

foundation-schema validates manifest structure, field definitions, versioning compliance, cross-references between artifacts, traces_to mappings, and relationship consistency across spec, build, verify, and gen artifacts within the artifacts/v{N}/ directory hierarchy.

How do I compare spec schemas with build outputs using foundation-schema?▼

Inspect artifacts/v{N}/ directory structure and apply foundation-schema validation to compare spec directory schemas against build output schemas, ensuring field definitions, relationships, and cross-references align across both artifact types.