chore(main): release jacobian 0.13.1

Author: github-actions[bot]

.release-please-manifest.json

@@ -1,3 +1,3 @@
 {
-  ".": "0.13.0"
+  ".": "0.13.1"
 }

CHANGELOG.md

@@ -1,5 +1,14 @@
 # Changelog
 
+## [0.13.1](https://github.com/morluto/jacobian/compare/jacobian-v0.13.0...jacobian-v0.13.1) (2026-08-20)
+
+
+### Documentation
+
+* **agents:** learn from math trajectories ([0db39a2](https://github.com/morluto/jacobian/commit/0db39a202fb1388d8a9be4508fbda41cba1c9aee))
+* **agents:** separate gap diagnosis from admission ([be54c78](https://github.com/morluto/jacobian/commit/be54c78d6591f92710caa335dc309c8b6ac9b851))
+* focus agent guide on repository invariants ([#2103](https://github.com/morluto/jacobian/issues/2103)) ([e9679e8](https://github.com/morluto/jacobian/commit/e9679e876dd245652a9af770c0f22448d3433f62))
+
 ## [0.13.0](https://github.com/morluto/jacobian/compare/jacobian-v0.12.0...jacobian-v0.13.0) (2026-08-20)
 
 

README.md

@@ -118,7 +118,7 @@ for the maintained operation portfolio and
 
 ## Status
 
-Jacobian 0.13.0 <!-- x-release-please-version --> is pre-stable. Its published package and operation contracts
+Jacobian 0.13.1 <!-- x-release-please-version --> is pre-stable. Its published package and operation contracts
 describe the supported surface; experimental operation contracts may change
 between releases.
 

README.zh-CN.md

@@ -90,7 +90,7 @@ SAT 和 SMT 操作直接使用维护良好的 Z3 Python 绑定。可选的 `lean
 
 ## 状态
 
-Jacobian 0.13.0 <!-- x-release-please-version --> 仍处于预稳定阶段。已发布的软件包和操作契约描述了受支持的
+Jacobian 0.13.1 <!-- x-release-please-version --> 仍处于预稳定阶段。已发布的软件包和操作契约描述了受支持的
 接口；实验性操作契约可能在不同版本之间变化。
 
 ## 文档

npm/package.json

@@ -1,6 +1,6 @@
 {
   "name": "jacobian",
-  "version": "0.13.0",
+  "version": "0.13.1",
   "mcpName": "io.github.morluto/jacobian",
   "description": "Composable mathematical operations for AI agents, exposed through MCP and a CLI",
   "license": "MIT",

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "jacobian"
-version = "0.13.0"
+version = "0.13.1"
 description = "Atomic mathematical tools for agents over MCP and Python"
 readme = "README.md"
 requires-python = ">=3.12,<3.14"

server.json

@@ -7,13 +7,13 @@
     "url": "https://github.com/morluto/jacobian",
     "source": "github"
   },
-  "version": "0.13.0",
+  "version": "0.13.1",
   "packages": [
     {
       "registryType": "npm",
       "registryBaseUrl": "https://registry.npmjs.org",
       "identifier": "jacobian",
-      "version": "0.13.0",
+      "version": "0.13.1",
       "runtimeHint": "npx",
       "transport": {
         "type": "stdio"