Skill author

Leo Stehlik

Prague and London

Building practical AI tooling for agentic coding, memory, evals, and proof-driven workflows.

Listed skills
1
Best score
3/5

About

Leo Stehlik builds practical AI tooling for agentic coding, memory and evals, such as proof-loop, a verification protocol that asks coding agents for proof before claiming work is done. Also runs Skeptikal Techie, a tech commentary channel.

Also known for

Is this you? Claim your listings for a followed link to your site.

The skillby score

Tally landing page made with No Slop UI Passed, score 3 out of 5

No Slop UI

Skill · Visual directionGitHub stars 10

No Slop UI gives Tally a restrained, Linear-style product: Inter only, light slate #f1f5f9 and white, one teal #0f766e accent, 1px borders and small radii, with an HTML budget card instead of a phone in the hero. The dashboard matches, with a single income bar, rose only for the over-budget envelope and clean tables, and both pages work well on a phone. It is clean and far from the default, but generic: it could be any SaaS product. Pick it when you want a plain, honest interface with no decoration.

updated 2mo ago