Planner MCP — provable "done" for AI agents

com.monopoly-gold.planner由 planner.monopoly-gold.com 发布官方发布者v2.0.0更新于 Oct 24, 2026

Goal and task planning MCP for Codex and AI agents, with evidence-backed completion.

已验证Streamable HTTP可网页运行效率与工作流开发者工具

概览

AI 生成的概览

托管式规划服务器,让 AI 助手管理项目与目标,完成状态须由验收标准和所附证据把关。

可以做什么
创建、列出、更新和删除项目,并声明项目间依赖,循环检测由调用方负责。构建并调整由目标、里程碑、任务和习惯组成的目标树,支持移动、排序、阻塞和快速收集待办。为每个验收标准添加标准并附上证据,为大文件申请一次性上传地址,并可读回证据内容。管理目标边上的假设,申请修改验收标准,处理升级请求并记录迭代凭证。查看树形与汇总视图、备注以及近期未解决的目标。
适用场景
适合助手执行多步骤任务、且你希望完成状态是被证明而非仅凭声明的场景:每个目标只有在证据通过独立评审后才会关闭。也适合需要项目与目标层级及审计记录的代理式开发或运维工作。
运行要求
通过 streamable HTTP 连接的远程 MCP 端点,无需本地安装。登录使用 OAuth 2.1 与动态客户端注册,经浏览器完成,无需创建或粘贴令牌。README 列出 account-delete 工具,说明存在托管账户。
安装前请注意
项目、目标和上传的证据都存放在第三方主机上,且由 LLM 评审你附上的证据。许多工具会写入、移动或删除数据:删除项目或目标可能级联删除子项、证据和阻塞项,目标删除被描述为不可逆。删除证据会同时删除所附文件。上传地址一次性使用且会过期。

安装

在 SourceWeft 中

  1. 打开 控制台中的 Planner MCP — provable "done" for AI agents,将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Web executable,通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。

交给智能体安装

把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体,或 SourceWeft 对话中。智能体会读取该服务器的安装指南,先向你展示发布者、端点和登录方式,经你同意后再把它添加到你的客户端。密钥不会写进任何命令。

阅读 https://sourceweft.com/mcp/com.monopoly-gold.planner%2Fmcp/install.md,并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前,先告诉我它的发布者、端点和登录方式,等我确认。不要把 API 密钥写进命令或我会提交的文件;问我密钥应从哪里获取。

查看智能体所依据的安装指南

其他 MCP 客户端

把它添加到你客户端的 mcpServers 配置中。

{
  "mcpServers": {
    "planner-provable-done-for-ai-agents": {
      "type": "http",
      "url": "https://planner.monopoly-gold.com/_mcp"
    }
  }
}

README

Planner MCP (proof-of-done)

Evidence-gated task verification for AI agents. Hosted MCP server — nothing to install.

Search aliases such as MCP Planner, Planner MCP, install mcp planner, and установи mcp planner refer to this official server: com.monopoly-gold.planner/mcp.

MCP endpoint: https://planner.monopoly-gold.com/_mcp

What it does

Planner prevents AI agents from marking tasks "done" on trust alone. Every goal goes through a verification gate:

  1. Decompose — break a goal into acceptance criteria with behavioral checks
  2. Attach evidence — screenshot, curl output, file, or text artifact per criterion
  3. Independent judge — LLM evaluates evidence against the criterion and accepts or rejects

Goals stay open until every acceptance criterion has passing evidence.

Key features

  • Goal hierarchy — projects, milestones, goals, tasks with parent-child relationships
  • Acceptance criteria — behavioral, observable checks (not "Denis approves")
  • Evidence model — attach files or text per criterion; plain notes don't satisfy the gate
  • LLM judge — independent verdict on each piece of evidence
  • Gate-keeper interview — 3 questions on goal creation: why, where in the tree, how we'll verify
  • Dependencies & blockers — cross-goal blocking with auto-unblock on resolution
  • Tree & summary views — full hierarchy traversal and project-level summaries

MCP tools (24)

CategoryTools
Projectsproject-list, project-get, project-create, project-delete, project-add-dependency, project-remove-dependency
Goalsgoal-list, goal-get, goal-tree, goal-create, goal-update, goal-delete, goal-move, goal-reorder, goal-summary, goal-todo
Criteriagoal-add-criterion
Evidencegoal-attach-evidence, goal-add-evidence-text, goal-remove-evidence, goal-request-upload
Blockersgoal-block, goal-remove-blocker
Accountaccount-delete

Connect

Planner is a hosted remote MCP server using streamable HTTP transport with OAuth 2.1 authentication and Dynamic Client Registration (RFC 7591).

Codex — “установи mcp planner”

Run these commands in Codex CLI:

bash
codex mcp add planner --url https://planner.monopoly-gold.com/_mcpcodex mcp login plannercodex mcp list

Planner signs the user in through browser OAuth. There is no Planner token to create or paste, and no package or repository to clone. After login, ask Codex to list your Planner projects; a successful project-list tool call confirms that the connection is live (an empty list is valid for a new account).

Canonical guide: https://planner.monopoly-gold.com/connect/codex

Claude Desktop / Claude Code

Add to your MCP configuration:

json
{  "mcpServers": {    "planner": {      "type": "url",      "url": "https://planner.monopoly-gold.com/_mcp"    }  }}

OAuth login happens automatically on first connection.

Any MCP client

Point your client to https://planner.monopoly-gold.com/_mcp — the server supports MCP discovery and standard OAuth 2.1 flow.

Directory listings

DirectoryStatusLink
Glama✅ Live, Healthyglama.ai/mcp/connectors/…/planner-proof-of-done
mcp.so✅ Publishedmcp.so/server/planner
awesome-mcp-servers⏳ PR under reviewPR #8708

Links

License

Proprietary. Planner is a hosted service — this repository contains documentation only.

来源:README.md,提交 08f4359

工具

43

project-list

List all projects with optional status filter (active/archived/paused). Returns id, title, slug, webUrl, icon, and goals_count for each project. Use project-get for full details with goals breakdown by status.

输入参数status

project-create

Create a new project container for goals. Requires title and a unique slug (lowercase a-z, 0-9, hyphens). Optional: description, status (active/archived/paused, default active), tags, icon (emoji), repositoryPath, repositoryUrl, sourceRef ({type:"git",url,ref} — remote-research source), isDefault. Returns the created project with id, slug, and webUrl. Slug must be unique — duplicates are rejected with existing slugs list.

输入参数iconslug必填tagstitle必填statusisDefaultsourceRefdescriptionrepositoryUrlrepositoryPath

project-get

Fetch full project details: title, slug, status, description, icon, tags, repository info, sourceRef ({type,url,ref} for remote-research or null), goals breakdown by status (backlog/in_progress/blocked/done/cancelled counts), and depends_on list of project dependencies.

输入参数projectId必填

project-update

Partial update of a project — only the fields you pass are changed; omitted fields are untouched. Updatable: title, slug, description, status (active/archived/paused), tags, icon (emoji), repositoryPath, repositoryUrl, sourceRef ({type:"git",url,ref} — remote-research source), clearSourceRef (true → сбрасывает Project.sourceRef в null; несовместим с sourceRef), isDefault, redTeamMode (optional/advisory/required), evidenceJudgeMode (off/optional/required), allowedGoalMode (any/grove_only), fmeaGenerationMode (off/on), escalationResolveTimeout (off/1h/4h/24h), escalationAutoResolveBy (none/planner-agent), escalationAutoResolveStrategy (suggest-edit/reject-default). Returns the updated project with all fields.

输入参数iconslugtagstitlestatusisDefaultprojectId必填sourceRefdescriptionredTeamModerepositoryUrlclearSourceRef另有 7 个

project-delete

Delete a project. If the project has goals, pass force=true to cascade-delete them all; without force, the call is rejected with the goals count. Returns deleted title, slug, and goals_deleted count.

输入参数forceprojectId必填

project-add-dependency

Declare that one project depends on another (depends-on relationship). Accepts UUID or slug for both sides. Idempotent: if the dependency already exists, returns it with already_existed=true. Self-references are rejected. No cycle detection — the caller is responsible for avoiding circular chains.

输入参数projectId必填dependsOnProjectId必填

project-remove-dependency

Remove a project dependency. Two lookup modes: pass dependency_id (UUID of the link itself), or pass both projectId and dependsOnProjectId (UUID or slug). Returns removed=true on success, removed=false if the dependency was not found.

输入参数projectIddependencyIddependsOnProjectId

goal-list

List goals with optional filters: projectId (UUID), status (backlog/checking_ac/checking_ac_failed/checking_ac_errored/ready_for_work/in_progress/blocked/done/cancelled), type (goal/milestone/task/habit), parentId (UUID — direct children only). Returns up to limit results (default 50, no offset pagination). Sorted by priority ASC then createdAt DESC. Each entry has id, title, webUrl, status, priority, type, progress, parent_id, project_id.

输入参数typelimitstatusparentIdprojectId

goal-create

Create a goal/task/milestone/habit in the planning tree. Two modes: grove (default) — enforces acceptance criteria gate on status transitions (AC required before ready_for_work, file-evidence per AC before done); standard — carries the same AC but without the evidence gate (advisory linting only). Returns the created goal with id, webUrl, mode, and nextStep hint. For an explicit visible UI result, the response may include an advisory visualAcSuggestion; adopt its criterion through goal-add-criterion with visualEvidenceSuggested=true, or ignore it. Every goal must belong to a project (pass projectId or inherit from parent).

输入参数modetagstypetitle必填statusdeadlineestimateparentIdpriorityprojectIddescriptionacceptanceCriteria

goal-get

Fetch full details of a single goal: title, description, status, priority, type, mode, children, acceptance criteria (with evidence coverage), blockers, tags, deadline, estimate, history log, and project. The primary drill-down tool after goal-list or goal-tree. For a Planner goal URL, do not browse the UI: extract the UUID after /goal/ and pass it as required goalId.

输入参数goalId必填

goal-update

Partial update of a goal — only the fields you pass are changed; omitted fields are untouched. Updatable: title, status, priority (1-5), description, type, tags, deadline, estimate, mode, attemptCommit (git SHA of the attempt commit; once a deployed revision contains it, post-deploy probes of this goal run automatically and record machine verdicts — pass "" to clear), dismissVisualAcSuggestion. Status transitions follow a matrix: backlog→ready_for_work (author; grove: requires ≥1 AC, red-team check when the project requires it — the goal parks in checking_ac and becomes ready_for_work, checking_ac_failed (hole in AC set) or checking_ac_errored (check did not run)); ready_for_work|checking_ac_errored→in_progress (executor, no checks); in_progress→done (file-evidence on every AC + session_history) | blocked | cancelled. A visible-UI goal with an outstanding visualAcSuggestion returns an advisory before ready_for_work freezes the AC contract: accept it through goal-add-criterion(visualEvidenceSuggested=true), or retry this same update with dismissVisualAcSuggestion=true. The first MCP dismissal persists the choice and notifies Product Events with the goal title and link, full proposed AC, and why screenshot proof was useful; UI, repeat, and no-active dismissals are silent, and notification failures do not undo the dismissal. backlog→in_progress and backlog→done are rejected. Returns the updated goal with all fields.

输入参数modetagstypetitlegoalId必填statusdeadlineestimateprioritydescriptionattemptCommitdismissVisualAcSuggestion

goal-delete

IRREVERSIBLY delete a goal and all its descendants (children, evidence, blockers). Prefer goal-update status=cancelled to preserve history, or goal-block to mark an obstacle. Use delete only for erroneous/duplicate entries. Returns the deleted title and children_deleted count.

输入参数goalId必填

goal-move

Move a goal to a different parent or project. Pass newParentId=UUID to reparent (inherits project from new parent), newParentId=null to make root. Optional projectId=UUID overrides the target project when making root (cross-project move to root). Cascades project change to all descendants. Prevents cycles.

输入参数goalId必填projectIdnewParentId

goal-reorder

Set display order of sibling goals within the same parent and priority band. Pass an array of goal UUIDs in the desired order — each is assigned position = its array index. All goals must share the same parent and priority.

输入参数ids必填

goal-block

Add a blocker to a goal (blockers are additive — each call appends a new one, existing blockers are preserved). Sets status to blocked. Optionally create an inline resolver goal (resolverTitle) or link an existing one (linkedGoalId) — mutually exclusive. When the last active blocker is removed via goal-remove-blocker, the goal returns to its previous status.

输入参数goalId必填description必填linkedGoalIdresolverTitleresolverParentIdresolverDescription

goal-remove-blocker

Remove a blocker from a goal by blocker UUID. If it was the last active blocker, the goal automatically returns to its previous status (in_progress or backlog). Does not delete the linked resolver goal if one exists.

输入参数goalId必填blockerId必填

goal-todo

Quick-capture a task or improvement idea into a project. Creates a backlog task with priority 4 (low) and auto-adds the "suggestion" tag. Resolves project by slug (falls back to the default project). Lightweight alternative to goal-create when you need minimal ceremony.

输入参数tagstitle必填projectprioritydescription

goal-add-note

Add a free-form note (markdown supported) to a goal — decisions taken, dead ends hit, context worth carrying into the next session. Notes are NOT evidence: they hang off the goal rather than an acceptance criterion and never count toward AC coverage or closing a Grove goal — use goal-attach-evidence for proof. Notes are visible in the goal detail panel and returned by goal-get under notes[].

输入参数text必填goalId必填

goal-remove-note

Remove a note from a goal by note UUID. Note ids come from goal-get (notes[].id). Deletes only the note — never touches acceptance criteria, evidence or blockers.

输入参数goalId必填noteId必填

goal-tree

Fetch the full goal hierarchy as a nested tree. Optional filters: projectId (UUID) to scope to one project, rootId (UUID) to get a subtree. Each node includes id, title, status, priority, type, progress, and nested children array.

输入参数rootIdprojectId

goal-summary

Aggregate statistics across all goals (or scoped to a projectId): total count, breakdown by status, root count, blocked count, and overdue count. Useful for daily standups and dashboard views.

输入参数projectId

goal-add-criterion

Append an acceptance criterion to a goal. The text must describe an observable check over an artifact (e.g. "GET /api/health returns 200 with {status:ok}"), not a subjective approval. Each criterion has a class: pre-merge (default — proved in CI / by attached evidence) or post-deploy (proved by an executable probe against the deployed prod instance). A post-deploy criterion MUST carry probeSpec {method, url, expect:{http_code, body:{field: expectedValue}}} — the request the runner sends and the answer it must get; without it the call is rejected with error=probe_required. Passing probeSpec alone implies probeClass=post-deploy. Set visualEvidenceSuggested=true only when adopting visualAcSuggestion from goal-create, goal-get, or the ready_for_work advisory returned by goal-update; it remains an ordinary AC. Grove mode: AC (class and probe included) can only be added while goal is in backlog, except accepting a visual advisory in ready_for_work: that starts a direct checking_ac recheck, without intermediate backlog. Other edits are frozen once started; quality linter blocks high-severity issues. Standard mode: AC editable until goal is closed, linter is advisory. Returns criterion id, position, text, probeClass, probeSpec and any quality findings.

输入参数text必填goalId必填positionprobeSpecprobeClassvisualEvidenceSuggested

goal-update-criterion

Update an acceptance criterion: its text and/or its class + probe. probeClass=post-deploy requires an executable probeSpec {method, url, expect:{http_code, body}} (kept from the criterion when omitted and one already exists; otherwise error=probe_required); probeSpec alone implies post-deploy; probeClass=pre-merge drops the probe. Grove mode: only while goal is in backlog (frozen once started), quality linter blocks high-severity issues. Standard mode: until goal is done, linter is advisory. Returns updated criterion details (text, probeClass, probeSpec) and any quality findings.

输入参数textprobeSpecprobeClasscriterionId必填

goal-remove-criterion

Remove an acceptance criterion from a goal. Grove mode: only while goal is in backlog (frozen once started). Standard mode: until goal is done. Cascades to all evidence on the criterion. Returns confirmation with removed criterion details.

输入参数criterionId必填

goal-attach-evidence

PRIMARY path to close a Grove goal: this is the ONLY tool that covers an acceptance criterion. Attach binary evidence (screenshot, log dump, API response, export) to an AC — call it once per criterion to satisfy the close gate. The subordinate goal-add-evidence-text only adds context for proofs with NO bytes (URLs to permanent external sources, manual repro descriptions) and does NOT cover an AC. Caption is optional but strongly recommended: state what the file captures and the reproduction conditions (URL/commit/session/inputs) so a third reviewer can reproduce. ⚠ PICK THE RIGHT TRANSPORT BEFORE YOU CALL THIS TOOL ⚠ • BEST for ANY file > ~1 KB raw — and the ONLY no-token path, so use it in a claude.ai / hosted-agent session that has no raw X-Auth-Token → call the sibling MCP tool `goal-request-upload` with this same criterionId. It returns a one-time {uploadUrl, expiresAt}; then stream the raw bytes with a single PUT: `curl -sS --fail --upload-file "/abs/path/to/file.png" "<uploadUrl>"` (optionally add -H "X-Content-Sha256: <hex sha256>" so corruption fails fast). No base64, no token — the signed ?t= ticket in the URL is the only credential, single-use, criterion-scoped. The PUT response is the same evidence JSON this tool returns. • ALTERNATIVELY, if you DO have the raw X-Auth-Token in your shell → the `planner-attach.sh` helper (zero-install bash, binary-safe). The MCP base64 path below is unreliable for non-trivial files: long string arguments get truncated or whitespace-corrupted on the agent side BEFORE the JSON-RPC request is sent. Measured 2026-05-20 on prod: a 4 KB PNG arrived at the server as 1874 decoded bytes (file_hash_mismatch); a 2 KB payload arrived with stray whitespace (failed base64_decode). The server itself accepts up to 25 MiB raw — the bottleneck is the agent-side serialisation of contentBase64, NOT the server. planner-attach.sh COPY-PASTE RECIPE (replace 3 placeholders, run in your shell): curl -sS https://planner.monopoly-gold.com/api/cl

输入参数kindcaptionfilename必填mimeTypecreatedBycriterionId必填contentBase64必填contentSha256

goal-request-upload

PREFERRED path to attach a LARGE binary evidence file (screenshot, log dump, PDF, session transcript — anything > ~1 KB) to an acceptance criterion. Returns a one-time {uploadUrl, expiresAt} scoped to this criterion. Then STREAM the raw file to it with a single PUT — no base64, no token: curl -sS --fail --upload-file "/abs/path/to/file.png" "<uploadUrl>" Optionally pass the hex SHA-256 of the file so the server fast-fails on any in-flight corruption: curl -sS --fail -H "X-Content-Sha256: <sha256>" --upload-file "/abs/path/to/file.png" "<uploadUrl>" The PUT response is the same evidence JSON that goal-attach-evidence returns (evidence id, serverSha256, judge verdict, criterion evidenceCount). A non-2xx PUT means the upload was rejected (expired/already-used/wrong-criterion/hash-mismatch) and NO evidence was created — request a fresh URL and retry. Use this instead of goal-attach-evidence for any non-trivial file. Use goal-add-evidence-text only for byte-less context (external URLs, manual repro notes) — it does NOT cover an AC. GOAL ATTACHMENTS (description illustrations, NOT evidence): pass goalId INSTEAD of criterionId. The PUT then creates a goal attachment and returns {attachment.url, attachment.markdown} — paste `markdown` into the goal description and the web UI renders images inline. Such a file is not bound to any AC and never counts toward closing the goal.

输入参数kindgoalIdcaptioncreatedBycriterionId

goal-add-evidence-text

SUBORDINATE / supplementary path — does NOT close an acceptance criterion. Adds a text-only note (URL to a permanent external source like CI run / GitHub commit / issue, or a description of a manual scenario) as extra context alongside the real proof. The path that actually covers an AC and closes a Grove goal is goal-attach-evidence — use that one for every criterion. Plain evidence NEVER counts toward AC coverage no matter how many you add; it is only a complement to an attached file. NOT for bytes — screenshots, logs, API responses, exports all go through goal-attach-evidence. NOT for filesystem paths — those need goal-attach-evidence with the actual file.

输入参数text必填createdBycriterionId必填

goal-remove-evidence

Delete an evidence record by UUID. Forbidden if the owning goal is already done (evidence is frozen after close). Removes both the database record and the attached file (if any).

输入参数evidenceId必填

goal-add-assumption

Add an assumption to a goal edge (parent→this goal). An assumption is an explicit premise: "why does completing this goal contribute to the parent?" Requires the goal to have a parent (root goals have no edge). Text must pass quality linter (testable, precise, discrete, signposted). Type (cause_effect/causal_link) is auto-classified by LLM.

输入参数text必填goalId必填signpost

goal-update-assumption

Update text or signpost of an assumption. Status cannot be changed manually — transitions happen only via evidence judge verdicts.

输入参数textsignpostassumptionId必填

goal-remove-assumption

Remove an assumption from a goal edge.

输入参数assumptionId必填

goal-suggest-assumptions

LLM generates suggested assumptions for a goal edge (parent→child). Returns 2-4 assumptions with signposts and type classification. Author should review, edit, and accept relevant ones via goal-add-assumption.

输入参数goalId必填

goal-attach-assumption-evidence

Attach text evidence to an assumption and judge it. The judge evaluates whether the evidence supports or challenges the assumption and automatically transitions its status: supports → supported, first challenges → challenged, second (repeat) challenges → invalidated. Invalidated is terminal — further evidence no longer moves the status. Judge infra failures fail open (errored verdict, no status change).

输入参数text必填assumptionId必填

goal-request-ac-change

Request a change to an acceptance criterion. grounds=unreachable (default): the AC cannot be proven — requires ≥3 failed evidence attempts (weak/mismatch) with 0 matches. grounds=wrong_criterion: the AC measures the wrong thing (owner never approved this wording, or a revealed fact shows it tracks something else) — no failed attempts required, but you MUST pass quotedFragment: a verbatim slice of the criterion text you claim is wrong (checked against the stored text), and the reason must name the unapproved wording or the finding; difficulty alone is rejected. An LLM judge screens the reason either way. On pass, creates an escalation for the goal owner to resolve (edit AC text, split to sub-goal, drop AC without creating a child, or reject). Grove mode only, goal must be in_progress.

输入参数reason必填groundscriterionId必填quotedFragment

goal-resolve-escalation

Resolve a pending AC escalation. Owner decides: edit (provide new AC text), split (move AC to a child goal), drop (remove the AC outright, optionally with a linkedGoalId audit reference), or reject (agent must find another way). All prior evidence on the AC is deleted for edit/split/drop so the agent must submit fresh proof.

输入参数notenewTextresolution必填escalationId必填linkedGoalIdoverrideResolvedBy

goal-attach-file

Attach a small file (mockup, diagram, screenshot, PDF) to a GOAL as a description attachment — NOT evidence: it is not bound to any acceptance criterion, is never judged and never counts toward closing the goal. Returns {attachment.url, attachment.markdown}; paste `markdown` into the goal description (goal-update description) and the web UI renders images inline. contentBase64 is reliable only for payloads ≤ ~1 KB (long string arguments get truncated on the agent side before the request is sent). For anything bigger call goal-request-upload with goalId and stream the file with a single PUT — same result shape, no base64.

输入参数goalId必填captionfilename必填mimeTypecreatedBycontentBase64必填contentSha256

goal-dismiss-red-team

Dismiss the red-team finding that blocks a goal from starting, when you disagree with the verdict. Requires a reason of at least 80 characters explaining why the counterexample does not apply. The dismissal is recorded in goal history and surfaced in goal-get, so "agent overrode the gate" stays distinguishable from "no hole was found". Prefer fixing the acceptance criteria via goal-add-criterion — dismissing leaves the hole open.

输入参数goalId必填reason必填

goal-read-evidence-content

Read attached evidence through MCP without changing its format. Pass evidenceId from goal-get. Text (text/plain, JSON, NDJSON) returns newline-preserving redacted lines; offset/limit are zero-based line pagination. Images return a native MCP image with original MIME and bytes. For a complete video, PDF, ZIP or other binary, binaryDelivery=link (default) returns a resource_link to the authenticated original download — no base64 and no conversion. If the client cannot open external links, binaryDelivery=base64 embeds the exact original bytes in a resource blob; this expands data by about 33% plus JSON overhead and can consume the client context window, so use it only when needed. byteOffset/byteLimit require binaryDelivery=base64. Text secrets are redacted; binary evidence is unmodified.

输入参数limitoffsetbyteLimitbyteOffsetevidenceId必填binaryDelivery

goal-recent-unresolved

Pull-инбокс для «подхватить и довести» в неосновное окно. По одному проекту, за окно N дней, статусы для подхвата (очередь исполнителя — ready_for_work и checking_ac_errored: backlog-цели брать нельзя). Возвращает обогащённые записи (title/description-preview/parent/counts), чтобы выбрать без goal-get. Параметры: project (slug, required), withinDays (int, default 14), statuses (list, default ["backlog"]; допустимо {backlog,checking_ac,checking_ac_failed,checking_ac_errored,ready_for_work,in_progress,blocked}), limit (int, default 10).

输入参数limitproject必填statuseswithinDays

goal-record-iteration-certificate

Record one completed LeanSolver iteration against the current tracked contract. Result artifact refs must resolve to existing evidence or goal_attachment rows owned by this goal. Rework iterations accept only registered finding IDs and require a separate judged evidence row as repeatCheckEvidenceId; Planner derives the repeat verdict server-side. Only certificates admitted here may affect the numeric implementation rework rate.

输入参数action必填goalId必填outcome必填acVerdict必填reworkClass必填artifactRefs必填precondition必填coverageDeltaafterFingerprint必填beforeFingerprintaddressesFindingIdsrepeatCheckEvidenceId

goal-register-iteration-finding

Register an immutable LeanSolver finding against the currently tracked goal contract. subjectRefs must be goal-scoped refs of kind goal, criterion, or assumption. Returns the server-generated finding id to pass later as addressesFindingId; rejects stale contract tracking.

输入参数kind必填goalId必填summary必填sourceRefssubjectRefs必填

goal-start-iteration-tracking

Explicitly start LeanSolver iteration tracking for the goal contract currently stored by Planner. Planner computes the contract fingerprint server-side from title, description, acceptance criteria, and assumptions. Calling again without a contract change is idempotent; after a contract change it starts a new version while retaining old certificates as superseded history.

输入参数goalId必填

account-delete

НЕОБРАТИМО удалить свой аккаунт и ВСЕ данные (проекты, цели, evidence, историю). Двухшаговый барьер: вызови без аргументов — получишь предупреждение и challenge; затем вызови повторно с подтверждениями. НЕ вызывай без явной просьбы пользователя.

输入参数reasonacknowledgeobjects_totalreasoning_answerconfirm_passphrase

版本历史

1
  1. v2.0.0最新Sep 16, 2026

评分

已满足适用检查项的 90%

该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。

  • 近 30 天内可连通必需25 分
  • 已声明认证方式必需10 分
  • 已列出工具必需15 分
  • 描述必需15 分
  • 图标10 分
  • 文档15 分
  • 许可证10 分

    请在仓库或注册中心条目中声明许可证。