v0.5.1
Linmas 0.5.1
Public Codex plugin installation
Linmas can now be installed from the public Git repository as a Codex marketplace plugin. The repository tracks a generated plugins/linmas artifact and a marketplace manifest at .agents/plugins/marketplace.json, so Codex does not need to run a build step during installation.
codex plugin marketplace add TanKimGwan/linmas --ref main
codex plugin add linmas@linmasThe installed plugin exposes eleven Linmas skills and six native MCP tools. After installation or upgrade, restart the Codex desktop/app-server and start a fresh task so stale MCP child processes cannot retain an older plugin cache.
Reproducibility
npm run sync:codex-marketplacerebuilds the tracked public plugin from canonical package, manifest, MCP, runtime, policy, and skill sources.- Tests compare every tracked plugin file byte-for-byte against a fresh temporary build.
- The plugin validator checks the tracked artifact before release.
- The npm package remains focused on canonical sources and excludes
.agents/andplugins/; npm users can still build a local plugin withnpm run build:codex-plugin.
Safety boundary
The marketplace changes distribution only. Offline tools remain local and advisory. linmas_proof_create still requires explicit write confirmation, and linmas_review_execute still requires explicit transmission confirmation. Human review remains mandatory.
Rollback
Remove the marketplace installation with codex plugin remove linmas@linmas. If the marketplace itself is no longer needed, remove it with codex plugin marketplace remove linmas, restart the Codex desktop/app-server, and start a fresh task. Users who need the previous local plugin can rebuild 0.5.0 from the immutable npm or Git release using the documented local builder flow.