Skip to content

Commit d8112f2

Browse files
authored
Improve Agent Readiness (#6)
1 parent f27a472 commit d8112f2

6 files changed

Lines changed: 124 additions & 0 deletions

File tree

.nojekyll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+

.well-known/agent-resources.json

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
{
2+
"name": "LiquidJava",
3+
"description": "LiquidJava extends Java with refinement types to express stronger code restrictions and catch bugs before execution.",
4+
"homepage": "https://liquid-java.github.io/",
5+
"documentation": "https://liquid-java.github.io/liquidjava-docs/",
6+
"resources": [
7+
{
8+
"name": "GitHub organization",
9+
"url": "https://github.com/liquid-java",
10+
"type": "source-organization"
11+
},
12+
{
13+
"name": "Verifier, API, and examples",
14+
"url": "https://github.com/liquid-java/liquidjava",
15+
"type": "source-repository"
16+
},
17+
{
18+
"name": "Documentation repository",
19+
"url": "https://github.com/liquid-java/liquidjava-docs",
20+
"type": "source-repository"
21+
},
22+
{
23+
"name": "Tutorial repository",
24+
"url": "https://github.com/liquid-java/liquidjava-tutorial",
25+
"type": "source-repository"
26+
},
27+
{
28+
"name": "VS Code extension repository",
29+
"url": "https://github.com/liquid-java/vscode-liquidjava",
30+
"type": "source-repository"
31+
},
32+
{
33+
"name": "VS Code Marketplace",
34+
"url": "https://marketplace.visualstudio.com/items?itemName=AlcidesFonseca.liquid-java",
35+
"type": "extension-listing"
36+
},
37+
{
38+
"name": "Open VSX",
39+
"url": "https://open-vsx.org/extension/AlcidesFonseca/liquid-java",
40+
"type": "extension-listing"
41+
}
42+
]
43+
}

_headers

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
/
2+
Link: </sitemap.xml>; rel="describedby"; type="application/xml", </llms.txt>; rel="describedby"; type="text/plain", </.well-known/agent-resources.json>; rel="describedby"; type="application/json", <https://liquid-java.github.io/liquidjava-docs/>; rel="service-doc"
3+
4+
/robots.txt
5+
Content-Type: text/plain; charset=utf-8
6+
7+
/sitemap.xml
8+
Content-Type: application/xml; charset=utf-8
9+
10+
/llms.txt
11+
Content-Type: text/plain; charset=utf-8
12+
13+
/.well-known/agent-resources.json
14+
Content-Type: application/json; charset=utf-8

llms.txt

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
# LiquidJava
2+
3+
LiquidJava extends Java with refinement types so developers can express stronger code restrictions and catch bugs before execution.
4+
5+
## Primary site
6+
7+
- Homepage: https://liquid-java.github.io/
8+
- Documentation: https://liquid-java.github.io/liquidjava-docs/
9+
10+
## Related resources
11+
12+
- GitHub organization: https://github.com/liquid-java
13+
- Verifier, API, and examples: https://github.com/liquid-java/liquidjava
14+
- Documentation repository: https://github.com/liquid-java/liquidjava-docs
15+
- Tutorial repository: https://github.com/liquid-java/liquidjava-tutorial
16+
- VS Code extension repository: https://github.com/liquid-java/vscode-liquidjava
17+
- VS Code Marketplace: https://marketplace.visualstudio.com/items?itemName=AlcidesFonseca.liquid-java
18+
- Open VSX: https://open-vsx.org/extension/AlcidesFonseca/liquid-java

robots.txt

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
User-agent: *
2+
Allow: /
3+
Disallow: /assets/extension/
4+
Content-Signal: ai-train=no, search=yes, ai-input=no
5+
6+
User-agent: OAI-SearchBot
7+
Allow: /
8+
Content-Signal: ai-train=no, search=yes, ai-input=no
9+
10+
User-agent: GPTBot
11+
Disallow: /
12+
Content-Signal: ai-train=no, search=yes, ai-input=no
13+
14+
User-agent: Claude-Web
15+
Disallow: /
16+
Content-Signal: ai-train=no, search=yes, ai-input=no
17+
18+
User-agent: Google-Extended
19+
Disallow: /
20+
Content-Signal: ai-train=no, search=yes, ai-input=no
21+
22+
User-agent: Amazonbot
23+
Disallow: /
24+
Content-Signal: ai-train=no, search=yes, ai-input=no
25+
26+
User-agent: anthropic-ai
27+
Disallow: /
28+
Content-Signal: ai-train=no, search=yes, ai-input=no
29+
30+
User-agent: Bytespider
31+
Disallow: /
32+
Content-Signal: ai-train=no, search=yes, ai-input=no
33+
34+
User-agent: CCBot
35+
Disallow: /
36+
Content-Signal: ai-train=no, search=yes, ai-input=no
37+
38+
User-agent: Applebot-Extended
39+
Disallow: /
40+
Content-Signal: ai-train=no, search=yes, ai-input=no
41+
42+
Sitemap: https://liquid-java.github.io/sitemap.xml

sitemap.xml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
3+
<url>
4+
<loc>https://liquid-java.github.io/</loc>
5+
</url>
6+
</urlset>

0 commit comments

Comments
 (0)