Clean up post-release docs

Author: pardeike

.gitignore

@@ -5,6 +5,7 @@
 *.user
 *.userosscache
 *.sln.docstates
+.DS_Store
 # User-specific files (MonoDevelop/Xamarin Studio)
 *.userprefs
 # Build results
@@ -202,4 +203,3 @@ ModelManifest.xml
 /Harmony/Documentation/api/*.html
 /Harmony/Documentation/api/*.yml
 /Harmony/Documentation/Documentation.dll
-.DS_Store

ARCHITECTURE.md

@@ -15,7 +15,8 @@ Documentation policy:
 Key startup behavior:
 - registers `DecompilerWorkspace` plus the legacy singleton services;
 - registers `WorkspaceBootstrapService`;
-- calls `.AddMcpServer().WithStdioServerTransport().WithToolsFromAssembly()`;
+- configures concise MCP server instructions through `McpServerOptions.ServerInstructions`;
+- calls `.AddMcpServer(...).WithStdioServerTransport().WithToolsFromAssembly()`;
 - initializes `ServiceLocator` with the built service provider.
 
 Tool shape:
@@ -198,6 +199,17 @@ Unknown-assembly exploration should stay inside MCP tools:
 - use `list_members` or `get_members_of_type` after a type is found;
 - if a member-based tool receives a stale or human-entered symbol, return structured candidates and suggested next tool calls rather than only `Invalid member ID`.
 
+### MCP Server Instructions
+
+`Program.ServerInstructions` is intentionally short and workflow-oriented.
+
+It should:
+- steer clients toward `search_symbols`, `list_members`, structured errors, and common parameter names;
+- complement the tool schemas rather than duplicate the full README or tool reference;
+- stay concise enough to be useful in the MCP handshake.
+
+If the workflow changes, update `Program.ServerInstructions`, the Codex skill, and this section together.
+
 ## Compare Model
 
 Comparison is intentionally layered so the caller can stay cheap on context and only drill in when needed.

TODO.md

@@ -33,8 +33,8 @@ Goal:
 - Let callers trade detail for cost when the default response is too verbose.
 
 Candidate work:
-- Add a shared `mode` parameter with values such as `minimal`, `summary`, and `detailed`.
-- Start with `get_member_details`, `search_types`, `search_members`, and `get_decompiled_source`.
+- Extend the existing member-summary modes (`ids`, `discovery`, `signatures`, `full`) beyond search/list endpoints where they fit.
+- Consider smaller output modes for `get_member_details` and `get_decompiled_source`.
 - Keep the default behavior stable so existing callers do not silently lose information.
 
 ### Error reporting and diagnostics
@@ -43,8 +43,8 @@ Goal:
 - Make failures easier to act on without forcing the caller to guess what went wrong.
 
 Candidate work:
-- Add stable error codes for common failure cases.
-- Include suggestions for fuzzy misses where there is a clear likely match, using the symbol-exploration diagnostics above as the model.
+- Extend stable error codes beyond the current symbol-resolution and assembly-loaded cases.
+- Include suggestions for more fuzzy misses where there is a clear likely match, using the symbol-exploration diagnostics as the model.
 - Add a `validate_assembly` or equivalent health-check tool.
 - Expand `get_server_stats` with diagnostic warnings where useful.
 

Tests/AnalysisToolTests.cs

@@ -236,7 +236,7 @@ public void FindDerivedTypes_TransitiveParameter_AffectsResults()
     }
 
     [Fact]
-    public void GetIL_WithValidMethod_ReturnsILSummary()
+    public void GetIL_WithValidMethod_ReturnsILInstructions()
     {
         // Arrange - find a method from the test assembly
         var testType = ContextManager.FindTypeByName("TestLibrary.SimpleClass");

Tools/GetIL.cs

@@ -25,7 +25,7 @@ public static string GetIL(string memberId, string format = "IL", string? contex
             // Only support IL format for now, ILAst would require additional implementation
             if (format != "IL")
             {
-                throw new NotSupportedException($"Format '{format}' is not supported. Only 'IL' format is currently supported, and it currently returns metadata summary output rather than full body disassembly.");
+                throw new NotSupportedException($"Format '{format}' is not supported. Only 'IL' format is currently supported.");
             }
 
             var method = ToolValidation.ResolveMethodOrThrow(session, memberId);