Get a spec manifest

curl --request GET \
  --url https://hub.theformalera.com/v1/specs/{org}/{model}/{version}

import requests

url = "https://hub.theformalera.com/v1/specs/{org}/{model}/{version}"

response = requests.get(url)

print(response.text)

const options = {method: 'GET'};

fetch('https://hub.theformalera.com/v1/specs/{org}/{model}/{version}', options)
  .then(res => res.json())
  .then(res => console.log(res))
  .catch(err => console.error(err));

<?php

$curl = curl_init();

curl_setopt_array($curl, [
  CURLOPT_URL => "https://hub.theformalera.com/v1/specs/{org}/{model}/{version}",
  CURLOPT_RETURNTRANSFER => true,
  CURLOPT_ENCODING => "",
  CURLOPT_MAXREDIRS => 10,
  CURLOPT_TIMEOUT => 30,
  CURLOPT_HTTP_VERSION => CURL_HTTP_VERSION_1_1,
  CURLOPT_CUSTOMREQUEST => "GET",
]);

$response = curl_exec($curl);
$err = curl_error($curl);

curl_close($curl);

if ($err) {
  echo "cURL Error #:" . $err;
} else {
  echo $response;
}

package main

import (
	"fmt"
	"net/http"
	"io"
)

func main() {

	url := "https://hub.theformalera.com/v1/specs/{org}/{model}/{version}"

	req, _ := http.NewRequest("GET", url, nil)

	res, _ := http.DefaultClient.Do(req)

	defer res.Body.Close()
	body, _ := io.ReadAll(res.Body)

	fmt.Println(string(body))

}

HttpResponse<String> response = Unirest.get("https://hub.theformalera.com/v1/specs/{org}/{model}/{version}")
  .asString();

require 'uri'
require 'net/http'

url = URI("https://hub.theformalera.com/v1/specs/{org}/{model}/{version}")

http = Net::HTTP.new(url.host, url.port)
http.use_ssl = true

request = Net::HTTP::Get.new(url)

response = http.request(request)
puts response.read_body

{
  "schema": "theformalera.spec-package/v1",
  "key": "<string>",
  "version": "<string>",
  "spec_version": "1.0",
  "digest": "<string>",
  "lean_toolchain": "<string>",
  "lean_library": "<string>",
  "lean_library_digest": "<string>",
  "scope": "text-only language-model path; the vision encoder and the MTP head are out of scope",
  "architecture": {},
  "config": {},
  "nodes": [
    {}
  ],
  "graph": [
    {}
  ],
  "domain": {
    "shape": {},
    "value": {}
  },
  "theorems": [
    {
      "name": "<string>",
      "statement": "<string>",
      "ok": true
    }
  ],
  "trust": {},
  "files": {},
  "signature": {
    "keyid": "<string>",
    "sig": "<string>"
  },
  "publisher": "<string>",
  "publisher_badge": "<string>",
  "published": "<string>",
  "yanked": true
}

{
  "detail": "<string>"
}