Skip to main content

Reference implementation for the Scholialang structured reasoning language

Project description

Scholialang

Website · Spec · MCP · Python · Doug Fir Labs

scholialang

scholialang is the Python reference implementation for Scholia, a structured reasoning notation for agent traces.

Scholia v0.6 makes agent reasoning portable, inspectable, and reusable across sessions using content-addressed reasoning traces. The v0.6 language keeps the v0.5 closed vocabulary and adds the content-addressed substrate: optional canonical_id hashes, a canonical-id-keyed DAG registry, and the three core lazy-prelude modes hash_only, hash_list, and inline.

It contains the language-level pieces only:

  • atom dataclasses
  • parser
  • validator
  • canonical_id hashing
  • DAG registry primitives
  • lazy prelude rendering
  • stable atom IDs
  • metadata helpers
  • JSON/YAML serializers
  • Markdown/XML renderers

Host-runtime concerns such as trace persistence, enrichment, adjudication, and proof-graph bridging live outside this package.

Current v0.6 Scope

scholialang owns the language runtime for the v0.6 scope: the 32-kind closed vocabulary inherited from v0.5, optional canonical_id computation and validation, canonical-id-aware reference resolution, the local DAG registry primitive, and the three finalized lazy-prelude modes. MCP servers, editor clients, host plugins, and public launch pages live in sibling repositories.

Install

pip install scholialang

For local development:

pip install -e '.[dev]'
pytest

Related Repositories

This package tracks Scholia language version v0.6.0.

License

The scholialang reference implementation is dual-licensed under either MIT or Apache-2.0, at your option. See LICENSE, LICENSE-MIT, and LICENSE-APACHE.

The normative specification prose lives in scholialang-spec and is licensed separately under CC-BY-4.0.

Useful launch links:

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

scholialang-0.6.0.tar.gz (68.2 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

scholialang-0.6.0-py3-none-any.whl (75.0 kB view details)

Uploaded Python 3

File details

Details for the file scholialang-0.6.0.tar.gz.

File metadata

  • Download URL: scholialang-0.6.0.tar.gz
  • Upload date:
  • Size: 68.2 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for scholialang-0.6.0.tar.gz
Algorithm Hash digest
SHA256 b4d855167229307823ae146771c531d40670e3da122878afcdfe5d98ddd4d758
MD5 4d794c2493b105294746bbfcfab12b5f
BLAKE2b-256 2bb45c436db91af851353c330d463608ba38d40c7580378a1462d059ab26b8cf

See more details on using hashes here.

Provenance

The following attestation bundles were made for scholialang-0.6.0.tar.gz:

Publisher: publish.yml on dougfirlabs/scholialang

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file scholialang-0.6.0-py3-none-any.whl.

File metadata

  • Download URL: scholialang-0.6.0-py3-none-any.whl
  • Upload date:
  • Size: 75.0 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for scholialang-0.6.0-py3-none-any.whl
Algorithm Hash digest
SHA256 a974fc2abe5861c553e0aebb70152a5f290d62c50169758ffa4272576e4986ce
MD5 a79345e86152b23e665f7337eac0946e
BLAKE2b-256 713707361ac85ab091135faa6b5a36cf081a335c6ce5d247e6ebecd8becf5990

See more details on using hashes here.

Provenance

The following attestation bundles were made for scholialang-0.6.0-py3-none-any.whl:

Publisher: publish.yml on dougfirlabs/scholialang

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page