MisarDev MCP Server

io.github.Misar-AIPublished by GitHub account Misar-AIv3.0.0Updated Oct 25, 2026

Create, build and deploy projects, roll back with checkpoints, connect custom domains, and search…

VerifiedStreamable HTTPWeb executableWeb Search & Scraping Cloud & Infrastructure Developer Tools

Server details

Identifier: io.github.Misar-AI/misardev-mcp
Transport: Streamable HTTP
Runtime: Web executable
Trust: Verified
Published: Oct 17, 2026

Security note

MCP servers receive tool arguments from a conversation and may perform external actions. Review what a server can do before you enable it, and give it only the access it needs.

The registry verified the GitHub account Misar-AI for this listing. That does not show the account is the product's maker.

SourceWeft's checks cover whether the listing is complete and the endpoint answered; they do not review the server's code or what its tools do.

Add a badge to your README

Show readers this MCP server is listed on SourceWeft. The badge links to this page.

[![Listed on SourceWeft](https://sourceweft.com/badge/mcp/io.github.Misar-AI%2Fmisardev-mcp.svg)](https://sourceweft.com/mcp/io.github.Misar-AI%2Fmisardev-mcp?utm_source=readme&utm_medium=badge)

Overview

AI-generated overview

MisarDev MCP lets an assistant create, edit, build and deploy MisarDev web projects, manage checkpoints and domains, and search code and the web.

What you can do: List, create, update, duplicate, archive, trash and restore projects, and read or write project files and knowledge notes
Browse starter templates and create projects from them, plus provision a full-stack database backend
Deploy, unpublish and check deployment status, manage subdomains and custom domains, and look up domain registration data
List, restore, rename and delete checkpoints, and list, poll or cancel AI builds
Index project code and run semantic code search, search the workspace, run grounded web search and one-shot chat completions
Read the feed, posts, comments, follows, DMs and notifications, and inspect plan usage, API keys and audit log
When to use it: Useful when you want an assistant to build and ship small web projects on MisarDev end to end: scaffold from a template, edit files, deploy, roll back a bad change, or attach a custom domain. Also handy for asking questions about a project's code or for browsing the MisarDev social feed and messages.
Requirements: A MisarDev account and an API key starting with mdk_, supplied as the MISARDEV_API_KEY environment variable or an Authorization bearer header. Runs either as a local npm package via npx (Node.js) or as a remote Streamable HTTP endpoint. Self-hosted instances need MISARDEV_BASE_URL. Some features, such as custom domains and code indexing, require a paid plan.

Before you install

The API key grants full account access, including creating and revoking API keys, so keep it out of shared configs. Many tools change or delete data: file writes and deletes, checkpoint restores, project trashing, unpublishing, subdomain moves and domain removal. Deploying publishes a site publicly, and comments and direct messages are sent under the user's own name. Web search, chat completions and code indexing spend model credits and count against plan quotas.

Installation

In SourceWeft

Open MisarDev MCP Server in the dashboard and add it to a workspace.
Connect Authorization token credentials. They are stored privately and never shown on public pages.
Enable the server for the chats that should use its tools.

Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.

Use with an agent

Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.

Read https://sourceweft.com/mcp/io.github.Misar-AI%2Fmisardev-mcp/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.

Read the install guide the agent follows

Other MCP clients

Add this to your client's mcpServers config.

{
  "mcpServers": {
    "misardev": {
      "type": "http",
      "url": "https://api.misar.io/dev/mcp",
      "headers": {
        "Authorization": "Bearer <YOUR_TOKEN>"
      }
    }
  }
}

README

MisarDev MCP Server

Create, build and deploy projects, roll back with checkpoints, connect custom domains, search your code and the web, and work your feed, follows and DMs — from any AI assistant.

[npm] [smithery] [license]

80 tools · 5 prompts · 3 resources · 4 agent skills

Works with Claude (Desktop, Code, and web), Cursor, VS Code, Windsurf, Cline, Zed, Gemini CLI, ChatGPT, and any other MCP-compatible client — over stdio or Streamable HTTP.

Install

Smithery (recommended)

Claude Code

Manual (any client)

json

{  "mcpServers": {    "misardev": {      "command": "npx",      "args": ["-y", "@misardev/mcp@latest"],      "env": { "MISARDEV_API_KEY": "mdk_your_key_here" }    }  }}

{  "mcpServers": {    "misardev": {      "command": "npx",      "args": ["-y", "@misardev/mcp@latest"],      "env": { "MISARDEV_API_KEY": "mdk_your_key_here" }    }  }}

Ready-made configs for every client live in connectors/.

Remote (no install)

json

{  "mcpServers": {    "misardev": {      "type": "streamable-http",      "url": "https://api.misar.io/dev/mcp",      "headers": { "Authorization": "Bearer mdk_your_key_here" }    }  }}

{  "mcpServers": {    "misardev": {      "type": "streamable-http",      "url": "https://api.misar.io/dev/mcp",      "headers": { "Authorization": "Bearer mdk_your_key_here" }    }  }}

Authentication

Create an API key at https://misar.dev/settings/api-keys (Settings → API keys) — it starts with mdk_ — and give it to the server in one of three ways: the MISARDEV_API_KEY environment variable, your MCP client's env block, or { "api_key": "mdk_…" } in ~/.misardev/config.json.

Self-hosted instances: set MISARDEV_BASE_URL.

Tools

Tool	Description
`list_projects`	List the projects you own or can access, newest first, with cursor pagination.
`get_project`	Get one project by ID — name, description, settings, visibility, version and deployment fields.
`create_project`	Create a new, empty project (optionally seeded with a file map).
`update_project`	Update a project's name, description, files, settings or visibility.
`delete_project`	Move a project to the trash.
`restore_project`	Restore a project from the trash.
`archive_project`	Archive (archived=true) or un-archive (archived=false) a project.
`duplicate_project`	Copy a project (files and settings) into a new project you own, named after the original.
`get_project_files`	Get a project's file tree with file contents.
`write_project_files`	Create, update or delete files in a project (1–100 per call, each up to 1 MB; paths are relative, no `..`).
`import_artifact`	Import a published Misar artifact page into a project as imported/ARTIFACT_ID.html.
`get_project_knowledge`	Read a project's knowledge — the standing notes (product context, conventions, constraints) the AI builder reads on every change..
`update_project_knowledge`	Replace a project's knowledge (up to 20,000 characters) — the standing notes the AI builder reads on every change.
`get_project_backend`	Show a full-stack project's database backend: whether one is provisioned, its schema name, table count and connection state..
`provision_project_backend`	Provision the database backend for a full-stack project: its own isolated schema, protected by row-level security.
`list_templates`	List the starter templates a new project can begin from, with their IDs, names and categories.
`get_template`	Get one template by ID — its description, stack and the files it would create..
`use_template`	Create a new project from a template.
`deploy_project`	Publish a project to the public internet on the MisarDev runtime (optionally at a chosen subdomain).
`get_deployment_status`	Get a project's current deployment: whether it is live, its URL, subdomain and custom-domain state.
`unpublish_project`	Take a published site offline.
`check_subdomain`	Check whether a subdomain label is free for this project and, if not, get suggestions.
`update_project_subdomain`	Move a project to a new .misar.app address (check it first with check_subdomain).
`list_builds`	List your recent AI builds across all projects, newest first, with status, model and the project each belongs to..
`get_build_status`	Get whether a project currently has a build running and its latest build state.
`cancel_build`	Cancel the build currently running on a project.
`list_checkpoints`	List a project's saved checkpoints (up to 100, newest first) with label, changed paths and timestamp.
`restore_checkpoint`	Restore a project's files to a checkpoint.
`rename_checkpoint`	Give a checkpoint a human-readable label (1–80 characters) so it is easy to find later..
`delete_checkpoint`	Delete one checkpoint from a project's version history.
`get_custom_domain`	Get a project's custom domain, its status, the DNS record the user must set, and whether DNS already resolves to the platform (TLS is issued automatically once it does)..
`set_custom_domain`	Attach a domain the user owns to a published project and provision routing/TLS.
`remove_custom_domain`	Detach a project's custom domain and remove its route.
`lookup_domain`	Look up a domain's public registration data (RDAP): whether it is registered, its registrar and key dates.
`search_workspace`	Search across your projects and the public catalogue (templates, skills, the published gallery) by name and description.
`web_search`	Answer a question from the live web with citations (MisarDev's grounded search).
`create_chat_completion`	Run a one-shot, non-streaming chat completion on MisarDev's OpenAI-compatible model API.
`index_project_code`	Index a project's files for semantic code search (RAG).
`search_project_code`	Semantic search inside an indexed project's code.
`get_code_index_stats`	Get embedding statistics for a project — how many files and chunks are indexed and when..
`clear_code_index`	Delete every embedding for a project.
`upgrade`	Show the current MisarDev plan, how much of each quota (builds, edits, projects) is left this period, and the link to compare plans and upgrade.
`get_usage`	Get detailed usage for the account.
`get_subscription`	Get the account's subscription: plan, status, current period end and whether it cancels at period end..
`list_plans`	List MisarDev's plans with prices, limits and features — what each upgrade would unlock..
`list_notifications`	List your notifications (build finished, deploy failed, invitations…), newest first, with the unread count.
`mark_notifications_read`	Mark every notification as read, clearing the unread badge.
`list_api_keys`	List your API keys — name, prefix, created/expiry dates and IP allowlist.
`create_api_key`	Create a new API key.
`revoke_api_key`	Revoke an API key by ID.
`mark_notification_read`	Mark one notification as read (use mark_notifications_read for all of them)..
`list_audit_log`	List your own audit trail — API-key, deployment and billing events where you were the actor, newest first.
`list_connectors`	List the connectors available on MisarDev and whether each is enabled for you, with its category, status and dashboard path..
`toggle_connector`	Enable or disable a connector by slug (from list_connectors).
`get_feed`	Read your home feed, one keyset page at a time.
`list_posts`	List the public explore grid: every publicly listed post, newest first, with cursor pagination.
`get_post`	Get one public post by ID: caption, author, the project or template it shares, its live URL, and its like, comment and remix counts.
`list_tag_posts`	List the posts carrying a hashtag, newest first, with cursor pagination.
`like_post`	Like a post as yourself.
`unlike_post`	Remove your like from a post.
`save_post`	Save (bookmark) a post, optionally into one of your collections.
`unsave_post`	Unsave a post.
`list_saved_posts`	List the posts you saved, newest save first, with cursor pagination.
`list_post_comments`	List a post's comments: top-level comments newest first, each with its first replies.
`create_comment`	Post a public comment on a post, or a reply to a top-level comment, under the user's own name.
`delete_comment`	Delete a comment you wrote, or one on your own post.
`follow_user`	Follow a builder by handle, so their posts join your following feed.
`unfollow_user`	Stop following a builder by handle.
`list_people_suggestions`	Suggest builders you may want to follow, each with a ready-to-show reason (for example "Follows you" or "Followed by 3 people you follow").
`mute_user`	Mute a builder's posts, stories or both (default both).
`unmute_user`	Unmute a builder, so their posts and stories show again.
`list_dm_threads`	List your direct-message conversations, newest activity first.
`list_dm_messages`	Read one conversation, newest message first, with cursor pagination.
`send_direct_message`	Send a direct message, as the user, to another person.
`mark_dm_thread_read`	Mark a conversation read up to now.
`accept_dm_request`	Accept a message request, moving the conversation into your inbox.
`mute_dm_thread`	Mute a conversation for yourself.
`unmute_dm_thread`	Unmute a conversation, so it counts toward your unread badge again.
`get_dm_unread_counts`	Count your unread conversations and pending message requests: the numbers behind the inbox badge..
`get_story_tray`	Get the story tray: your own ring first, then the builders you follow who have a live story you may see, unseen ones first.

Prompts

Reusable workflows your client exposes as slash-commands.

Prompt	Description
`ship_a_project`	Take a project from a template to a live, verified deployment.
`undo_a_bad_change`	Roll a project back to an earlier checkpoint and, if it was live, redeploy.
`deployment_health`	Review recent builds and deployments and say what needs attention.
`search_the_codebase`	Answer a question about a project from its indexed code.
`usage_and_keys_audit`	Review plan usage and API keys for anything unexpected.

Resources

Read-only context an agent can attach without spending a tool call.

URI	Description
`misardev://projects`	Your active projects, newest first — the IDs every other tool takes..
`misardev://templates`	Available starter templates, so a new project begins from a real one..
`misardev://plan`	Current plan and remaining builds, edits and projects this period — the baseline for any quota question..

Agent skills

Bundled in skills/ — guidance an agent loads when a task matches.

Skill	Use when
`connect-custom-domain`	Attach a domain the user owns to a published MisarDev project and walk them through the DNS record until TLS is live. Use for "use my own domain", custom domain setup, or a domain that is not serving yet.
`search-the-codebase`	Answer questions about a MisarDev project from its indexed code, citing the files used. Use when asked how something works, where code lives, or to explain part of a MisarDev project.
`ship-a-project`	Create a MisarDev project from a template and publish it, verifying the address before and the live site after. Use when asked to start, build, launch or deploy a project in MisarDev.
`undo-a-bad-change`	Roll a MisarDev project back to an earlier checkpoint and, if it is published, redeploy the restored version. Use when the user says a change broke something, wants the previous version back, or asks to undo.

Safety

Destructive and irreversible actions are annotated (destructiveHint) so clients can prompt before running them. The skills instruct agents to confirm before anything that sends mail, publishes content, or is otherwise visible to other people.

Discovery (initialize, tools/list, prompts/list, resources/list) never requires credentials, so registries can index the server without one. Every action does.

Tools

list_projects

List projects

List the projects you own or can access, newest first, with cursor pagination. view=active (default) hides archived and trashed projects; pass view=archived or view=trash to see those.

Parametersviewlimitcursor

get_project

Get project

Get one project by ID — name, description, settings, visibility, version and deployment fields. Read this before update_project so you change the current version, not a stale copy.

Parametersidrequired

create_project

Create project

Create a new, empty project (optionally seeded with a file map). Counts against the plan's project quota. To start from a starter instead, use use_template.

Parametersnamerequiredfilessettingsdescription

update_project

Update project

Update a project's name, description, files, settings or visibility. Files passed here REPLACE the matching paths. Pass the `version` you read with get_project to avoid overwriting someone else's newer edit (the API answers 409 on a conflict).

Parametersidrequirednamefilesversionsettingsis_publicdescription

delete_project

Delete project

Move a project to the trash. It disappears from every list and route immediately; restore_project brings it back during the retention window. Confirm with the user first — anything published from it stops being editable.

Parametersidrequired

restore_project

Restore project

Restore a project from the trash. A project that was archived before it was trashed returns to the archive, not to the active list.

Parametersidrequired

archive_project

Archive project

Archive (archived=true) or un-archive (archived=false) a project. Archiving hides it from the active list without deleting anything; it is fully reversible.

Parametersidrequiredarchivedrequired

duplicate_project

Duplicate project

Copy a project (files and settings) into a new project you own, named after the original. Counts against the plan's project quota. Any member with read access may duplicate.

Parametersidrequired

get_project_files

Get project files

Get a project's file tree with file contents. Use this to read code before answering questions about it or proposing an update_project change.

Parametersidrequired

write_project_files

Write project files

Create, update or delete files in a project (1–100 per call, each up to 1 MB; paths are relative, no `..`). Other files are left as they are. Overwrites and deletes are applied to the working files immediately — confirm with the user, and use list_checkpoints/restore_checkpoint to undo. Pass `version` (from get_project) to refuse the write if anything changed since you read it. The published site does not change until you deploy again.

Parametersidrequiredfilesrequiredversion

import_artifact

Import artifact into project

Import a published Misar artifact page into a project as imported/ARTIFACT_ID.html. The url must be exactly https://misar.ai/code/artifact/ARTIFACT_ID; anything else is refused before any fetch.

Parametersidrequiredurlrequired

get_project_knowledge

Get project knowledge

Read a project's knowledge — the standing notes (product context, conventions, constraints) the AI builder reads on every change.

Parametersidrequired

update_project_knowledge

Update project knowledge

Replace a project's knowledge (up to 20,000 characters) — the standing notes the AI builder reads on every change. This replaces the whole text, so read it with get_project_knowledge first and send the edited version.

Parametersidrequiredcontentrequired

get_project_backend

Get project backend

Show a full-stack project's database backend: whether one is provisioned, its schema name, table count and connection state.

Parametersidrequired

provision_project_backend

Provision project backend

Provision the database backend for a full-stack project: its own isolated schema, protected by row-level security. Safe to repeat — an already-provisioned project reports its existing backend.

Parametersidrequired

list_templates

List templates

List the starter templates a new project can begin from, with their IDs, names and categories. Pick one here before calling use_template.

Takes no parameters.

get_template

Get template

Get one template by ID — its description, stack and the files it would create.

Parametersidrequired

use_template

Use template

Create a new project from a template. Returns the new project; counts against the plan's project quota.

Parametersidrequirednamerequired

deploy_project

Deploy project

Publish a project to the public internet on the MisarDev runtime (optionally at a chosen subdomain). The site becomes reachable by anyone. Confirm with the user before calling, check the address first with check_subdomain, and follow with get_deployment_status. Counts against the plan's deploy quota.

Parametersidrequiredsubdomainpublic_gallery

get_deployment_status

Get deployment status

Get a project's current deployment: whether it is live, its URL, subdomain and custom-domain state. Call after deploy_project to confirm the site is actually up before telling anyone it is.

Parametersidrequired

unpublish_project

Unpublish project

Take a published site offline. Its public URL stops serving immediately. This is not a rollback — to go back to an earlier version, restore_checkpoint and deploy again. Confirm with the user first.

Parametersidrequired

check_subdomain

Check subdomain

Check whether a subdomain label is free for this project and, if not, get suggestions. The project's own current subdomain reads as available.

Parametersidrequiredsubdomainrequired

update_project_subdomain

Change project subdomain

Move a project to a new <subdomain>.misar.app address (check it first with check_subdomain). If the app is published, the live site moves immediately and the OLD address stops working — get the user's explicit approval. If it is not published yet, this just reserves the name for the next deploy.

Parametersidrequiredsubdomainrequired

list_builds

List builds

List your recent AI builds across all projects, newest first, with status, model and the project each belongs to.

Parameterslimit

get_build_status

Get build status

Get whether a project currently has a build running and its latest build state. Poll this rather than assuming a build finished.

Parametersidrequired

cancel_build

Cancel build

Cancel the build currently running on a project. Work the build had not yet saved is discarded.

Parametersidrequired

list_checkpoints

List checkpoints

List a project's saved checkpoints (up to 100, newest first) with label, changed paths and timestamp. Checkpoints are the project's version history — use one to undo a bad change.

Parametersidrequired

restore_checkpoint

Restore checkpoint

Restore a project's files to a checkpoint. The current state is snapshotted first, so the restore itself can be undone — but it does overwrite the working files, so confirm with the user. A published site does not change until you deploy again.

Parameterscheckpoint_idrequired

rename_checkpoint

Rename checkpoint

Give a checkpoint a human-readable label (1–80 characters) so it is easy to find later.

Parameterslabelrequiredcheckpoint_idrequired

delete_checkpoint

Delete checkpoint

Delete one checkpoint from a project's version history. It can no longer be restored afterwards, and the last remaining checkpoint cannot be deleted. Confirm with the user first.

Parameterscheckpoint_idrequired

get_custom_domain

Get custom domain

Get a project's custom domain, its status, the DNS record the user must set, and whether DNS already resolves to the platform (TLS is issued automatically once it does).

Parametersidrequired

set_custom_domain

Set custom domain

Attach a domain the user owns to a published project and provision routing/TLS. Paid plans only (the API answers with an upgrade offer otherwise). Returns the DNS record to set — the domain only serves once that record is live.

Parametersidrequireddomainrequired

remove_custom_domain

Remove custom domain

Detach a project's custom domain and remove its route. The domain stops serving the app immediately; the default subdomain keeps working. Confirm with the user first.

Parametersidrequired

lookup_domain

Look up domain

Look up a domain's public registration data (RDAP): whether it is registered, its registrar and key dates. Useful before suggesting a custom domain.

Parametersdomainrequired

search_workspace

Search workspace

Search across your projects and the public catalogue (templates, skills, the published gallery) by name and description. Does NOT search inside project files — use search_project_code for that. A source that could not be reached is reported as unavailable, never as zero results.

Parameterslimitqueryrequiredtypes

web_search

Web search

Answer a question from the live web with citations (MisarDev's grounded search). Returns the answer, url_citation annotations and the ranked sources. Spends model credits; quote only what the sources support.

Parametersqueryrequiredsearch_context_size

create_chat_completion

Chat completion

Run a one-shot, non-streaming chat completion on MisarDev's OpenAI-compatible model API. model='misar-online' grounds the answer in the web with citations; omit model for the default coding model. Spends model credits.

Parametersmodelmessagesrequiredmax_tokenstemperature

index_project_code

Index project code

Index a project's files for semantic code search (RAG). Pass the files to index as a path → content map; re-indexing a path replaces it. Metered — a paid-plan feature.

Parametersfilesrequiredproject_idrequired

search_project_code

Search project code

Semantic search inside an indexed project's code. Answer only from the snippets it returns and cite their file paths; if get_code_index_stats shows nothing indexed, index first.

Parametersqueryrequiredproject_idrequired

get_code_index_stats

Get code index stats

Get embedding statistics for a project — how many files and chunks are indexed and when.

Parametersproject_idrequired

clear_code_index

Clear code index

Delete every embedding for a project. Code search returns nothing until the project is indexed again. Project files are not touched.

Parametersproject_idrequired

upgrade

Plan usage and upgrade

Show the current MisarDev plan, how much of each quota (builds, edits, projects) is left this period, and the link to compare plans and upgrade. Call it any time — not only after hitting a limit. Reads only: it never changes the plan or takes payment. On a local install, open=true also opens the pricing page in the user's browser.

Parametersopen

get_usage

Get usage

Get detailed usage for the account. format=quick returns a lightweight summary, format=dashboard the full dashboard data; analytics=true adds a per-day breakdown over `days` (default 30). For plan limits at a glance, use upgrade.

Parametersdaysformatanalytics

get_subscription

Get subscription

Get the account's subscription: plan, status, current period end and whether it cancels at period end.

Takes no parameters.

list_plans

List plans

List MisarDev's plans with prices, limits and features — what each upgrade would unlock.

Takes no parameters.

list_notifications

List notifications

List your notifications (build finished, deploy failed, invitations…), newest first, with the unread count. Pass `before` (an ISO timestamp from the last row) to page back; unread_only=true returns just the count.

Parametersbeforeunread_only

mark_notifications_read

Mark notifications read

Mark every notification as read, clearing the unread badge. Nothing is deleted.

Takes no parameters.

list_api_keys

List API keys

List your API keys — name, prefix, created/expiry dates and IP allowlist. Never returns the secret.

Takes no parameters.

create_api_key

Create API key

Create a new API key. The raw key is returned ONCE — hand it to the user and never repeat or store it. Every MisarDev key has full API access; keys expire (default 90 days, max 365).

Parametersnamerequiredip_allowlistexpires_in_days

revoke_api_key

Revoke API key

Revoke an API key by ID. It is deleted permanently and anything still using it fails immediately. Confirm with the user first, and never revoke the key this session is using without saying so.

Parametersidrequired

mark_notification_read

Mark one notification read

Mark one notification as read (use mark_notifications_read for all of them).

Parametersidrequired

list_audit_log

List audit log

List your own audit trail — API-key, deployment and billing events where you were the actor, newest first. Needs a plan that includes audit logs; otherwise it returns an upgrade message.

Parameterslimitactionoffsetcategory

list_connectors

List connectors

List the connectors available on MisarDev and whether each is enabled for you, with its category, status and dashboard path.

Takes no parameters.

toggle_connector

Toggle connector

Enable or disable a connector by slug (from list_connectors). Reversible.

Parametersslugrequiredenabledrequired

Version history

v3.0.0LatestOct 17, 2026

Score

90% of the applicable checks met

How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.

Reached in the last 30 daysRequired25 pts
Auth declaredRequired10 pts
Tools listedRequired15 pts
DescriptionRequired15 pts
Logo10 pts
Documentation15 pts
License10 pts
Declare a license in the repository or the registry entry.

MisarDev MCP Server

Overview

Installation

In SourceWeft

Use with an agent

Other MCP clients

README

MisarDev MCP Server

Install

Smithery (recommended)

Claude Code

Manual (any client)

Remote (no install)

Authentication

Tools

Prompts

Resources

Agent skills

Safety

Links

Tools

list_projects

get_project

create_project

update_project

delete_project

restore_project

archive_project

duplicate_project

get_project_files

write_project_files

import_artifact

get_project_knowledge

update_project_knowledge

get_project_backend

provision_project_backend

list_templates

get_template

use_template

deploy_project

get_deployment_status

unpublish_project

check_subdomain

update_project_subdomain

list_builds

get_build_status

cancel_build

list_checkpoints

restore_checkpoint

rename_checkpoint

delete_checkpoint

get_custom_domain

set_custom_domain

remove_custom_domain

lookup_domain

search_workspace

web_search

create_chat_completion

index_project_code

search_project_code

get_code_index_stats

clear_code_index

upgrade

get_usage

get_subscription

list_plans

list_notifications

mark_notifications_read

list_api_keys

create_api_key

revoke_api_key

mark_notification_read

list_audit_log

list_connectors

toggle_connector

Version history

Score