check_agent_conduct — ProofMart MCP Tool Read-only
check_agent_conduct
(check agent conduct) is one of 3 tools on the
ProofMart
MCP server. Connect the server and your client discovers it on the handshake.
by client
How to call check_agent_conduct from your client
- Claude Code ProofMart check_agent_conduct run in your project directory
- Claude Desktop ProofMart check_agent_conduct ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor ProofMart check_agent_conduct ~/.cursor/mcp.json
- VS Code ProofMart check_agent_conduct .vscode/mcp.json
- Zed ProofMart check_agent_conduct ~/.config/zed/settings.json
- Windsurf ProofMart check_agent_conduct ~/.codeium/windsurf/mcp_config.json
- Cline ProofMart check_agent_conduct ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI ProofMart check_agent_conduct ~/.gemini/settings.json
- Grok ProofMart check_agent_conduct .mcp.json (in your project root)
- ChatGPT ProofMart check_agent_conduct Settings → Connectors → Advanced → Developer mode
- Claude.ai ProofMart check_agent_conduct Settings → Connectors → Add custom connector
- LangChain ProofMart check_agent_conduct pip install langchain-mcp-adapters
Fastest route
claude mcp add --transport http proofmart https://proofmart.fly.dev/mcpOther tools on this server
This list was read from the server itself, by connecting to it and calling tools/list on 5 November 2026. It is what
the server actually exposes, not what its listing claims.
Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.