用户可借助该项目为LLM智能体生成可数学验证的工具调用计划，替代概率性猜测。核心功能包括HTN+反向链规划生成Plan DAG，提供依赖验证、失败回滚、复杂任务分解及上下文感知能力，支持MCP协议和CLI使用。【此简介由AI生成】