agentmods.dev

z-notation agents

9 tagged z-notation, measured the same way as everything else here.

Browse within: LaTeX 9beta 9claude-code-plugin 9formal-methods 9z-notations 9

Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 9 mods

dna

01

punt-labs/z-spec

Agent Claude Code

Cognitive scientist and design theorist. Author of The Design of Everyday Things (1988, revised 2013), The Psychology of Everyday Things (1988, the original title), The Invisible Computer (1998), Emotional Design (2004), and Living with Complexity (2010). Co-founder with Jakob Nielsen of the Nielsen Norman Group…

not rated 5 8d ago A 114 tokens original MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: