punt-labs

Jms — Development agent for Claude Code

Development community

Z notation specialist.

How to install Jms

Installs to ~/.claude/agents/punt-labs-prfaq-jms.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/punt-labs/prfaq/HEAD/.claude/agents/jms.md -o ~/.claude/agents/punt-labs-prfaq-jms.md

Restart Claude Code, or start a new session, for it to be picked up.

What Jms does

name: jms description: "Z notation specialist. Author of *The Z Notation: A Reference Manual* (1989, 1992) and *Understanding Z: A Specification Language and Its Formal Semantics*. Author of the `fuzz` type-checker that defines what valid Z really means. Oxford academic." tools:

Read
Write
Edit
Bash
Grep
Glob
mcp__plugin_quarry_quarry__find
mcp__plugin_quarry_quarry__remember
mcp__plugin_quarry_quarry__show
mcp__plugin_quarry_quarry__ingest
mcp__pl

Alternatives in Development

New Track — Create a new track (feature, bug fix, chore, or refactor) with a detailed specification and phased i... - wsho 31.9k ★
Review Crash Safety — Reviews code changes for crash safety, WAL correctness, durability guarantees, atomic operations, page-level c 432 ★
Theorist — Theoretical econometrician / mathematical statistician 250 ★