Haft
未认领Engineering decisions engine that know when they're stale. Frame, compare, decide — with evidence decay and parity enforcement. For Claude Code, Cursor, Gemini CLI, Codex and more.
更多AI & ML服务器
浏览完整目录安全概况
已认领和已认证的服务器每周接受一次静态扫描，显示代码能触及的范围（外部服务、环境变量、shell 命令、代理配置目录）以及带有已知公告的依赖。认领此列表即可获得。 安全概况的工作原理
12 个工具中显示 12 个
文档中列出的工具 (12)
内容来自项目文档。服务器握手不会验证每个工具的说明或行为。
haft_commission
Runner-neutral WorkCommission authority and lifecycle records
haft_decision
Decision contracts: invariants, claims, evidence, baseline lifecycle
haft_entity
Proactively establish one minimum non-binding EntityOfConcern when current Work supplies a concrete operator-named or agent-inferred durable receiving use; known absence alone is insufficient
haft_memory
Expert raw MemoryChangeSet validation/admission through a nested request envelope; ordinary agents use haftentity, and validation never admits automatically
haft_method
Task-local SWE MethodRun cards: pull gates before non-trivial work, close with evidence or waivers
haft_note
Non-binding facts, observations, caveats, and rationale with typed anchors, validation, and optional freshness
haft_onboard
Read setup status, prepare a non-binding initial profile review, or prepare an explicitly requested predecessor-pinned scope relation change; a missing relation never gates TargetSystemSpec lifecycle; haft init automatically admits only a complete supported singleton as origin=detectordefault and in
haft_problem
Frame problems, declare comparison dimensions with indicator roles
haft_query
Project search/status, code graph, source-native FPF query/lookup/inspect, and typed-memory resolve/neighborhood/recall
haft_refresh
Lifecycle management for every artifact kind
haft_solution
Explore variants with diversity check, compare under parity
haft_spec_section
Typed SpecSection lifecycle projection over project SQL editions; FPF source compatibility is assessed separately; manual CLI gates approve, rebaseline, or reopen baselines