From b205fd63699dfbc928594d952bd5f8c9877b24a7 Mon Sep 17 00:00:00 2001
From: Mohsen Azimi <543633+mohsen1@users.noreply.github.com>
Date: Wed, 4 Nov 2026 17:33:55 +0100
Subject: [PATCH 1/2] Document how to contribute

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index 0379b33..3e417cf 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,10 @@
 Connect a coding agent to Proofline's hosted MCP server with `npx -y @proofline/mcp`.
 Requires Node.js 22 or later. No CLI installation or runtime dependencies are needed.
 
+## Contributing
+
+This repository distributes the Proofline MCP bridge. The bridge discovers tools from the hosted MCP server at runtime. Open an issue for changes to the tool catalog or tool behavior. Pull requests are welcome for the hand-written bridge in `src/`, package scripts in `scripts/`, and tests in `tests/`.
+
 ## Add to your agent
 
 Add this entry to an agent's MCP configuration, such as Cursor's `.cursor/mcp.json`

From 6d11fcfd16f08ebe10633930247c2cf26a15807a Mon Sep 17 00:00:00 2001
From: Mohsen Azimi <543633+mohsen1@users.noreply.github.com>
Date: Wed, 4 Nov 2026 17:34:50 +0100
Subject: [PATCH 2/2] Link to the public API documentation

---
 README.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 3e417cf..f7f5dd9 100644
--- a/README.md
+++ b/README.md
@@ -100,6 +100,4 @@ The initial package registration must exist on npm before configuring its truste
 publisher. Release tags use `v` followed by the version in `package.json`.
 A manual Release run defaults to qualification without publication.
 
-The server contract and live client qualification are maintained in
-[the developer tools documentation](https://proofline.sh/docs/) and
-[the MCP roadmap issue](https://github.com/prooflinedev/proofline/issues/3246).
+See the [developer tools documentation](https://proofline.sh/docs/) for the hosted API.