Searching protocol for "Narya"
Proof General + Narya: Higher-dim proof assistant.
Mechanically verified proofs from event logs.
Predicate-level semantic diff for MCP protocol specs.
Self-rewrite with MCP tasks and bridge types.
GF(3)-typed control for Docs/Sheets workflows.