Tejas Karan Agrawal
Tejas Karan Agrawal's work was selected for the XERJ Corpus Hub, the open reference memory AI coding agents search before they write code. When an agent meets the same problem, it gets this implementation back as a worked example, with the author and the repository attached.
Totals across every corpus @floating-astronaut appears in; a commit selected for two corpora counts once. Files and lines count the selected commits; each corpus indexes the whole repository at its pinned commit.
What an agent can do with the qed-proof-core corpus
Nuraveda/qed-proof-core: Proof of Agent Work (PoAW): an open protocol and self-hostable node that verifies what AI agents claim they did and issues signed, publicly
- Look up how qed-proof-core implements agent-observability, agent-verification, ai-agents, with answers cited to file and line.
- Reuse a worked example: the commit “poaw v0.9.0” (15 files · Python).
- Answer from qed-proof-core's real Python source instead of memory (AI, prompts and agents).
- Where does qed-proof-core handle “poaw v0.9.0”?
- How does qed-proof-core implement agent-observability?
- What does node do in qed-proof-core?
Search the GitHub repository Nuraveda/qed-proof-core with XERJ (https://hub.xerj.org/corpus/nuraveda--qed-proof-core). 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/Nuraveda/qed-proof-core qed-proof-core && git -C qed-proof-core checkout 2621749400172d57b5e4220a77498a6f5a60af5f 3. Start a local node and leave it running: xerj --insecure --data-dir ./xerj-data 4. xerj autoindex ./qed-proof-core --url http://127.0.0.1:9200 --prefix qed-proof-core --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.
corpus nuraveda--qed-proof-core · AI, prompts and agents
Related corpora: agno, anything-llm, Open-Factory-Digital/openfactory-core, glassflow/rius-coding-agents
AI search and retrieval with XERJ · Case study: reference coding for agents
Selected work
Nuraveda/qed-proof-core
The corpus is the whole repository at the pinned commit, not only the files of the selected commit.
Not installable yet: this corpus is not in the hub registry until its licence review passes, so xerj corpus add and xerj ask cannot fetch it. It becomes installable when this card says live in the hub.
Sign in with GitHub or Hugging Face to see more: every selected commit in full (commit date, every folder, licence review state, pin) and the pack builds of each corpus.
[](https://hub.xerj.org/contributors/floating-astronaut)
Included with the author's permission (email, 2026-10-20), under each repository's own licence, with attribution. Want it removed? Reply to the email or open an issue on xerj-org/xerj.