Skip to content
View stegra05's full-sized avatar
4 followers · 8 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Quickdraw

Block or report stegra05

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
stegra05/README.md

Steffen Grabert

Information Systems student at TUM in Munich. I build agentic LLM tools I actually use, and ship them.

  • Lectern: turns lecture PDFs into Anki flashcards. Released desktop app (Tauri, MIT); agentic generation with per-card provenance and a visible coverage map.
  • ehl-claimscabana: 1st place, QuantCo "Claim to Fame" track at the European Hackathon League 2026.
  • cake-cutting-lean: Lean 4 formalization of Hollender-Rubinstein envy-free cake-cutting (bachelor thesis, instrumented LLM-assisted workflow).

Also here: a tactics board for my university football team and a 3. Liga prediction backtester.

LinkedIn

Pinned Loading

  1. Lectern Lectern Public

    Turn lecture PDFs into Anki flashcards you can trust. Agentic Gemini generation with per-card provenance and a visible coverage map. Tauri desktop app.

    TypeScript 5 1

  2. ehl-claimscabana ehl-claimscabana Public

    1st place, QuantCo "Claim to Fame" track, European Hackathon League Munich 2026 (rank 1 of 17, +793k EUR simulated P&L). Autonomous claims adjudicator: four blind LLM assessors, median 7.6 s per case.

    Python 2 1

  3. cake-cutting-lean cake-cutting-lean Public

    Lean 4 formalization of Hollender-Rubinstein envy-free cake-cutting for four agents (TUM bachelor thesis, instrumented LLM-assisted workflow)

    Lean 1