formal-ai 0.217.0

Formal symbolic AI implementation with OpenAI-compatible APIs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

<!doctype html>
<html lang="en">
  <head>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1" />
    <meta name="formal-ai-version" content="__FORMAL_AI_VERSION__" />
    <meta
      name="description"
      content="Install the formal-ai VS Code extension. Until it is on the Marketplace the only install method is manual — a one-line curl|sh installer or a downloaded .vsix — plus one-click install from the desktop app."
    />
    <!--
      The VS Code install page (issue #554) is a self-contained chooser rendered
      by the shared site-chrome.js: no cross-origin requests, so the same strict
      same-origin CSP as / and /docs/ applies. The copy-to-clipboard buttons use
      the in-bundle navigator.clipboard API (no inline scripts), so no CSP
      relaxation is needed.
    -->
    <meta
      http-equiv="Content-Security-Policy"
      content="default-src 'self'; img-src 'self' data:; script-src 'self'; style-src 'self'; base-uri 'self'; form-action 'self';"
    />
    <title>formal-ai for VS Code</title>
    <link rel="icon" href="data:," />
    <!-- Cache-busted with the deploy SHA exactly like / and /app/ (issue #479). -->
    <link rel="stylesheet" href="../landing.css?v=__FORMAL_AI_ASSET_VERSION__" />
  </head>
  <body>
    <main id="vscode-app" class="page-shell" data-testid="vscode-app">
      <noscript>
        <section class="hero">
          <h1>formal-ai for VS Code</h1>
          <p class="summary">
            The extension is not on the Marketplace yet, so it installs manually.
          </p>
          <ul>
            <li>
              One-line install (macOS/Linux):
              <code
                >curl -fsSL
                https://raw.githubusercontent.com/link-assistant/formal-ai/main/scripts/install.sh
                | sh -s -- vscode</code
              >
            </li>
            <li>
              <a
                href="https://raw.githubusercontent.com/link-assistant/formal-ai/main/scripts/install.sh"
                >Download install.sh</a
              >
            </li>
            <li>
              <a href="https://github.com/link-assistant/formal-ai/releases/latest"
                >Download the .vsix from the latest release</a
              >, then run
              <code>code --install-extension formal-ai-vscode-&lt;version&gt;.vsix</code>.
            </li>
            <li><a href="../download/">All downloads</a></li>
          </ul>
        </section>
      </noscript>
    </main>

    <!--
      The shared site-chrome.js renders the same top bar (brand + theme/locale
      switchers) the landing and download pages use, reusing the visitor's
      stored theme/locale via ../preferences.js. vscode.js supplies the config
      (hero + install sections + cross-links).
    -->
    <script src="../preferences.js?v=__FORMAL_AI_ASSET_VERSION__"></script>
    <script src="../site-chrome.js?v=__FORMAL_AI_ASSET_VERSION__"></script>
    <script src="vscode.js?v=__FORMAL_AI_ASSET_VERSION__"></script>
  </body>
</html>