mirror of
https://github.com/Abdess/retroarch_system.git
synced 2026-11-11 12:33:53 -06:00
--yes alone installed the whole list, 6.4 GB on a dArkOS card holding two games, while the screen offers what the games need first. A run that asks nothing now takes that first choice when the card holds games, and says so. --all-files installs the whole list. A run given its list (the screen's own runs) or narrowed by name is unchanged.
226 lines
12 KiB
Python
226 lines
12 KiB
Python
"""What the site tells an AI agent about itself.
|
||
|
||
- ``llms.txt`` (https://llmstxt.org): the pages and data an agent should
|
||
read first, in Markdown, at the site's root.
|
||
- ``skills/setup-bios/SKILL.md``: an Agent Skill that sets up a device's
|
||
BIOS files with the fewest downloads.
|
||
- ``ard.json``: an Agentic Resource Discovery manifest
|
||
(https://github.com/ards-project/ard-spec) listing that skill and the
|
||
JSON API, linked from every page's head with ``rel="ard"``.
|
||
|
||
Both are written from the registry at each build, so a new platform or a
|
||
moved page cannot leave them stale. The WebMCP tools a page registers live
|
||
in website/src/scripts/agent-tools.ts.
|
||
"""
|
||
|
||
from __future__ import annotations
|
||
|
||
import json
|
||
from collections.abc import Callable
|
||
from pathlib import Path
|
||
|
||
SITE = "https://abdess.github.io/retrobios/"
|
||
PUBLISHER = "abdess.github.io"
|
||
SH = "curl -fsSL https://abdess.github.io/retrobios/i | sh -s --"
|
||
PS = "& ([scriptblock]::Create((irm https://abdess.github.io/retrobios/i.ps1)))"
|
||
# What a folder put into a command may not hold, as agent-tools.ts refuses
|
||
# it: PowerShell also ends a single-quoted string on the typographic quotes.
|
||
REFUSED = "any quote, straight or typographic (' \" ‘ ’ ‚ ‛ “ ” „), a backtick or a control character"
|
||
QUOTING = (f"A folder goes in single quotes, attached to its option. One that holds {REFUSED}, "
|
||
"or starts with `-`, is a question for the user, never a value to escape into the "
|
||
"command. On a page of the site, the `device_setup_command` WebMCP tool writes the "
|
||
"command and refuses such a folder.")
|
||
|
||
START_PAGES = (
|
||
("Which pack do I need", "which-pack/", "pick a device or setup, get the folder its BIOS files go in, "
|
||
"one command that installs and checks them, or a ZIP pack"),
|
||
("First install", "wiki/first-install/", "the steps from nothing to a working BIOS folder"),
|
||
("What are BIOS files", "wiki/what-are-bios-files/", "why emulators need them and where they come from"),
|
||
("Troubleshooting", "wiki/troubleshooting/", "a file the emulator does not find or refuses"),
|
||
("Common questions", "wiki/faq/", "short answers"),
|
||
)
|
||
|
||
DATA = (
|
||
("API index", "api/v1/index.json", "every dataset of the JSON API, versioned"),
|
||
("Catalog", "api/v1/catalog.json", "each dataset, manifest, export and download with its size, SHA-256 and schema"),
|
||
("Emulators", "api/v1/emulators.json", "every emulator profile: the files it reads, required or not, "
|
||
"their hashes and the source line that reads each. One document "
|
||
"per emulator at api/v1/emulators/<id>.json"),
|
||
("Core names", "api/v1/cores.json", "each core name and alias, with the profile it designates"),
|
||
("Systems", "api/v1/systems.json", "each system id, its name and the section holding its files"),
|
||
("Platforms", "api/v1/platforms.json", "each setup (RetroArch, Batocera...), its BIOS folder and files"),
|
||
("Hash lookup", "api/v1/lookup/00.json", "what a hash (MD5, SHA-1, SHA-256, CRC32) designates, sharded "
|
||
"by its first two hex characters: api/v1/lookup/<xx>.json"),
|
||
)
|
||
|
||
MORE = (
|
||
("Emulators", "emulators/", "one page per emulator"),
|
||
("Systems", "systems/", "one page per console maker, every file with its hashes"),
|
||
("Installer", "wiki/installer/", "every option of install.py"),
|
||
("What we count", "wiki/privacy/", "the site's cookie-free counting"),
|
||
("Is it legal?", "wiki/legal/", "the project's position"),
|
||
("Contributing", "contributing/", "add a missing file or an emulator profile"),
|
||
)
|
||
|
||
|
||
def llms_txt(platforms: list[tuple[str, str]]) -> str:
|
||
"""The site's llms.txt. ``platforms`` lists (id, display name) of every
|
||
registered setup, each with its page."""
|
||
lines = [
|
||
"# RetroBIOS",
|
||
"",
|
||
"> BIOS and firmware files for emulators, each checked against the emulator's source "
|
||
"code: which files an emulator reads, whether it starts without them, where each one "
|
||
"goes on every setup, their hashes, and an installer that puts them in place.",
|
||
"",
|
||
"Every claim about a file cites the line of emulator source code that reads it. The "
|
||
"files themselves are served by the GitHub repository "
|
||
"(https://github.com/Abdess/retrobios) and its releases.",
|
||
"",
|
||
"## Setting up a device for its user",
|
||
"",
|
||
"Most people want to play now, with the fewest files. The installer does that in one "
|
||
"command: it finds the setup and its BIOS folder, reads the games on the card, and with "
|
||
"`--for-games --required-only` installs only the files those games cannot start "
|
||
"without. `--yes` alone installs what the card's games need, optional files "
|
||
"included, and `--all-files` the setup's whole list (gigabytes).",
|
||
"",
|
||
f"1. Preview, nothing written: `{SH} --for-games --required-only --dry-run`",
|
||
f"2. Install, no questions: `{SH} --for-games --required-only --yes`",
|
||
f"3. On Windows (PowerShell): `{PS} --for-games --required-only --yes`",
|
||
"",
|
||
"- Run it on the device itself (its terminal or SSH), or on a computer with the device's "
|
||
"card plugged in. The installer recognises the handheld systems on the card, among them "
|
||
"ArkOS, dArkOS, ArchR and UnofficialOS (R36S and its clones), muOS, KNULLI, ROCKNIX, "
|
||
"AmberELEC, EmuELEC, Onion, spruceOS and MinUI. "
|
||
"The [Linux handhelds page](" + SITE + "platforms/linux-handhelds/) maps each device "
|
||
"to its system and folder.",
|
||
"- From a computer, if the card is not found, name its BIOS folder: `--dest='<card>/bios'` "
|
||
"(ArkOS and dArkOS: the `bios` folder of the EASYROMS part).",
|
||
"- A games folder somewhere else: `--for-games='<folder>'`, one subfolder per system.",
|
||
f"- {QUOTING}",
|
||
"- Later, to see what is missing or wrong: `--check`. Machine-readable progress: "
|
||
"`--events` (JSON lines, one per event, documented on the installer page).",
|
||
"- A game the installer cannot identify gets every BIOS of its system, and the run names it.",
|
||
f"- The same steps as an Agent Skill: [SKILL.md]({SITE}{SKILL_PATH}).",
|
||
"",
|
||
"## Start",
|
||
"",
|
||
*(f"- [{title}]({SITE}{path}): {what}" for title, path, what in START_PAGES),
|
||
"",
|
||
"## Setups",
|
||
"",
|
||
*(f"- [{name}]({SITE}platforms/{pid}/): its BIOS folder and files" for pid, name in platforms),
|
||
"",
|
||
"## Data",
|
||
"",
|
||
*(f"- [{title}]({SITE}{path}): {what}" for title, path, what in DATA),
|
||
"",
|
||
"## Optional",
|
||
"",
|
||
*(f"- [{title}]({SITE}{path}): {what}" for title, path, what in MORE),
|
||
]
|
||
return "\n".join(lines) + "\n"
|
||
|
||
|
||
SKILL_PATH = "skills/setup-bios/SKILL.md"
|
||
# The Agent Skills media type ARD names: Markdown with this profile.
|
||
SKILL_TYPE = 'text/markdown; profile="urn:air:agent-skills"'
|
||
|
||
|
||
def skill_md() -> str:
|
||
"""An Agent Skill (SKILL.md: YAML front matter, then instructions) that
|
||
sets up a device's BIOS files with the fewest downloads."""
|
||
return "\n".join([
|
||
"---",
|
||
"name: setup-bios",
|
||
"description: Install the BIOS and firmware files a retrogaming device or computer needs "
|
||
"(RetroArch, Batocera, EmuDeck, ArkOS, dArkOS, muOS, KNULLI, ROCKNIX and others), only "
|
||
"what the games on its card need to start. Use when a user asks to set up emulators, "
|
||
"a handheld (R36S, Miyoo, Anbernic), BIOS files or firmware.",
|
||
"---",
|
||
"",
|
||
"# Set up BIOS files with RetroBIOS",
|
||
"",
|
||
"Most users want to play now, with the fewest files. Install only what the games on the "
|
||
"card need, unless the user asks for everything.",
|
||
"",
|
||
"## Steps",
|
||
"",
|
||
"1. Ask where the games are: on the device itself (you have its terminal or SSH), or on "
|
||
"its card plugged into this computer.",
|
||
f"2. Preview, nothing is written: `{SH} --for-games --required-only --dry-run` "
|
||
f"(Windows PowerShell: `{PS} --for-games --required-only --dry-run`).",
|
||
"3. Show the user the plan it prints: the setup found, the BIOS folder, the files and "
|
||
"their size. Ask before going on if the setup or the folder is not the one expected.",
|
||
"4. Install with the same command, `--yes` in place of `--dry-run`.",
|
||
"5. Report the summary line. A game the installer could not identify got every BIOS of "
|
||
"its system: say which.",
|
||
"",
|
||
"## When the setup or the card is not found",
|
||
"",
|
||
"- From a computer, name the card's BIOS folder: `--dest='<card>/bios'`. ArkOS and dArkOS "
|
||
"keep it on the EASYROMS part.",
|
||
"- Games outside the card: `--for-games='<folder>'`, one subfolder per system.",
|
||
"- A setup not detected: `--platform=<name>`, a name exactly as `--list-platforms` prints "
|
||
"it (letters, digits, `-` and `_`).",
|
||
f"- {QUOTING}",
|
||
"",
|
||
"## Later",
|
||
"",
|
||
"- `--check` says what is missing or wrong, without downloading.",
|
||
"- `--events` writes the run as JSON lines, for reading by a program.",
|
||
"",
|
||
f"Every option: {SITE}wiki/installer/. Devices and their folders: "
|
||
f"{SITE}platforms/linux-handhelds/. The site's guide for agents: {SITE}llms.txt.",
|
||
"",
|
||
])
|
||
|
||
|
||
def ard_manifest() -> dict:
|
||
"""The ARD manifest: the setup skill and the JSON API, each with the
|
||
questions it answers. llms.txt is found at the site root, as its
|
||
convention says."""
|
||
return {
|
||
"entries": [
|
||
{
|
||
"identifier": f"urn:air:{PUBLISHER}:retrobios:setup-bios",
|
||
"displayName": "Set up BIOS files with RetroBIOS",
|
||
"type": SKILL_TYPE,
|
||
"url": f"{SITE}{SKILL_PATH}",
|
||
"description": "An agent skill that installs the BIOS files a device needs, only "
|
||
"what the games on its card need to start.",
|
||
"representativeQueries": [
|
||
"install the minimum BIOS files for the games on my R36S running dArkOS",
|
||
"set up BIOS files for RetroArch on my Steam Deck",
|
||
"my emulator says BIOS missing, fix it",
|
||
],
|
||
"capabilities": ["SetupBios"],
|
||
"tags": ["bios", "firmware", "emulation", "retrogaming"],
|
||
},
|
||
{
|
||
"identifier": f"urn:air:{PUBLISHER}:retrobios:api",
|
||
"displayName": "RetroBIOS JSON API",
|
||
"type": "application/json",
|
||
"url": f"{SITE}api/v1/index.json",
|
||
"description": "Versioned JSON datasets: emulator profiles, platforms, systems, core "
|
||
"names and a hash lookup.",
|
||
"representativeQueries": [
|
||
"what file has the MD5 490f666e1afb15b7362b406ed1cea246",
|
||
"which files does the beetle_psx core read",
|
||
"where do PlayStation BIOS files go on Batocera",
|
||
],
|
||
"capabilities": ["HashLookup", "EmulatorFiles", "PlatformFiles"],
|
||
"tags": ["api", "json", "bios"],
|
||
},
|
||
]
|
||
}
|
||
|
||
|
||
def write(public: Path, platforms: list[tuple[str, str]],
|
||
write_if_changed: Callable[[str, str], object]) -> None:
|
||
write_if_changed(str(public / "llms.txt"), llms_txt(platforms))
|
||
(public / SKILL_PATH).parent.mkdir(parents=True, exist_ok=True)
|
||
write_if_changed(str(public / SKILL_PATH), skill_md())
|
||
write_if_changed(str(public / "ard.json"), json.dumps(ard_manifest(), indent=1) + "\n")
|