agentmods.dev

formal-methods agents

9 tagged formal-methods, measured the same way as everything else here.

Browse within: claude-code-plugin 14LLM 10LaTeX 9beta 9z-notation 9z-notations 9ai-agent-tools 5behaviour-driven-development 5bounded-model-checking 5formal-specification 5invariants 5javascript 5model-checking 5spec-driven-development 5

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: