Mingli Yuan

What an agent can do with the aeg-paper corpus

mountain/aeg-paper: a paper about Arithmetic Expression Geometry (AEG), a new way to think about computation, analysis, and geometry

• Look up how aeg-paper implements geometry, arithmetic-expression-geometry, with answers cited to file and line.
• Reuse a worked example: the commit “Integrate finite-type and ported AES research with reviewed proofs” (17 files · Python).
• Answer from aeg-paper's real Python source instead of memory (API design and specification).

• Where does aeg-paper handle “Integrate finite-type and ported AES research with reviewed proofs”?
• How does aeg-paper implement geometry?
• What does paper-4 do in aeg-paper?

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.

corpus mountain--aeg-paper · API design and specification
Related corpora: mylasertools/svg-smart-resize
Search an OpenAPI spec from an agent · Case study: reference coding for agents