kuyanov /

lemmatheca

A growing library of mathematics

A new way for AI to search for data

View on GitHub

2GitHub stars

JSON, HTML

What XERJ indexed

Snapshot

Whole repository

The whole repository at commit 49ed766dc6 (2026-10-18).

Selected work

Fedor Kuyanov
@kuyanov

“New entries”. 139 files, 4,705 lines in formal, corpus.

Licence

The repository

Apache-2.0

Checked by a person at the pinned commit.

The XERJ corpus

Apache-2.0, with credit

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

Example questions

Where does lemmatheca handle “New entries”?
What does formal do in lemmatheca?

The prompt

Paste it into your AI agent. It clones kuyanov/lemmatheca at the pinned commit and indexes it on your machine.

Search the GitHub repository kuyanov/lemmatheca with XERJ (https://hub.xerj.org/corpus/kuyanov--lemmatheca).
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/kuyanov/lemmatheca lemmatheca && git -C lemmatheca checkout 49ed766dc66dd8d15c3b40e999069e14ddeee2b1
3. Start a local node and leave it running: xerj --insecure --data-dir ./xerj-data
4. xerj autoindex ./lemmatheca --url http://127.0.0.1:9200 --prefix lemmatheca --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.

Fedor Kuyanov API design and specification corpora caniuse mdn-browser-compat-data bkuzmanoski/vscode-theme-meridian mef-dev/bpmn-examples Ekzykesax/comfy2antigravity

Selected work and consent: the XERJ registry.