This repo's README footer reads Part of PulseEngine — formally verified WebAssembly toolchain for safety-critical systems. template-mcp-server is a scaffolding template for new MCP servers. It does no formal verification and makes no safety-critical guarantee, so the "formally verified … safety-critical" clause overclaims when attached here.
This is a downstream echo of the org tagline; the single-source root is pulseengine/.github#8. Fix: single-source the tagline (fixed once in .github, see pulseengine/.github#8) and relabel this footer to the repo's actual role — e.g. the honest short form Part of the PulseEngine toolchain already used by jess. Extra priority: because it is a template, the unbacked footer is copied into every repo generated from it — fixing it here stops the overclaim propagating.
🤖 Filed via Claude Code as part of the org-wide verification-claim honesty audit (follows pulseengine/kiln#423). Root: pulseengine/.github#8
This repo's README footer reads
Part of PulseEngine — formally verified WebAssembly toolchain for safety-critical systems. template-mcp-server is a scaffolding template for new MCP servers. It does no formal verification and makes no safety-critical guarantee, so the "formally verified … safety-critical" clause overclaims when attached here.This is a downstream echo of the org tagline; the single-source root is pulseengine/.github#8. Fix: single-source the tagline (fixed once in
.github, see pulseengine/.github#8) and relabel this footer to the repo's actual role — e.g. the honest short formPart of the PulseEngine toolchainalready used byjess. Extra priority: because it is a template, the unbacked footer is copied into every repo generated from it — fixing it here stops the overclaim propagating.🤖 Filed via Claude Code as part of the org-wide verification-claim honesty audit (follows pulseengine/kiln#423). Root: pulseengine/.github#8