This library provides a type-safe, developer-friendly Python interface for interacting with the NEAR Protocol JSON-RPC API. Fully typed request & response models Clean separation between transport, ...
Why? Because now you can write your own test harnesses and symbolic search tools that interact with TLA + and Quint specifications. Use it with an AI agent, and you have got superpowers! Minimalistic.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results