sema-lang.com valid
Sema
A Scheme-like Lisp with runtime types for prompts, messages, conversations, tools, and agents, implemented in Rust.
For agents: Sema: Scheme-like Lisp implemented in Rust with runtime types for prompts, conversations, tools and agents; stdlib, LLM and observability docs.
lispschemerustllm promptsagents
Their llms.txt
The beginning of the file, from our validated copy saved 2026-10-23T23:50:56.629Z. Cached copy · Source on sema-lang.com
# Sema
> A Scheme-like Lisp with runtime types for prompts, messages, conversations, tools, and agents, implemented in Rust.
[Sema context](https://sema-lang.com/ai.txt) describes the project and runtimes; [documentation context](https://sema-lang.com/docs/ai.txt) explains how to use this reference.
**Coding agents: read [Sema for LLM agents](https://sema-lang.com/docs/for-agents.md) first** — a compact working guide to the rules most likely to cause incorrect generated code. The essentials:
- New functions are slash-namespaced (`file/read`, `string/split`, `regex/match?`); predicates end in `?`; conversions use `->`. Legacy Scheme string ops are kept (`string-append`).
- `nil` and `()` are distinct. Only `#f` and `nil` are falsy; `0`, `""`, and `()` are truthy.
- Lists are contiguous immutable sequences (O(1) `nth`, O(n) `cons`); mutable bindings use `define` + `set!` (there is no `atom`/`swap!`).
- Clojure-style surface: `:keywords`, `{:k v}` maps, `[1 2 3]` vectors, `#(* % %)` lambdas, `f"...${x}"` strings, `#"regex"` literals.
- LLMs are language primitives: `llm/complete`, `deftool`/`agent/run`, `llm/extract`, cassettes, OpenTelemetry, vector store.
The table of contents below indexes the full docs — fetch only the specific `/docs/**/*.md` pages you need, on demand. Do not load `/llms-full.txt` (the large full concatenation) into context.
## Table of Contents
### Standard Library Reference
- [Standard Library](https://sema-lang.com/docs/stdlib.md)
### Core Types
- [Math & Arithmetic](https://sema-lang.com/docs/stdlib/math.md)
- [Strings & Characters](https://sema-lang.com/docs/stdlib/strings.md)
- [Lists](https://sema-lang.com/docs/stdlib/lists.md)
- [Vectors](https://sema-lang.com/docs/stdlib/vectors.md)
- [Maps & HashMaps](https://sema-lang.com/docs/stdlib/maps.md)
- [Predicates & Type Checking](https://sema-lang.com/docs/stdlib/predicates.md)
- [Bytevectors](https://sema-lang.com/docs/stdlib/bytevectors.md)
- [Typed Arrays](https://sema-lang.com/docs/stdlib/typed-arrays.md)
- [Mutable Containers](https://sema-lang.com/docs/stdlib/mutable.md)
### File & Data Formats
- [File I/O & Paths](https://sema-lang.com/docs/stdlib/file-io.md)
- [PDF Processing](https://sema-lang.com/docs/stdlib/pdf.md)
- [CSV](https://sema-lang.com/docs/stdlib/csv.md)
- [TOML](https://sema-lang.com/docs/stdlib/toml.md)
- [Archives](https://sema-lang.com/docs/stdlib/archive.md)
- [Diff & Patch](https://sema-lang.com/docs/stdlib/diff.md)
- [Markdown & HTML](https://sema-lang.com/docs/stdlib/markup.md)
### Networking & Web
- [HTTP & JSON](https://sema-lang.com/docs/stdlib/http-json.md)
- [Web Server](https://sema-lang.com/docs/stdlib/web-server.md)
### System & Databases
- [System](https://sema-lang.com/docs/stdlib/system.md)
- [Processes & PTYs](https://sema-lang.com/docs/stdlib/process.md)
- [Git (read-only)](https://sema-lang.com/docs/stdlib/git.md)
- [SQLite](https://sema-lang.com/docs/stdlib/sqlite.md)
- [Key-Value Store](https://sema-lang.com/docs/
…
Related sites
Find similar publishers by meaning →
Other listed sites in AI agents and MCP. See the whole category →
| Domain | Title | Category | Country | Authority | llms.txt | llms-full.txt | Save |
|---|---|---|---|---|---|---|---|
| sourcey.com | Sourcey | interface AI and machine learning AI agents and MCP | — | 70 | ✓ | ✓ | |
| ausca.com | Ausca | interface AI agents and MCP APIs and SDKs | — | 65 | ✓ | ✓ | |
| nitrosend.com | Nitrosend | interface Marketing Communications +1 | — | 65 | ✓ | ✓ | |
| runx.ai | runx | interface AI agents and MCP Open source projects | — | 65 | ✓ | ✓ | |
| 0state.com | 0state | documentation Open source projects AI agents and MCP +1 | — | 61 | ✓ | ||
| gofrantic.com | Frantic | interface AI and machine learning AI agents and MCP | — | 61 | ✓ | ||
| agentwebmap.com | Agent Web Map | interface AI and machine learning AI agents and MCP +1 | FR | 60 | ✓ | ✓ | |
| quineai.org | QuineAI | interface AI agents and MCP | US | 56 | ✓ |
Machine-readable: GET /v1/resolve?q=sema-lang.com · GET /v1/domain/sema-lang.com · 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.
Own or manage this website?
If you own or manage sema-lang.com, you can update its listing and review file health, discovery activity and score history.
Manage this listing — optional
What verification unlocks
See how your site is discovered—and control what agents see.
- See your website in the map
Review your indexed topics, nearby publishers sharing headings, measured listing exposure and map snapshots in a private report for your website.
- Control what agents see
Edit your listing description, tags, public contact details and additional llms.txt paths. Publish your terms for automated access, attribution and pricing.
- Make your profile eligible for search
A valid, listed, unblocked, verified profile can appear in our publisher sitemap and become eligible for search-engine visibility. Search engines decide what to index and rank.
- Appear in our llms-full.txt
Eligible verified publishers are listed by name, with their file links and summaries, in the service overview agents can read.
Free. No account registration, backlink or payment required. Public discovery remains available without verification.
Let your coding agent verify it
If your coding agent is authorized to manage this website, paste these instructions into it.
Claim my listing on Agent Web Map for sema-lang.com:
1. POST https://agentwebmap.com/v1/sites/sema-lang.com/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://sema-lang.com/llms.txt, or use the DNS, meta-tag or well-known method the response describes.
3. POST https://agentwebmap.com/v1/sites/sema-lang.com/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/sema-lang.com).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verifyCorrections or removal requests: contact the directory.