aeg-paper

a paper about Arithmetic Expression Geometry (AEG), a new way to think about computation, analysis, and geometry

A new way for AI to search for data
View on GitHub
12GitHub stars

Python

What XERJ indexed

Snapshot

Whole repository

The whole repository at commit 2659481408 (2026-10-09).

Selected work

Mingli Yuan
@mountain

“Integrate finite-type and ported AES research with reviewed proofs”. 17 files, 2,341 lines in paper-4, paper-0, bibliography.

Licence

The repository

CC0-1.0

LICENSE file checked at the pinned commit; the author agreed to inclusion.

The XERJ corpus

CC0-1.0, with credit

The author agreed by email on 2026-10-12. Same terms as the repository. Answers name the repo, the commit and the file:line.

selected for the XERJ Corpus Hublicence clearedsuggested use: adapt with attribution

geometryarithmetic-expression-geometry

Example questions

The prompt

Paste it into your AI agent. It clones mountain/aeg-paper at the pinned commit and indexes it on your machine.

Search the GitHub repository mountain/aeg-paper with XERJ (https://hub.xerj.org/corpus/mountain--aeg-paper).
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/mountain/aeg-paper aeg-paper && git -C aeg-paper checkout 2659481408b19a795ef306c9d5806d18c6c1f1e8
3. Start a local node and leave it running: xerj --insecure --data-dir ./xerj-data
4. xerj autoindex ./aeg-paper --url http://127.0.0.1:9200 --prefix aeg-paper --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: CC0-1.0. Keep the copyright notice and credit the authors.

Related

Selected work and consent: the XERJ registry.