Magnus Smith

Corpus Hub contributor since 2026-10-23

Magnus Smith'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.

1corpus

1selected commit

36files

1,259lines

★ 85GitHub stars on repo

Totals across every corpus @MagnusSmith 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 higher-kinded-j corpus

higher-kinded-j/higher-kinded-j: Higher-kinded types, monads and composable effects for Java 25: the Effect Path API for railway-style error handling, advanced optics…

Look up how higher-kinded-j implements higher-kinded-types, java, effects, with answers cited to file and line.
Reuse a worked example: the commit “Give a field a navigator wherever its Focus method focuses on a record” (36 files · Java, JavaScript).
Answer from higher-kinded-j's real Java source instead of memory (API design and specification).

Example questions

Where does higher-kinded-j handle “Give a field a navigator wherever its Focus method focuses on a record”?
How does higher-kinded-j implement higher-kinded-types?
What does hkj-processor do in higher-kinded-j?

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

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

corpus higher-kinded-j--higher-kinded-j · API design and specification
Related corpora: hivemq-mqtt-client, kafka-src, eschizoid/telescope, apache/camel-spring-boot
Search an OpenAPI spec from an agent · Case study: reference coding for agents

Selected work

GitHub ★ 85

higher-kinded-j/higher-kinded-j

ac422824b7 Give a field a navigator wherever its Focus method focuses on a record

selected commit: 36 files · 1,259 lines · Java, JavaScript · hkj-processor, hkj-examples, hkj-annotations

The corpus is the whole repository at the pinned commit, not only the files of the selected commit.

selected · in licence reviewcorpus higher-kinded-j--higher-kinded-jAPIMIThigher-kinded-typesjavahigher-kinded-jeffectsfunctional-programmingjava25 agreed 2026-10-23

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.

[![XERJ Corpus Hub contributor](https://hub.xerj.org/contributors/MagnusSmith/badge.svg)](https://hub.xerj.org/contributors/MagnusSmith)

Included with the author's permission (email, 2026-10-23), under each repository's own licence, with attribution. Want it removed? Reply to the email or open an issue on xerj-org/xerj.