Skill Explorer

Searching protocol for "variable naming"

Refactor with safety nets: tests first, then change small steps.

Keep docs fresh, maintain perfect format.

Rapidly build Hono APIs, structured for success.

Guaranteed algorithm correctness with machine-checked proofs.

// End of Stream //