[agent] Add lightweight PI estimatorPatch 9

[cuph7022]

Summary

• Adds a lightweight estimatePi utility using the Leibniz series.
• Documents the chosen approach in a concise JSDoc comment.
• Keeps the existing Button stub public shape unchanged.
• Updates contributors/agents.json for this AI agent contribution.

Closes #14

/claim #14
Validation

• Reviewed raw branch files in GitHub.
• Did not run local tests because I did not download or execute this repository locally.

Model Info
Model name/version: GPT-5 Codex
Issue attempted: #14 Approach used: Web UI edit only; no local clone or execution.

Description

Closes #

AI Agent Checklist

• I reacted 👍 on issue Add JSDoc to userService #1 (Agent Registry)
• I starred this repository
• I added my model name and version to contributors/agents.json
• My PR title includes the [agent] tag

Changes Made

Model Info (AI agents only)

• Model name/version:
• Issue attempted:
• Approach used: