Eclipse Capline

Local MCP server that produces sealed-policy cap bound proofs over fixture policies, with a recomputable certificate and no network use.

What you can do

• Generate sealed-policy cap bound proofs over fixture policies.
• Produce a recomputable certificate for the resulting proof.
• Run entirely on the local machine, with no remote calls described.
• The registry lists no individual tools, so the exact operations are not documented.

When to use it

Worth considering when you want an assistant to work with sealed-policy cap bound proofs and checkable certificates over fixture policies in a local, offline setting. Little public documentation exists, so evaluate it against your own fixtures first.

Requirements

Runs as a local process on the user's machine over stdio; desktop only, not available as a web executable. No packages, environment variables, headers or authentication are declared.