MisarDev MCP Server MCP Tools

• list_projects Read-only

  list projects

• get_project Read-only

  get project

• create_project Mutating

  create project

• update_project Mutating

  update project

• delete_project Mutating

  delete project

• restore_project

  restore project

• archive_project

  archive project

• duplicate_project

  duplicate project

• get_project_files Read-only

  get project files

• write_project_files Mutating

  write project files

• import_artifact Mutating

  import artifact

• get_project_knowledge Read-only

  get project knowledge

• update_project_knowledge Mutating

  update project knowledge

• get_project_backend Read-only

  get project backend

• provision_project_backend

  provision project backend

• list_templates Read-only

  list templates

• get_template Read-only

  get template

• use_template

  use template

• deploy_project

  deploy project

• get_deployment_status Read-only

  get deployment status

• unpublish_project

  unpublish project

• check_subdomain Read-only

  check subdomain

• update_project_subdomain Mutating

  update project subdomain

• list_builds Read-only

  list builds

• get_build_status Read-only

  get build status

• cancel_build Mutating

  cancel build

• list_checkpoints Read-only

  list checkpoints

• restore_checkpoint

  restore checkpoint

• rename_checkpoint Mutating

  rename checkpoint

• delete_checkpoint Mutating

  delete checkpoint

• get_custom_domain Read-only

  get custom domain

• set_custom_domain Mutating

  set custom domain

• remove_custom_domain Mutating

  remove custom domain

• lookup_domain Read-only

  lookup domain

• search_workspace Read-only

  search workspace

• web_search

  web search

• create_chat_completion Mutating

  create chat completion

• index_project_code

  index project code

• search_project_code Read-only

  search project code

• get_code_index_stats Read-only

  get code index stats

• clear_code_index Mutating

  clear code index

• upgrade

  upgrade

• get_usage Read-only

  get usage

• get_subscription Read-only

  get subscription

• list_plans Read-only

  list plans

• list_notifications Read-only

  list notifications

• mark_notifications_read

  mark notifications read

• list_api_keys Read-only

  list api keys

• create_api_key Mutating

  create api key

• revoke_api_key Mutating

  revoke api key

• mark_notification_read

  mark notification read

• list_audit_log Read-only

  list audit log

• list_connectors Read-only

  list connectors

• toggle_connector

  toggle connector

This list was read from the server itself, by connecting to it and calling tools/list on 14 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.