
iLang runtime for any AI: load the protocol, validate iLang text, look up verbs, SOUL, Source Book.
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
[CHEK:@BOOK|whr=rubric_A1_A2]=>[Ω] Run the Source Book's two code checks on an engineering book: A1, the text opens and closes with the ::ILANG::v5.0::ENGINEERING_BOOK marker (exactly two such lines), and A2, the canon grammar validator reports zero errors and zero warnings (strict). Returns pass or fail per item with the validator's findings. For an agent that has no shell to run ilang_grammar_validator.py; same validator, same result.
The full text of BOOK.md
Pick your client. Values in capitals, like YOUR_TOKEN, are yours to fill in.
Run in a terminal
claude mcp add --transport http mcp https://mcp.ilang.ai/mcp
[CHEK:@BOOK|whr=rubric_A1_A2]=>[Ω] Run the Source Book's two code checks on an engineering book: A1, the text opens and closes with the ::ILANG::v5.0::ENGINEERING_BOOK marker (exactly two such lines), and A2, the canon grammar validator reports zero errors and zero warnings (strict). Returns pass or fail per item with the validator's findings. For an agent that has no shell to run ilang_grammar_validator.py; same validator, same result.
| Argument | Type | Description |
|---|---|---|
| text* | string | The full text of BOOK.md |
{
"type": "object",
"required": [
"text"
],
"properties": {
"text": {
"type": "string",
"description": "The full text of BOOK.md"
}
}
}[GET:@FAQ|whr=q=question]=>[Ω] Return the published ilang.ai FAQ entries closest to a question about the protocol (what it is, MCP/A2A comparison, prompt compression, versions, judgment layer, SOUL, the Source Book). Includes source_url.
| Argument | Type | Description |
|---|---|---|
| q* | string |
{
"type": "object",
"required": [
"q"
],
"properties": {
"q": {
"type": "string"
}
}
}Return a section of the full specification that the core runtime leaves out, found by its heading (for example "Declaration Grammar" or "Boundary Cases"), or the whole full text when no heading is given.
| Argument | Type | Description |
|---|---|---|
| section | string | A heading, or part of one |
{
"type": "object",
"properties": {
"section": {
"type": "string",
"description": "A heading, or part of one"
}
}
}[GET:@DICT|whr=q=term]=>[Ω] Look up an iLang verb, modifier, entity or declaration by name, alias or meaning. Returns type, name, alias, category, meaning, values and source_url. not_found=true when nothing matches; never invent terms.
| Argument | Type | Description |
|---|---|---|
| q* | string | Term, alias or keyword, e.g. XLAT, lng, @PREV, BUDGET |
{
"type": "object",
"required": [
"q"
],
"properties": {
"q": {
"type": "string",
"description": "Term, alias or keyword, e.g. XLAT, lng, @PREV, BUDGET"
}
}
}iLang is a specification between humans and AI: before the AI acts, it defines what that action is authorized to become; after, code checks whether it was done right. Return the official iLang runtime, the working text of the specification (about 18,600 tokens), verified against the canon's sha256. Load it once per conversation, then use iLang internally. media=true adds the image, video and audio extension (about 18,000 tokens more).
| Argument | Type | Description |
|---|---|---|
| media | boolean | Add the media extension |
{
"type": "object",
"properties": {
"media": {
"type": "boolean",
"description": "Add the media extension"
}
}
}Return iLang runtime lite: the two syntaxes, the verb table (88 verbs with their 13 Greek aliases), the 29 modifiers, the error codes, the declaration body forms, the registry of 32 declarations and the entity registry (25 entities), taken word for word from the canon's full runtime and checked against its sha256. About 18,000 characters, where ilang_runtime returns about 93,000. Enough to write iLang and check it with ilang_validate; it leaves out the execution and judgment layers, so load ilang_runtime when a task needs them.
No arguments.
{
"type": "object",
"properties": {}
}[GET:@SOUL|whr=form]=>[Ω] Return SOUL 2.0, the published iLang document that sets how an AI behaves by default: a judgment layer for its default persona. The text comes back as the file on ilang.ai/soul/ (about 2,000 characters), followed by a JSON line with version, date, license, DOI, file url and the sha256 of the text served. Paste the text where the AI reads its instructions. form=iml returns the IML 0.5 form instead.
| Argument | Type | Description |
|---|---|---|
| form | string | ilang (default) or iml |
{
"type": "object",
"properties": {
"form": {
"enum": [
"ilang",
"iml"
],
"type": "string",
"description": "ilang (default) or iml"
}
}
}[GET:@SOURCE_BOOK|whr=form]=>[Ω] Return Source Book 2.9, the engineering book every iLang engineering book is anchored to: pasted into an agent app that has a shell, files and the web, and given a tutorial, the agent confirms the tutorial's numbers against official sources and writes BOOK.md, an English iLang book any agent can carry out. The text comes back as the file on ilang.ai/source-book/ (about 7,600 characters), followed by a JSON line with version, date, license, DOI, file url and the sha256 of the text served. form=iml returns the IML 0.5 form instead.
| Argument | Type | Description |
|---|---|---|
| form | string | ilang (default) or iml |
{
"type": "object",
"properties": {
"form": {
"enum": [
"ilang",
"iml"
],
"type": "string",
"description": "ilang (default) or iml"
}
}
}Check iLang text with the canon grammar and registry validator. Returns error, warning and info counts and each finding with its line, code and message. An E302 finding (unknown modifier) may also carry did_you_mean, the registered modifier this server suggests for the key; the suggestion is added here and is not part of the canon validator's output.
| Argument | Type | Description |
|---|---|---|
| text* | string | iLang, or Markdown that carries iLang blocks |
{
"type": "object",
"required": [
"text"
],
"properties": {
"text": {
"type": "string",
"description": "iLang, or Markdown that carries iLang blocks"
}
}
}We read every tool's name, description and inputs the way the model will, looking for instructions hidden from you. A clean result means no warning signs, not a guarantee. Scanned Nov 13, 2026.