Eclipse Adproof

A local stdio MCP server described as a "fixture claim substantiation gate" that checks whether a pointer is bound, not whether it substantiates a claim.

What you can do

• The listing gives no tool list, instructions or README, so its concrete capabilities are not documented.
• The registry description frames it as a claim substantiation gate for fixtures, where a pointer proves only that something is BOUND, not that it substantiates the claim.
• Beyond that framing, nothing is stated about what an assistant could call or what output it returns.

When to use it

Only consider it if you specifically need a gate that distinguishes a bound pointer from an actually substantiated claim in fixture data, and you are prepared to evaluate it without documentation.

Requirements

Runs as a local process on the user's machine over stdio; desktop only, not web-executable. No packages, environment variables, headers or authentication are declared, so how it is installed or launched is not specified.