mcpserver.lol
registry/dev-lab-global-mcp
Connection check verified live · 20h ago

dev-lab-global-mcp

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

Tools 42
GitHub stars
Installs / wk
Licence
Transport streamable-http
Last checked 20h ago

Tools & capabilities

42 tools

Read from the running server on 20h ago.

account-delete can modify data reasonacknowledgeobjects_totalreasoning_answerconfirm_passphrase
НЕОБРАТИМО удалить свой аккаунт и ВСЕ данные (проекты, цели, evidence, историю). Двухшаговый барьер: вызови без аргументов — получишь предупреждение и challenge; затем вызови повто…
goal-add-assumption text*goalId*signpost
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 par…
goal-add-criterion text*goalId*positionprobeSpecprobeClass
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 approv…
goal-add-evidence-text text*createdBycriterionId*
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 descr…
goal-add-note text*goalId*
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 r…
goal-attach-assumption-evidence text*assumptionId*
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: support…
goal-attach-evidence kindcaptionfilename*mimeTypecreatedBycriterionId* +2
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 i…
goal-attach-file goalId*captionfilename*mimeTypecreatedBycontentBase64* +1
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…
goal-block goalId*description*linkedGoalIdresolverTitleresolverParentIdresolverDescription
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 (r…
goal-create modetagstypetitle*statusdeadline +6
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, fi…
goal-delete can modify data goalId*
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 d…
goal-dismiss-red-team goalId*reason*
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 doe…
goal-get read-only goalId*
Fetch full details of a single goal: title, description, status, priority, type, mode, children, acceptance criteria (with evidence coverage), blockers, tags, deadline, estimate, h…
goal-list read-only typelimitstatusparentIdprojectId
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 (goa…
goal-move goalId*projectIdnewParentId
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…
goal-recent-unresolved read-only limitproject*statuseswithinDays
Pull-инбокс для «подхватить и довести» в неосновное окно. По одному проекту, за окно N дней, статусы для подхвата (очередь исполнителя — ready_for_work и checking_ac_errored: backl…
goal-record-iteration-certificate action*goalId*outcome*acVerdict*reworkClass*artifactRefs* +6
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. R…
goal-register-iteration-finding kind*goalId*summary*sourceRefssubjectRefs*
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 serve…
goal-remove-assumption assumptionId*
Remove an assumption from a goal edge.
goal-remove-blocker goalId*blockerId*
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…
goal-remove-criterion can modify data criterionId*
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 crit…
goal-remove-evidence evidenceId*
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).
goal-remove-note can modify data goalId*noteId*
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.
goal-reorder ids*
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 goa…
goal-request-ac-change reason*groundscriterionId*quotedFragment
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=w…
goal-request-upload kindgoalIdcaptioncreatedBycriterionId
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,…
goal-resolve-escalation notenewTextresolution*escalationId*linkedGoalIdoverrideResolvedBy
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 refe…
goal-start-iteration-tracking goalId*
Explicitly start LeanSolver iteration tracking for the goal contract currently stored by Planner. Planner computes the contract fingerprint server-side from title, description, acc…
goal-suggest-assumptions read-only goalId*
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…
goal-summary read-only projectId
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 dash…
goal-todo tagstitle*projectprioritydescription
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 th…
goal-tree read-only rootIdprojectId
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, pr…
goal-update modetagstypetitlegoalId*status +5
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…
goal-update-assumption textsignpostassumptionId*
Update text or signpost of an assumption. Status cannot be changed manually — transitions happen only via evidence judge verdicts.
goal-update-criterion textprobeSpecprobeClasscriterionId*
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 cr…
project-add-dependency projectId*dependsOnProjectId*
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_ex…
project-create iconslug*tagstitle*statusisDefault +4
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), ta…
project-delete can modify data forceprojectId*
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 g…
project-get read-only projectId*
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 (backlo…
project-list read-only status
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 wi…
project-remove-dependency projectIddependencyIddependsOnProjectId
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 s…
project-update iconslugtagstitlestatusisDefault +13
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 (…