sspur
A programming language for AI agents to write, read, and maintain. Native code faster than C++, effects and contracts checked by the…
What XERJ indexed
Selected work
“W_CONVERSION_MAY_TRAP: sspur check proves F64 round, floor, ceil and …”. 10 files, 1,417 lines in crates/sspur-smt, crates/sspur-cli.
Licence
The repository
From GitHub's licence detection. A person still checks the LICENSE file at the pinned commit.
The XERJ corpus
The author agreed by email on 2026-10-19. Same terms as the repository. Answers name the repo, the commit and the file:line.
in licence reviewnot in the hub yetsuggested use: adapt with attribution
ai-agentscompilercontractseffectsllmnative-codeprogramming-languagerust
Example questions
- How does sspur implement ai-agents?
- What does crates/sspur-smt do in sspur?
- Show the compiler code in sspur.
The prompt
Paste it into your AI agent. It clones sspurlang/sspur at the pinned commit and indexes it on your machine.
Search the GitHub repository sspurlang/sspur with XERJ (https://hub.xerj.org/corpus/sspurlang--sspur). Run these in a shell, in order, and check each result before the next: 1. xerj --help (success: it prints usage). If xerj is missing: curl -fsSL https://xerj.org/get | sh 2. git clone https://github.com/sspurlang/sspur sspur && git -C sspur checkout 050e260d0d4d5b6e6d2be9b0f00b82a967e07cb5 3. Start a local node and leave it running: xerj --insecure --data-dir ./xerj-data 4. xerj autoindex ./sspur --url http://127.0.0.1:9200 --prefix sspur --progress plain 5. xerj autoindex map --url http://127.0.0.1:9200 Then answer my question from the indexed files and cite the ax_path of every hit. Query syntax: https://xerj.org/llms.txt Licence: Apache-2.0. Keep the copyright notice and credit the authors.
Related
Utkarsha VardhanaAI, prompts and agents corporarspacklightningcsschromalom-lang/lomOnwcan/DireWolfnuudge/nudge
Selected work and consent: the XERJ registry.