Skip to main content

system-spec-ref

Contract-first system specification toolkit: metamodel validator (system-spec), JSON Schema, greenfield/brownfield workflows, examples and formal-model skill guides (TLA+, Alloy, Modelable).

pip install system-spec-ref
system-spec --version
system-spec spec.yaml --stage architecture
system-spec export ./system-spec    # offline docs, examples, skills, WIRING.md

Metadata

Release files for system-spec-ref 0.1.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for system-spec-ref 0.1.0
File Size Uploaded Provenance Actions
system_spec_ref-0.1.0.tar.gz 229.9 kB With provenance Details for system_spec_ref-0.1.0.tar.gz

Built distribution (wheel)

Table of built distributions (wheels) for system-spec-ref 0.1.0
File Interpreter ABI Platform Actions
system_spec_ref-0.1.0-py3-none-any.whl Python 3 none any Details for system_spec_ref-0.1.0-py3-none-any.whl

Total release size: 383.5 kB

Release files / system_spec_ref-0.1.0.tar.gz

Download URL system_spec_ref-0.1.0.tar.gz
Size 229.9 kB
Tags Source
SHA-256 checksum
How to use checksums
c66245494cbadeeb757efc10314f8ca84ba2b3e6f27fc37ee6c5b0e78aac6bb8
BLAKE2b-256 checksum
How to use checksums
b3187617d292d6fdd40e5698519679be39f26e717f667c2f30b4b803888c4647
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/7.0.0 CPython/3.13.16

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on Nov 1, 2026.

Transparency log

Release files / system_spec_ref-0.1.0-py3-none-any.whl

Download URL system_spec_ref-0.1.0-py3-none-any.whl
Size 153.6 kB
Tags Python 3
SHA-256 checksum
How to use checksums
af360b98599fbdb716ee370ffbef47523cfb955fc91e39922e4de8b5e8e5cb29
BLAKE2b-256 checksum
How to use checksums
da052df2e91945979fdd2e8d1dbcdae000bce128b398386b3167bec6d48bb9a2
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/7.0.0 CPython/3.13.16

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on Nov 1, 2026.

Transparency log

Security for system-spec-ref 0.1.0

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

Full provenance

All 2 files in this release have been uploaded with provenance metadata.

Select from 2 files

Attestation for system_spec_ref-0.1.0.tar.gz

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on Nov 1, 2026.

Transparency log

A note on package security

PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.

To learn more about protecting yourself from malicious actors, visit our package security documentation.

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page