Skip to main content
Glama
UnboundCompute

lachesis-mcp

Official

candidates

Enumerate and rank obligation sites as leads, returning paginated results with total and next_offset for complete coverage.

Instructions

Enumerate and rank every observable obligation site as leads. This is a pointer, not a safety check: leads are never suppressed because a size is constant, a guard seems nearby, or no input flow was witnessed. The result is bounded and paged with leads, total, and next_offset; call candidate_census for the full coverage roster. Calls against one session are serialized and the first cold bind can be expensive.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
limitNo
cursorNo
detailNobrief (one-line scan: id/rank/callee/at/size), compact (triage capsule, no inferences), full (whole capsule incl. inferences)compact
domainNo
formatNotext (compact, default) | json (structured result page)
offsetNo
languageNo
temporalNoevaluate the temporal families (double-free/UAF/...). Default true. Set false for the guaranteed-bounded fast path: structural families only, no dataflow tier -- use it when a large graph makes the full bind run long. The result's `temporal_evaluated` flag reports whether they were evaluated.
hard_stopNowall-clock budget (seconds) for the temporal families; on expiry the result degrades to the structural families with `temporal_evaluated:false` rather than hang. 0 = unbounded.
constructor_idNo

Schema Changelog

Changes observed during successful MCP inspections. Dates show when Glama detected each change.

  1. Changed3 schema fields changedv1.0.1
    • addedInput schema / properties / hard_stop
      Added value: +{
      +  "description": "wall-clock budget (seconds) for the temporal families; on expiry the result degrades to the structural families with `temporal_evaluated:false` rather than hang. 0 = unbounded.",
      +  "type": "number"
      +}
    • addedInput schema / properties / offset
      Added value: +{
      +  "default": 0,
      +  "type": "integer"
      +}
    • addedInput schema / properties / temporal
      Added value: +{
      +  "default": true,
      +  "description": "evaluate the temporal families (double-free/UAF/...). Default true. Set false for the guaranteed-bounded fast path: structural families only, no dataflow tier -- use it when a large graph makes the full bind run long. The result's `temporal_evaluated` flag reports whether they were evaluated.",
      +  "type": "boolean"
      +}
  2. First observedv1.0.0

TDQS

A4.4/5.0
Behavior5/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

With no annotations provided, the description fully carries the burden of behavioral disclosure, and it does so thoroughly. It explains that leads are never suppressed due to constant size, nearby guards, or absent input flow; describes the paged result structure; notes serialization per session and the expensive first cold bind; and explains how temporal evaluation degrades on hard_stop expiry. This is a comprehensive behavioral disclosure.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness5/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The description is four sentences with no filler. The main purpose is front-loaded, followed by critical behavioral caveats and alternative tool routing. Each sentence earns its place and the structure flows logically from core function to edge behaviors.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness4/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

Given 10 parameters, no annotations, and no output schema, the description covers the most important behaviors and key parameters, but leaves several parameters (limit, offset, cursor, domain, constructor_id, language) without explanation. It also lacks a description of the exact lead structure beyond paging fields. While the core is well-covered, the incomplete parameter documentation prevents a higher score.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema description coverage is only 40%, so the description must compensate. It adds meaningful context for temporal and hard_stop (e.g., the temporal_evaluated flag), and explains the pagination fields (leads, total, next_offset). However, it does not describe limit, offset, cursor, domain, constructor_id, language, or format beyond what the schema already says, leaving these parameters without additional semantic guidance.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

The description uses direct verbs ('Enumerate and rank') and a precise resource ('every observable obligation site as leads'), and immediately distinguishes itself from the sibling candidate_census by noting it provides a pointer rather than a full roster. This leaves no ambiguity about what the tool does and how it differs from similar tools.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

The description gives explicit guidance to call candidate_census for the full coverage roster, and instructs when to set temporal=false for the fast path ('use it when a large graph makes the full bind run long'). It also states this is 'not a safety check', implying it should not be used for safety verification. This is strong, though it doesn't enumerate all alternative siblings or exhaustively list when not to use the tool.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/UnboundCompute/lachesis'

If you have feedback or need assistance with the MCP directory API, please join our Discord server