diff --git a/.nojekyll b/.nojekyll new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/.nojekyll @@ -0,0 +1 @@ + diff --git a/.well-known/agent-resources.json b/.well-known/agent-resources.json new file mode 100644 index 0000000..7954735 --- /dev/null +++ b/.well-known/agent-resources.json @@ -0,0 +1,43 @@ +{ + "name": "LiquidJava", + "description": "LiquidJava extends Java with refinement types to express stronger code restrictions and catch bugs before execution.", + "homepage": "https://liquid-java.github.io/", + "documentation": "https://liquid-java.github.io/liquidjava-docs/", + "resources": [ + { + "name": "GitHub organization", + "url": "https://github.com/liquid-java", + "type": "source-organization" + }, + { + "name": "Verifier, API, and examples", + "url": "https://github.com/liquid-java/liquidjava", + "type": "source-repository" + }, + { + "name": "Documentation repository", + "url": "https://github.com/liquid-java/liquidjava-docs", + "type": "source-repository" + }, + { + "name": "Tutorial repository", + "url": "https://github.com/liquid-java/liquidjava-tutorial", + "type": "source-repository" + }, + { + "name": "VS Code extension repository", + "url": "https://github.com/liquid-java/vscode-liquidjava", + "type": "source-repository" + }, + { + "name": "VS Code Marketplace", + "url": "https://marketplace.visualstudio.com/items?itemName=AlcidesFonseca.liquid-java", + "type": "extension-listing" + }, + { + "name": "Open VSX", + "url": "https://open-vsx.org/extension/AlcidesFonseca/liquid-java", + "type": "extension-listing" + } + ] +} diff --git a/_headers b/_headers new file mode 100644 index 0000000..b7256a3 --- /dev/null +++ b/_headers @@ -0,0 +1,14 @@ +/ + Link: ; rel="describedby"; type="application/xml", ; rel="describedby"; type="text/plain", ; rel="describedby"; type="application/json", ; rel="service-doc" + +/robots.txt + Content-Type: text/plain; charset=utf-8 + +/sitemap.xml + Content-Type: application/xml; charset=utf-8 + +/llms.txt + Content-Type: text/plain; charset=utf-8 + +/.well-known/agent-resources.json + Content-Type: application/json; charset=utf-8 diff --git a/llms.txt b/llms.txt new file mode 100644 index 0000000..b9f21f8 --- /dev/null +++ b/llms.txt @@ -0,0 +1,18 @@ +# LiquidJava + +LiquidJava extends Java with refinement types so developers can express stronger code restrictions and catch bugs before execution. + +## Primary site + +- Homepage: https://liquid-java.github.io/ +- Documentation: https://liquid-java.github.io/liquidjava-docs/ + +## Related resources + +- GitHub organization: https://github.com/liquid-java +- Verifier, API, and examples: https://github.com/liquid-java/liquidjava +- Documentation repository: https://github.com/liquid-java/liquidjava-docs +- Tutorial repository: https://github.com/liquid-java/liquidjava-tutorial +- VS Code extension repository: https://github.com/liquid-java/vscode-liquidjava +- VS Code Marketplace: https://marketplace.visualstudio.com/items?itemName=AlcidesFonseca.liquid-java +- Open VSX: https://open-vsx.org/extension/AlcidesFonseca/liquid-java diff --git a/robots.txt b/robots.txt new file mode 100644 index 0000000..5921b59 --- /dev/null +++ b/robots.txt @@ -0,0 +1,42 @@ +User-agent: * +Allow: / +Disallow: /assets/extension/ +Content-Signal: ai-train=no, search=yes, ai-input=no + +User-agent: OAI-SearchBot +Allow: / +Content-Signal: ai-train=no, search=yes, ai-input=no + +User-agent: GPTBot +Disallow: / +Content-Signal: ai-train=no, search=yes, ai-input=no + +User-agent: Claude-Web +Disallow: / +Content-Signal: ai-train=no, search=yes, ai-input=no + +User-agent: Google-Extended +Disallow: / +Content-Signal: ai-train=no, search=yes, ai-input=no + +User-agent: Amazonbot +Disallow: / +Content-Signal: ai-train=no, search=yes, ai-input=no + +User-agent: anthropic-ai +Disallow: / +Content-Signal: ai-train=no, search=yes, ai-input=no + +User-agent: Bytespider +Disallow: / +Content-Signal: ai-train=no, search=yes, ai-input=no + +User-agent: CCBot +Disallow: / +Content-Signal: ai-train=no, search=yes, ai-input=no + +User-agent: Applebot-Extended +Disallow: / +Content-Signal: ai-train=no, search=yes, ai-input=no + +Sitemap: https://liquid-java.github.io/sitemap.xml diff --git a/sitemap.xml b/sitemap.xml new file mode 100644 index 0000000..763fcda --- /dev/null +++ b/sitemap.xml @@ -0,0 +1,6 @@ + + + + https://liquid-java.github.io/ + +