agentlanguages.dev valid

agentlanguages.dev

A community-edited catalogue of programming languages designed for AI agents to author code. 48 projects organised around three philosophical camps: syntactic (strip ambiguity from the surface), verification (make contracts mechanically checkable), orchestration (constrain how agents coordinate), plus adjacent and unclassified buckets.

For agents: Community-edited catalogue of 48 programming languages designed for AI agents to write code, grouped into syntactic, verification and orchestration camps; full

programming languages for agentsllm code generationconstrained decodinglanguage catalogueagent-authored code

Their llms.txt

The beginning of the file, from our validated copy saved 2026-10-24T02:46:07.751Z. Cached copy · Source on agentlanguages.dev

# agentlanguages.dev

> A community-edited catalogue of programming languages designed for AI agents to author code. 48 projects organised around three philosophical camps: syntactic (strip ambiguity from the surface), verification (make contracts mechanically checkable), orchestration (constrain how agents coordinate), plus adjacent and unclassified buckets.

The catalogue is descriptive, not promotional. Inclusion is based on whether a language's designers explicitly target LLMs or agents as authors — through token-friendly syntax, mechanically checkable contracts, agent-coordination primitives, or first-class effect declarations for model calls. Tools that *use* an LLM at runtime (chatbots, autocomplete plug-ins, IDE assistants) are out of scope.

Originally catalogued in a post ["Three camps alike in dignity"](https://negroniventurestudios.com/2026/05/20/three-camps-alike-in-dignity/) written for the Negroni Venture Studios blog. Maintained by Alasdair Allan.

## Homepage

- [agentlanguages.dev](https://agentlanguages.dev/index.md): Markdown companion to the homepage — Three Camps narrative, full catalogue, methodology.

## Catalogue (full text)

- [llms-full.txt](https://agentlanguages.dev/llms-full.txt): Every entry concatenated into one machine-readable file. 48 languages, full prose, design DNA cross-references, and timeline events.

## Syntactic camp (16)

Languages whose distinctive move is at the level of syntax — token-friendly surfaces, structural representations, IR-as-source.

- [Axis](https://agentlanguages.dev/languages/axis.md): Backend API language for small LLMs (1B/3B/7B). Twelve top-level constructs cover a production backend; LL(1) grammar and prefix-only expressions ship per-state logit masks for constrained decoding.
- [B-IR](https://agentlanguages.dev/languages/b-ir.md): A Jason Hall blog post on three attempts at an LLM-optimised language: B-IR with unicode opcodes, TBIR with control characters the model rewrote into English keywords, and Loom with pre/postconditions and stable error codes.
- [Canlang](https://agentlanguages.dev/languages/canlang.md): A language for AI agents to build custom business software, with browser forms and MCP tools derived from declared operations and independently authored examples that check their behaviour.
- [Codong](https://agentlanguages.dev/languages/codong.md): Designed for AI to write, with one canonical way to express every operation. Nine bundled modules, structured JSON errors with fix/retry fields, ? operator for propagation. Compiles to Go IR, then native via go build.
- [Faber Romanus](https://agentlanguages.dev/languages/faber.md): Typed compute language designed for coding agents to author and for humans to read. Mechanical syntax; the project states its English keywords were chosen by a multi-model council for the most stable, highest-probability hit on each concept; other locales render the same HIR.
- [ilo](https://agentlanguages.dev/languages/ilo.md): Token-minimal langua
…

Related sites

Find similar publishers by meaning →

Other listed sites in AI and machine learning. See the whole category →

Machine-readable: GET /v1/resolve?q=agentlanguages.dev · GET /v1/domain/agentlanguages.dev · this page as Accept: application/json or text/markdown · MCP lookup_domain

Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.

Claim my listing on Agent Web Map for agentlanguages.dev:
1. POST https://agentwebmap.com/v1/sites/agentlanguages.dev/claims and keep claim_id and claim_secret private.
2. Publish the proof: add the line "AgentWebMap ownership: <token>" (token from step 1) to https://agentlanguages.dev/llms.txt, or use the DNS, meta-tag or well-known method the response describes.
3. POST https://agentwebmap.com/v1/sites/agentlanguages.dev/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/agentlanguages.dev).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verify

Corrections or removal requests: contact the directory.