[Rafael-SOWNet]

Part of #1684, the second of two PRs after #2121.

The MCP server's tools answer from the catalogue.

• Each tool called the library's methods itself. Its answers now come from the entries of Core/Operations/Catalogue.cs: Catalogue.Solve.Ask(e, x) where it called e.Solve(x), and so on.
• Every entry answers exactly what its method answers, so no answer changes. The 335 tests that drive the server pass as before.
• The server's own checks of an answer stay direct calls:
  • differentiating an antiderivative back;
  • reading an input as an integer or a decimal;
  • the guard before quadrature.

What each tool offers is declared, and tested.

• Tools.Offers names the entries each tool offers.
• Tools.OwnComputations lists the six tools whose answer is the server's own computation, such as am_check_steps and am_eigenvalues, each with what it computes.
• Tools.NotOffered lists the two entries no tool offers, each with the reason:
  • normalize, since am_simplify offers the whole simplification;
  • evaluate, since am_evaluate keeps exact values exact.
• McpUnitTests/CatalogueTest checks the three lists against the tool list and the catalogue. An entry added to the catalogue fails the test until a tool offers it, or NotOffered says why none does.

amcli's commands get the same check, without calling the catalogue.

• OneShot.offers names the entry each command offers.
• ownCommands says what info, mcp and help do.
• notOffered lists the entries no command offers. Which commands to add is Pending breakages: changes agreed or arguable that cannot ship before a major version #1019 item 16's question.
• OneShotTest reads the catalogue's names by reflection, since the terminal is not one of the library's friends.

Signing.

• The catalogue is internal, so the library names AngouriMath.Mcp in its InternalsVisibleTo.
• A strong-named assembly may only befriend another strong-named one, so the server is signed with key.snk, as UnitTests already is. So is McpUnitTests, which the server befriends.
• The server ships inside amcli with the library it was built against, so it never meets another version's internals.

Checked:

• McpUnitTests: 335 passed.
• TerminalUnitTests: 69 passed, two of them new.
• The library builds for every target.
• Removing a tool and an entry from the server's lists fails both of its new tests, and each names what was removed. The same holds for a command and an entry in the terminal's lists.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura