agentic-physics 0.1.1

• The npm package carries SECURITY.md, which the README links to.
• The first version published from GitHub Actions through npm trusted publishing, with provenance: npm's page for the package names the commit and the workflow run it was built from. No npm token is stored anywhere.

npm install -g agentic-physics

Verify

The attached tarball is built from 9f0f478; npm's copy is built by this release's workflow run from the same commit.

• sha256: 329a8ccbfc64f4863800638e3f4a1d5ba003e235754aec7c55bd55a0a7e2b2b5
• sha1: 65aea47b95f21d4f4b30bafe681ae249aa8fad21

agentic-physics 0.1.0

First release of the command-line client for Agentic Physics: formalize physics in Lean 4, prove it with a proof the Lean kernel has checked, and talk to the agent, from a terminal or from a coding agent such as Claude Code.

npm install -g agentic-physics
agentic-physics login
agentic-physics skill install   # in a project, for Claude Code

See the README for usage, and SECURITY.md for how it handles your account.

What's in it

• login (browser, or --code), logout, whoami; AGENTIC_PHYSICS_TOKEN for unattended machines.
• formalize, check, search.
• prove (with --mode interactive|automated), status, answer, cancel, proof, runs.
• chat and sessions: talk to the Agentic Physics agent in a console session.
• skill install / skill show: the Claude Code skill.
• Hardened before release by a security review: .lean-only input and output, and -o never overwrites a file or follows a link. Server text is stripped of terminal escapes, and the agent's words are quoted. login guards against codes for other accounts and against look-alike consoles. The skill auto-approves read-only commands only.

Verify

The attached tarball is the one published to npm.

• sha256: 811d614af390b7a7e4b749aae566dc5acc3be704229d703aba9c5b0526b9bd42
• sha1 (npm shasum): eca68739b40a3c4b7c755aa2cc10bcb41904add2