cypher_check_proof_status — cypher mcp MCP Tool
cypher_check_proof_status
(cypher check proof status) is one of 112 tools on the
cypher mcp
MCP server. Connect the server and your client discovers it on the handshake.
by client
How to call cypher_check_proof_status from your client
- Claude Code cypher mcp cypher_check_proof_status run in your project directory
- Claude Desktop cypher mcp cypher_check_proof_status ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor cypher mcp cypher_check_proof_status ~/.cursor/mcp.json
- VS Code cypher mcp cypher_check_proof_status .vscode/mcp.json
- Zed cypher mcp cypher_check_proof_status ~/.config/zed/settings.json
- Windsurf cypher mcp cypher_check_proof_status ~/.codeium/windsurf/mcp_config.json
- Cline cypher mcp cypher_check_proof_status ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI cypher mcp cypher_check_proof_status ~/.gemini/settings.json
- Grok cypher mcp cypher_check_proof_status .mcp.json (in your project root)
- ChatGPT cypher mcp cypher_check_proof_status Settings → Connectors → Advanced → Developer mode
- Claude.ai cypher mcp cypher_check_proof_status Settings → Connectors → Add custom connector
- LangChain cypher mcp cypher_check_proof_status pip install langchain-mcp-adapters
Fastest route
claude mcp add --transport http cypher-mcp https://cypher-mcp.fastmcp.app/mcp
Other tools on this server
- cypher_check_balance
- cypher_purchase_credits
- cypher_check_payment
- cypher_restore_credits
- cypher_account_statement
- cypher_account_statement_infographic
- cypher_report_issue
- cypher_service_status
- cypher_get_operator_onboarding_status
- cypher_get_patron_onboarding_status
- cypher_session_status
- cypher_request_credential_channel
- cypher_receive_credentials
- cypher_forget_credentials
- cypher_update_patron_credential
- cypher_update_operator_credential
- cypher_delete_patron_credential
- cypher_delete_operator_credential
- cypher_get_patron_credential_fields
- cypher_request_npub_proof
- cypher_receive_npub_proof
- cypher_oracle_how_to_join
- cypher_oracle_get_tax_rate
- cypher_oracle_lookup_member
- cypher_oracle_about
- cypher_oracle_network_advisory
- cypher_check_authority_balance
- cypher_get_pricing_model
- cypher_set_pricing_model
- cypher_reset_pricing_model
- cypher_request_adoption
- cypher_adoption_status
- cypher_restore_neon_schema
- cypher_list_canonical_identities
- cypher_get_nostr_profile
- cypher_publish_nostr_profile
- cypher_check_price
- cypher_list_constraint_types
- cypher_mint_coupon
- cypher_list_coupons
- cypher_update_coupon
- cypher_delete_coupon
- cypher_redeem_coupon
- cypher_list_my_coupons
- cypher_forget_coupon
- cypher_notarize_ledger
- cypher_get_notarization_proof
- cypher_list_notarizations
- cypher_execute_query_by_key
- cypher_public_factory_stats
- cypher_create_query
- cypher_update_query
- cypher_get_query
- cypher_list_queries
- cypher_delete_query
- cypher_publish_tool
- cypher_unpublish_tool
- cypher_anchor_symbol
- cypher_assert_invariant
- cypher_assert_rationale
- cypher_audit_what_changed_since
- cypher_audit_what_contradicts
- cypher_audit_what_derived_from
- cypher_audit_what_guards
- cypher_audit_who_authorized
- cypher_audit_why_exists
- cypher_authorize_capability_why
- cypher_bind_capability_to_symbol
- cypher_bind_rationale_to_symbol
- cypher_capability_patents
- cypher_claim_issue
- cypher_context_pack
- cypher_explain_capability
- cypher_explain_patent_element
- cypher_factory_resolution_stats
- cypher_find_airline_flights
- cypher_guard_invariant_symbol
- cypher_index_symbol
- cypher_invariant_provenance
- cypher_issue_provenance
- cypher_link_capability_consumer
- cypher_link_capability_to_patent
- cypher_link_invariant_to_patent
- cypher_link_issue_to_capability
- cypher_link_pr
- cypher_link_root_cause
- cypher_list_capabilities
- cypher_list_invariants
- cypher_list_issues
- cypher_list_patent_elements
- cypher_list_pull_requests
- cypher_mark_funding_state
- cypher_mark_invariant_contradiction
- cypher_note_rejection
- cypher_pr_provenance
- cypher_recent_activity
- cypher_record_scope
- cypher_record_triage
- cypher_register_service
- cypher_retire_funding_block
- cypher_route_rejection
- cypher_routing_history
- cypher_service_provenance
- cypher_suggest_capability_why
- cypher_symbol_provenance
- cypher_symbols_in_service
- cypher_upsert_capability
- cypher_upsert_patent_element
- cypher_upsert_pull_request
- cypher_what_realizes_capability
- cypher_which_service_handles
This list was read from the server itself, by connecting to it and calling tools/list on 24 September 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.