Add VerifiedState MCP extension for verified agent memory#8297
Conversation
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 5291271774
ℹ️ About Codex in GitHub
Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".
| @@ -0,0 +1,91 @@ | |||
| --- | |||
| title: VerifiedState Extension | |||
| description: Add VerifiedState MCP Server as a Goose Extension for verified agent memory with cryptographic receipts | |||
There was a problem hiding this comment.
Use lowercase goose branding in docs
documentation/AGENTS.md explicitly requires the product name to always be written as lowercase goose across the documentation tree, but this new page introduces multiple Goose usages (starting in the frontmatter description and repeated throughout the body). This violates a documented repository standard and will produce inconsistent published docs unless all occurrences are normalized to lowercase.
Useful? React with 👍 / 👎.
|
Fixed — normalized all Goose references to lowercase goose per AGENTS.md standard. |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: d531abbfd4
ℹ️ About Codex in GitHub
Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".
| command="npx" | ||
| args={["@verifiedstate/mcp-server"]} |
There was a problem hiding this comment.
Pass full command string to CLIExtensionInstructions
CLIExtensionInstructions renders the configured command from its command prop only, and does not consume an args prop (see documentation/src/components/CLIExtensionInstructions.tsx). With command="npx" here, the generated CLI walkthrough tells users to run just npx, so the extension command in goose configure is incomplete and will not start the VerifiedState server when users follow this section.
Useful? React with 👍 / 👎.
| type="stdio" | ||
| command="npx" | ||
| args={["@verifiedstate/mcp-server"]} | ||
| envVars={["VERIFIEDSTATE_API_KEY", "VERIFIEDSTATE_NAMESPACE_ID"]} |
There was a problem hiding this comment.
Provide envVars as key/value objects
This component expects envVars entries shaped like { key, value }, but this page passes plain strings. In CLIExtensionInstructions, those entries are destructured as objects when rendering the sample goose configure flow, so the environment-variable prompts render undefined names/values and give readers incorrect setup instructions for required credentials.
Useful? React with 👍 / 👎.
|
Both Codex review items addressed:
|
- using-goosehints.md: Replace <details>/<summary> HTML tags with standard markdown numbered list + code blocks. The <details> tags inside a numbered list caused MDX compilation to fail with "Expected a closing tag for <details> before the end of paragraph". - verifiedstate-mcp.md: Add GooseDesktopInstaller tab, goose:// installer link, timeout prop, and infoNote — matching the exact pattern used by firecrawl-mcp.md and other working extensions. Signed-off-by: Van Bui <1vanbui@users.noreply.github.com>
|
Fixed the deploy build failure. The issue was not in our MCP doc file — it was a pre-existing MDX compilation error in The Also updated
All commits have |
Summary
Adds documentation for the VerifiedState MCP extension, which provides verified agent memory with cryptographic receipts.
What it does
VerifiedState adds a decision trace layer to Goose. Every assertion a Goose agent makes gets:
MCP Tools
memory_ingestmemory_querymemory_verifymemory_healthWhy this matters for Goose
Goose handles ~90% of Block's code submissions. These are consequential decisions. When something breaks months later, teams need to know what Goose believed about the codebase when it made that choice. VerifiedState provides that audit trail.
Links
@verifiedstate/sdk