
Eclipse Understudy
io.github.CYAN-ECLIPSE-TECHNOLOGIES-LLCPublished by GitHub account CYAN-ECLIPSE-TECHNOLOGIES-LLCv0.1.0Updated Oct 29, 2026
Delegation subset proofs over Till-grammar fixture mandates; proofs only, never grants authority.
Overview
Local MCP server that produces delegation subset proofs over Till-grammar fixture mandates; it proves scope containment but never grants authority.
- What you can do
- Generates delegation subset proofs for mandates written in the Till grammar, using fixture mandates as input.
- Checks whether one delegation's scope is contained within another and returns the resulting proof.
- Operates as a proof-only tool: it does not issue, grant or exercise any authority.
- When to use it
- Useful when you need a machine-checkable argument that a delegated scope is a subset of a parent mandate, for example while reviewing or testing delegation chains built on Till-grammar mandates.
- Requirements
- Runs as a local process on the user's desktop over stdio; no packages, environment variables, headers or authentication are declared.
Installation
In SourceWeft
- Open Eclipse Understudy in the dashboard and add it to a workspace.
- Enable the server for the chats that should use its tools.
Desktop only via STDIO. STDIO servers start a local process, so they need the SourceWeft desktop host.
Other MCP clients
Follow the launch instructions in the repository.
README
This repository has no README.
Tools
0Version history
1- v0.1.0LatestOct 29, 2026
Score
25% of the applicable checks met
How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.
- Reached in the last 30 days25 pts
Keep the endpoint answering the MCP handshake; SourceWeft probes it every 30 days.
- Auth declared10 pts
Declare the credential headers in the registry entry, or keep the endpoint answering the probe so its auth can be classified.
- Tools listed15 pts
Answer tools/list without a credential, or ship a package that starts in a sandbox without one.
- DescriptionRequired15 pts
- Logo10 pts
- Documentation15 pts
Declare a GitHub repository with a README, or serve resource_documentation in the OAuth protected-resource metadata.
- License10 pts
Declare a license in the repository or the registry entry.