Idris Ali Shaik
Idris Ali Shaik'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 @shaikidris 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 priority-controller-phase1 corpus
shaikidris/priority-controller-phase1: Lean formalization of priority-controller results and resource-respecting encoded-machine reduction bridges
- Reuse a worked example: the commit “Strengthen stream and refutation contracts; state algorithm boundaries” (26 files · YAML, JSON).
- Answer from priority-controller-phase1's real YAML source instead of memory (API design and specification).
- Where does priority-controller-phase1 handle “Strengthen stream and refutation contracts; state algorithm boundaries”?
- What does entries do in priority-controller-phase1?
Search the GitHub repository shaikidris/priority-controller-phase1 with XERJ (https://hub.xerj.org/corpus/shaikidris--priority-controller-phase1). 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/shaikidris/priority-controller-phase1 priority-controller-phase1 && git -C priority-controller-phase1 checkout 8551f8662245461bc15b5ee2f1367d66ead13c33 3. Start a local node and leave it running: xerj --insecure --data-dir ./xerj-data 4. xerj autoindex ./priority-controller-phase1 --url http://127.0.0.1:9200 --prefix priority-controller-phas --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 shaikidris--priority-controller-phase1 · API design and specification
Related corpora: platypii/integer-mult-bounds-lean, kuyanov/lemmatheca
Search an OpenAPI spec from an agent · Case study: reference coding for agents
Selected work
shaikidris/priority-controller-phase1
Lean formalization of priority-controller results and resource-respecting encoded-machine reduction bridges
The corpus is the whole repository at the pinned commit, not only the files of the selected commit.
Their repositories are also pinned in: kkp-asymptotic-spectral-bound, kkp-connected-spectral-counterexamples, kkp-localized-spectral-bound.
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/shaikidris)
Included with the author's permission (email, 2026-10-20), under each repository's own licence, with attribution. Own more repositories? Sign in with GitHub and add them. Want something removed? Reply to the email, withdraw it on /add, or open an issue on xerj-org/xerj.