Conjecture.Mcp 0.29.0

.NET 10.0 This package targets .NET 10.0. The package is compatible with this framework or higher. 
dotnet tool install --global Conjecture.Mcp --version 0.29.0
This package contains a .NET tool you can call from the shell/command line. 
dotnet new tool-manifest
                    


                            if you are setting up this repo
                        

                    

                
dotnet tool install --local Conjecture.Mcp --version 0.29.0
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Conjecture.Mcp&version=0.29.0
                    


                    

                
nuke :add-package Conjecture.Mcp --version 0.29.0

Conjecture.Mcp

A Model Context Protocol server that exposes Conjecture's API to AI assistants (Claude, Copilot, Cursor, etc.).

Installation

dotnet tool install --global Conjecture.Mcp

Then add it to your .mcp.json:

{
  "mcpServers": {
    "conjecture": {
      "type": "stdio",
      "command": "conjecture-mcp"
    }
  }
}

Tools

Tool Description
suggest-strategy Recommends the right Strategy.* strategy for a given C# type
scaffold-property-test Generates a [Property] test skeleton from a method signature
explain-shrink-output Parses and explains a Conjecture test failure

API Reference Resources

Eight read-only reference resources are exposed at conjecture://api/*: strategies, settings, state-machines, shrinking, assumptions, attributes, targeted-testing, recursive-strategies.

Product Compatible and additional computed target framework versions.
.NET net10.0 is compatible.  net10.0-android was computed.  net10.0-browser was computed.  net10.0-ios was computed.  net10.0-maccatalyst was computed.  net10.0-macos was computed.  net10.0-tvos was computed.  net10.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

Version Downloads Last Updated
0.29.0 128 5/9/2026
0.28.0 119 5/9/2026
0.27.1 122 4/28/2026
0.26.0 111 4/27/2026
0.25.0 130 4/27/2026
0.24.0 107 4/26/2026
0.23.0 107 4/26/2026
0.22.0 114 4/26/2026
0.21.0 114 4/26/2026
0.20.0 109 4/25/2026
0.19.0 116 4/25/2026
0.18.0 111 4/23/2026
0.17.0 133 4/23/2026
0.16.0 127 4/22/2026
0.15.0 109 4/22/2026
0.14.0 122 4/21/2026
0.13.0 116 4/19/2026
0.12.0 117 4/19/2026
0.10.0 131 4/17/2026
0.9.0 127 4/15/2026
Loading failed