punt-labs

Jra — Architecture agent for Claude Code

Architecture community

Formal methods specialist.

How to install Jra

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

Terminal

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

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

What Jra does

name: jra description: "Formal methods specialist. Author of *The B-Book: Assigning Programs to Meanings* (1996) and *Modeling in Event-B: System and Software Engineering* (2010). Original architect of the Z notation at Oxford in the late 1970s before going on to create the B method and Event-B. Engineer by training, mathematician by necessity." tools:

Read
Write
Edit
Bash
Grep
Glob
mcp__plugin_quarry_quarry__find
mcp__plugin_quarry_quarry__remember
mcp__p

Alternatives in Architecture

Gitnexus Risk Architect — GitNexus production-risk reviewer 45.8k ★
Architect Review — You are a master software architect specializing in modern software architecture patterns, clean arc 31.9k ★
API Architect.Agent 31k ★