Use python library - #4

Merged

nanocoh merged 2 commits into

mainfrom

use-python-library

Sep 17, 2026

Commits on Sep 17, 2026

Use the published Kepler Formal Python library in MCP tools
nanocoh
committed
e58c284
Expose Kepler API capabilities and preserve verification reports
nanocoh
committed
52e2b35