Stats
Actions
Tags
From claim-harness
FormalClaim IR — schema validation, local evaluation, corpus search (ships with polymer-formalclaim).
Copy this JSON into your .mcp.json to enable this server
Add to your .mcp.json:
{
"mcpServers": {
"claim-ir": {
"command": "uvx",
"args": [
"--from",
"polymer-formalclaim>=0.2.0",
"polymer-formalclaim-mcp"
]
}
}
}Review these signals before enabling this server
This server connects to external services. Review the URLs it accesses before enabling.
Server configuration and connection parameters
uvxCommand-line arguments passed to the server process
npx claudepluginhub beldez01/polymer-claims --plugin claim-harness