m1nd
活跃·★ 19·MIT·更新于 2026-05-26
★ 时下流行★ 开发者工具
m1nd 是一个为编码代理提供操作智能的本地 MCP 运行时。
m1nd 是一个本地 MCP 运行时,它将仓库、文档、历史和运行时信号摄入到图中,使编码代理能够进行结构检索、变更推理、文档接地、操作和连续性,而无需在每一步重新构建上下文。
#agent-tools#AI 智能体#代码分析#code-graph#代码智能#code-navigation
m1nd 是一个为编码代理提供操作智能的本地 MCP 运行时。
m1nd 是一个本地 MCP 运行时,它将仓库、文档、历史和运行时信号摄入到图中,使编码代理能够进行结构检索、变更推理、文档接地、操作和连续性,而无需在每一步重新构建上下文。
Guided next steps reduce agent hallucination in complex reasoning tasks.
Proof-aware code graph engine for MCP agents with guided next steps.
Good for agents that need formal verification context alongside code understanding.
Proof-aware state is rare in code intelligence tools — useful for correctness-critical code.