Scoreproof
io.github.asampat3090/scoreproofasampat3090streamable-httpv0.2.0Scanned
Convert MusicXML, MIDI, ABC, MEI and Humdrum, print sheet music, and verify every note survived.
8 tools: 4 do something that can't be undone and 4 only read.
- Reads private data · 1
- Reads text others write · 8
- Can send data out · 4
- No findings
Anlyon alternative
4 of these tools change something. Run those as governed actions.
Declare what an action changes, and Anlyon puts it under a shared limit, binds every approval to the exact request, and grades the outcome. It works on any HTTPS API you can describe as an action.
Anlyon does not run, proxy or govern this MCP server. A tool your own code calls directly is not routed through Anlyon and is not governed by it.
Import an OpenAPI spec →Tools
Grouped by what each tool does, most consequential first. Open one for its reasons and full description; descriptions are the publisher's own words.
8 tools
Can't be undone 4Claude Code: ask
convertConvert a score between formats and verify the result note by note, or turn it into sheet music (pdf, png, svg) or audio (wav).Reads text others writeCan send data outNo findings
Why it is in this group
- The name "convert" says "convert": a word for a change.
- The input addresses people (input.to): what it sends cannot be taken back.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
- outboundThe input takes a destination (input.to): what the tool writes goes there.
Description, as the server wrote it Convert a score between formats and verify the result note by note, or turn it into sheet music (pdf, png, svg) or audio (wav). Returns a download link, a confidence level (exact, high, medium, low), the share of notes kept, features the target format cannot hold, and exporter quirks that were repaired on the way in.
Annotations the server declares
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
- readOnlyHint: false
extractSave chosen parts and/or bars of a score as new files.Reads text others writeCan send data outNo findings
Why it is in this group
- The description's first verb is "save": a word for a change.
- The input addresses people (input.to): what it sends cannot be taken back.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
- outboundThe input takes a destination (input.to): what the tool writes goes there.
Description, as the server wrote it Save chosen parts and/or bars of a score as new files.
Annotations the server declares
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
- readOnlyHint: false
renderEngrave sheet music to print or view (PDF, PNG, SVG) or make an audio preview (WAV).Reads text others writeCan send data outNo findings
Why it is in this group
- The input addresses people (input.to): what it sends cannot be taken back.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
- outboundThe input takes a destination (input.to): what the tool writes goes there.
Description, as the server wrote it Engrave sheet music to print or view (PDF, PNG, SVG) or make an audio preview (WAV). Returns download links.
Annotations the server declares
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
- readOnlyHint: false
transposeTranspose a score by an interval, into a key, or between concert and written pitch.Reads text others writeCan send data outNo findings
Why it is in this group
- The input addresses people (input.to): what it sends cannot be taken back.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
- outboundThe input takes a destination (input.to): what the tool writes goes there.
Description, as the server wrote it Transpose a score by an interval, into a key, or between concert and written pitch. Give exactly one of interval, key or pitch.
Annotations the server declares
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
- readOnlyHint: false
Only reads 4Show 4 read-only tools
compareShow what changed between two versions of a piece, bar by bar, even across formats.Reads text others writeNo findings
Why it is in this group
- The name "compare" says "compare": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it Show what changed between two versions of a piece, bar by bar, even across formats.
Annotations the server declares
- destructiveHint: false
- idempotentHint: true
- openWorldHint: true
- readOnlyHint: true
inspectSummarise a score and show some bars as ABC notation: title, parts with instruments and ranges, key, meters, tempos and bar count.Reads private dataReads text others writeNo findings
Why it is in this group
- The name "inspect" says "inspect": a word for reading.
What it can reach
- private-dataThe input names a file (input.file), and the tool reads: it reads files.
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it Summarise a score and show some bars as ABC notation: title, parts with instruments and ranges, key, meters, tempos and bar count.
Annotations the server declares
- destructiveHint: false
- idempotentHint: true
- openWorldHint: true
- readOnlyHint: true
list_formatsFormats Scoreproof reads and writes, and what each one cannot hold.Reads text others writeNo findings
Why it is in this group
- The name "list_formats" says "list": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it Formats Scoreproof reads and writes, and what each one cannot hold.
Annotations the server declares
- destructiveHint: false
- idempotentHint: true
- openWorldHint: true
- readOnlyHint: true
validateCheck a score: exporter quirks that needed repair, bars that do not fill their time signature, and notes outside an instrument's range.Reads text others writeNo findings
Why it is in this group
- The name "validate" says "validate": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it Check a score: exporter quirks that needed repair, bars that do not fill their time signature, and notes outside an instrument's range.
Annotations the server declares
- destructiveHint: false
- idempotentHint: true
- openWorldHint: true
- readOnlyHint: true
This is not a safety rating, and no finding is not a safety guarantee. The groups and findings come from fixed checks of the tool definitions the server returned on the date shown, not from its code or what it does when called. How the checks work.
Exfil surface
Which tools read private data, which read text someone else can write, and which can send data out. One of each is a path a prompt injection can use.
32 paths in this server alone from private data, through text someone else wrote, to a way out. Denying 1 private-data tool breaks every one.
- Reads private data1
- Reads files, mail, messages, databases, secrets, calendars or repositories.
- Reads text others write8
- Brings in text someone else can write: web pages, inbound email, messages, issues and comments.
{
"permissions": {
"deny": [
"mcp__scoreproof__inspect"
]
}
}Other servers in the same agent add their own tools to these paths. Audit your whole setup to see them together.
Findings
Matches of fixed checks, with the text they matched.
No check matched anything in these tool definitions. That is not a safety guarantee.
History
Changes to its tool definitions and to its remote endpoint, newest first.
No change seen yet. Its tools are rescanned every day, and a remote endpoint is looked at once a week.
Install
Pinned to version 0.2.0. Values in angle brackets are yours to fill in.
claude mcp add --transport http scoreproof https://scoreproof-fkkuctjokq-uc.a.run.app/mcpclaude mcp add --transport http scoreproof https://scoreproof-fkkuctjokq-uc.a.run.app/mcpRun in a terminal.
Claude Code permissions
Allow the reads, ask before a change or a way out, deny the deletes. Paste into .claude/settings.json.
{
"permissions": {
"allow": [
"mcp__scoreproof__inspect",
"mcp__scoreproof__validate",
"mcp__scoreproof__compare",
"mcp__scoreproof__list_formats"
],
"ask": [
"mcp__scoreproof__convert",
"mcp__scoreproof__render",
"mcp__scoreproof__transpose",
"mcp__scoreproof__extract"
],
"deny": []
}
}Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. A read that can send data out (it takes a URL, say) asks first too. It assumes the server is installed as scoreproof. Review it before you use it.
Capability tags behind 8 rules
- mcp__scoreproof__convert untrusted-input, outbound
- mcp__scoreproof__render untrusted-input, outbound
- mcp__scoreproof__inspect private-data, untrusted-input
- mcp__scoreproof__validate untrusted-input
- mcp__scoreproof__compare untrusted-input
- mcp__scoreproof__transpose untrusted-input, outbound
- mcp__scoreproof__extract untrusted-input, outbound
- mcp__scoreproof__list_formats untrusted-input
Pin
Keep the decision: fail CI when the tools change, follow every change, or show a badge.
Pin in CI
Fail a build when the tools you reviewed are not the tools the server serves today.
curl -s "https://anlyon.dev/api/v1/servers/io.github.asampat3090/scoreproof/verify?hash=bb6694cbd515bfde6519e2236d6473613ad7b572aeed243533541039117bcef9" | jq -e '.changed == false'Pinned hash bb6694cbd515, from Nov 5, 2026, 11:18 UTC.
Watch
Get told when its tools change: a new tool, a new description, a new class.
https://anlyon.dev/servers/io.github.asampat3090/scoreproof/changes.xmlAn Atom feed. Works in any feed reader or Slack's RSS app.
Badge
[](https://anlyon.dev/servers/io.github.asampat3090/scoreproof)Source: MCP Registry · repository. Synced Nov 5, 2026, 11:18 UTC.