【免费下载链接】dotnet-skillsClaude Code skills and sub-agents for .NET Developers项目地址https://gitcode.com/gh_mirrors/do/dotnet-skills点击查看免费下载Actor 测试总是又慢又飘这篇文章带你系统掌握TestProbe和Akka.Hosting.TestKit—— dotnet-skills 开源项目中总结的现代 Akka.NET 测试模式。通过 8 个生产级实战模式skills/akka-testing-patterns/ 技能文档你将学会用依赖注入替换真实服务、用 TestProbe 拦截 Actor 消息、用内存存储测试事件溯源彻底告别 Sleep 等待和 Flaky 测试。为什么 Akka.NET Actor 测试这么难写Actor 是异步的、消息驱动的你发一条命令Actor 可能立刻响应也可能 100ms 后才发出一条内部消息——Thread.Sleep式的断言注定不稳定Actor 之间通过消息通信它到底有没有给 PaymentActor 发过消息很难直接验证持久化 Actor、Cluster Sharding 等高级特性依赖基础设施单测环境里根本起不来。dotnet-skills 项目给出的答案是用 Akka.Hosting.TestKit 统一测试框架 TestProbe 消息拦截器95% 的场景都适用。系列一讲过 Akka.NET 最佳实践EventStream、监督策略等见 skills/akka-best-practices/SKILL.md。本篇聚焦怎么测。选型指南Akka.Hosting.TestKit vs 传统 Akka.TestKitdotnet-skills 的技能文档明确建议优先使用 Akka.Hosting.TestKitskills/akka-testing-patterns/SKILL.md。两者核心差异一目了然维度Akka.Hosting.TestKit推荐传统 Akka.TestKit依赖注入原生支持可用 fake 替换任意服务无需手动创建依赖配置方式与生产代码复用同一套扩展方法构造函数传 HOCON 字符串Actor 获取ActorRegistry类型安全注册表手动Sys.ActorOf适用场景Akka.NET v1.5 现代项目核心库开发、遗留系统三个关键动作构成所有测试的骨架继承Akka.Hosting.TestKit.TestKit基类这是框架类不是让你自定义基类重写ConfigureServices()—— 把真实服务替换成 fake 实现Fake 优于 Mock更简单可维护重写ConfigureAkka()—— 用和生产完全相同的扩展方法注册 Actor只是执行模式不同。完整代码可参考 skills/akka-testing-patterns/examples.md。模式一基础 Actor 测试依赖注入最基础的套路注册 fake 服务 → 注册被测 Actor → 用Ask发命令并断言。public class OrderActorTests : TestKit { private readonly FakeOrderRepository _fakeRepository new(); protected override void ConfigureServices(HostBuilderContext context, IServiceCollection services) { services.AddSingletonIOrderRepository(_fakeRepository); } protected override void ConfigureAkka(AkkaConfigurationBuilder builder, IServiceProvider provider) { builder.WithInMemoryJournal().WithInMemorySnapshotStore(); builder.WithActors((system, registry, resolver) { registry.RegisterOrderActor(system.ActorOf(resolver.PropsOrderActor(), order-actor)); }); } [Fact] public async Task CreateOrder_Success_SavesToRepository() { var orderActor ActorRegistry.GetOrderActor(); var response await orderActor.AskOrderCommandResult( new CreateOrder(ORDER-123, CUST-456, 99.99m), RemainingOrDefault); response.Status.Should().Be(CommandStatus.Success); _fakeRepository.SaveCallCount.Should().Be(1); } }注意两点fake 服务以字段形式持有组合优于继承ConfigureServices先于ConfigureAkka执行服务对 Actor 可见。TestProbe 测试模式验证 Actor 间消息投递TestProbe 本质是一个消息拦截器——它可以伪装成任意依赖 Actor 注册进 Actor 系统接收被测 Actor 发出的所有消息再用断言方法逐一验证。核心用法三步走examples.md Pattern 2protected override void ConfigureAkka(AkkaConfigurationBuilder builder, IServiceProvider provider) { _paymentProbe CreateTestProbe(payment-probe); registry.RegisterPaymentActor(_paymentProbe); // Probe 顶替 PaymentActor var invoiceActor system.ActorOf(resolver.PropsInvoiceActor(), invoice-actor); registry.RegisterInvoiceActor(invoiceActor); // 被测 Actor } [Fact] public async Task CreateInvoice_Success_SendsPaymentRequest() { var invoiceActor ActorRegistry.GetInvoiceActor(); await invoiceActor.AskInvoiceCommandResult( new CreateInvoice(InvoiceId: INV-001, Amount: 100.00m), RemainingOrDefault); // 断言PaymentActor 确实收到了开票请求 var paymentRequest await PaymentProbe.ExpectMsgAsyncInitiatePayment(TimeSpan.FromSeconds(3)); paymentRequest.InvoiceId.Should().Be(INV-001); }ExpectMsgAsyncT()会阻塞等待直到匹配的消息到达或超时比轮询状态可靠得多。测试时还可以直接检查probe.Messages查看全部已收到的消息。如何避免 Ask 超时Auto-Responding TestProbe坑点如果被测 Actor 用Ask请求-响应模式与依赖 Actor 通信而 TestProbe 默认只收不回Ask就会超时。解决方案是自动应答 Actor写一个薄薄的ReceiveActor把消息转发给 TestProbe 做断言同时立即回一条响应防止超时examples.md Pattern 3internal sealed class PaymentAutoResponder : ReceiveActor { private readonly IActorRef _probe; public PaymentAutoResponder(IActorRef probe) { _probe probe; ReceiveInitiatePayment(msg { _probe.Tell(msg, Sender); // 转发给 Probe 验证 Sender.Tell(new PaymentStarted(...), Self); // 自动应答防超时 }); ReceiveAny(msg _probe.Tell(msg, Sender)); // 其余消息直接转发 } }持久化 Actor 测试内存存储验证事件溯源与状态恢复测持久化 Actor 不需要真数据库——WithInMemoryJournal()WithInMemorySnapshotStore()即可在内存中记录事件examples.md Pattern 4。经典恢复测试思路创建订单触发事件持久化用PoisonPill杀死 Actor模拟被动化passivation再次查询状态——Actor 会强制从 Journal 恢复断言数据完整无误。这条杀死再查询的路径能真实验证你的事件溯源实现是否可恢复。复用生产配置避免重复 HOCON 配置技能文档反复强调一条铁律测试中永远复用生产代码的扩展方法而不是复制一份 HOCON 配置。❌ 反模式在测试里ConfigurationFactory.ParseString(...)手抄序列化绑定——改一处要改两处测试通过但生产失败的情况屡见不鲜✅ 正确姿势测试与生产调用同一个AddDraftSerializer()、AddOrderDomainActors(...)仅追加测试专属覆盖builder .AddDraftSerializer() // 与生产相同 .AddOrderDomainActors(AkkaExecutionMode.LocalTest) // 换成本地测试模式 .WithInMemoryJournal().WithInMemorySnapshotStore(); // 仅测试覆盖AkkaExecutionMode.LocalTest与Clustered的切换机制详见 skills/akka-hosting-actor-patterns/SKILL.md——同一套 Actor 代码测试时本地跑、生产时上集群。不搭真实集群本地测试 Cluster Sharding配合GenericChildPerEntityParent一个按 EntityId 路由到子 Actor 的轻量父 ActorLocalTest模式可以完整模拟 Sharding 路由语义examples.md Pattern 6生产分支用WithShardRegionOrderActor(...)走 ShardRegion测试分支用GenericChildPerEntityParent按实体 ID 路由到子 Actor。于是你可以直接验证两条不同 EntityId 的消息落到两个独立实体这类 Sharding 行为无需起一个真正的集群。AwaitAssertAsync告别 Flaky 测试的关键Actor 执行异步操作调外部服务、同步读模型时断言必须重试到通过为止这正是AwaitAssertAsync的职责await AwaitAssertAsync(() { _fakeReadModelService.SyncCallCount.Should().BeGreaterOrEqualTo(1); }, TimeSpan.FromSeconds(3));它会在超时前持续重试断言是消除时序性 Flaky 测试的首选工具examples.md Pattern 7。场景式集成测试端到端验证业务工作流单个 Actor 测试之外还需要覆盖完整业务流。技能文档建议一个场景一个测试方法命名带Scenario_前缀例如Scenario_FirstTimePurchase_SuccessfulPaymentexamples.md Pattern 8一次性注册订阅、发票、支付等全部领域 ActorLocalTest模式按步骤推进创建订阅 → 验证发票生成 → 模拟支付成功 → 验证订阅激活每个异步节点用AwaitAssertAsync兜底保证步骤间的时序鲁棒。Akka.NET 测试常见反模式清单来自 anti-patterns-and-reference.md 的三大禁忌反模式为什么危险正确做法自建BaseAkkaTest抽象基类测试间紧耦合、隐藏依赖、难以按测试定制每个测试类各自重写ConfigureServices/ConfigureAkka多个测试共享同一 Actor 实例执行顺序产生耦合、副作用导致随机失败每个测试类由 TestKit 获得全新 ActorSystem测试连真实数据库/外部服务慢、不稳定、难以复现用 Fake 服务或内存替代WithInMemoryJournal等另外两个细节fake 服务保持可注入故障如FailNextSave true才能覆盖错误分支测试命名用场景_条件_预期三段式可读性拉满。测试项目必做配置Linux 下 inotify 文件描述符问题⚠️ 这是最容易踩的坑Akka.Hosting.TestKit 会启动真实的IHost而 Host 默认开启配置热加载的文件监视。在 Linux 上跑 100 个测试时会耗尽 inotify watch 限额报出令人困惑的 inotify 错误。修复方法在测试项目中放一个[ModuleInitializer]类在任何测试执行前设置环境变量internal static class TestEnvironmentInitializer { [ModuleInitializer] internal static void Initialize() { Environment.SetEnvironmentVariable(DOTNET_HOSTBUILDER__RELOADCONFIGONCHANGE, false); } }[ModuleInitializer]自动在任何测试代码之前运行对所有IHost实例全局生效。必备 NuGet 包清单包用途Akka.Hosting.TestKit核心测试框架必需xunit/xunit.runner.visualstudio/Microsoft.NET.Test.Sdk测试框架与运行器FluentAssertions流式断言推荐Akka.Persistence.Hosting内存持久化事件溯源测试Akka.Cluster.Hosting仅当测试 Cluster Sharding 时需要调试技巧速查开 Debug 日志构造函数传logLevel: LogLevel.Debug查看 Actor 系统日志用ITestOutputHelper把日志输出到测试面板检查 TestProbe直接读probe.Messages看对方发了什么给 Actor 加状态查询消息调试时随时Ask当前状态AwaitAssertAsync内加日志看清断言为何失败。延伸阅读dotnet-skills 项目资料完整 8 大模式代码示例skills/akka-testing-patterns/examples.md反模式、传统 TestKit 写法与 CI/CD 集成skills/akka-testing-patterns/anti-patterns-and-reference.md技能入口与最佳实践总表skills/akka-testing-patterns/SKILL.mdLocalTest/Clustered 双模式 Actor 设计skills/akka-hosting-actor-patterns/SKILL.mdAkka.NET 专项调试 Agentagents/akka-net-specialist.md掌握 TestProbe 与 Akka.Hosting.TestKit 后你的 Akka.NET 测试将做到不 Sleep、不连真库、不起真集群、不 Flaky——这正是 dotnet-skills 从 Petabridge 等生产系统沉淀出的测试纪律。赞分享【免费下载链接】dotnet-skillsClaude Code skills and sub-agents for .NET Developers项目地址https://gitcode.com/gh_mirrors/do/dotnet-skills点击查看免费下载相关推荐dashdot核心组件深度解析CPU、内存、存储、网络监控原理dashdot核心组件深度解析CPU、内存、存储、网络监控原理 Dashdot是一款现代化的服务器监控仪表板专为小型私有服务器设计提供直观的CPU、内存、免费开源ok-ww 让鸣潮后台挂机与自动刷声骸一次跑通免费开源ok ww 让鸣潮后台挂机与自动刷声骸一次跑通 ok ww 是一款面向《鸣潮》的开源自动化工具。它靠图像识别判断游戏状态再模拟真实输入实现后台挂机GUI 自动化计算机视觉RPA人工智能定理看不懂TheoremExplainAgent 让 AI 把数学定理直接演给你看定理看不懂TheoremExplainAgent 让 AI 把数学定理直接演给你看 一句话说清它是什么 TheoremExplainAgent 是一套把数人工智能大模型RAG媒体生成AI 评测创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 
长河君 · 2026/10/14 15:46:52 · 阅读 1.2k dotnet-skills Akka.NET 系列（二）：TestProbe 与 Akka.Hosting.TestKit 测试模式完全教程
【免费下载链接】dotnet-skillsClaude Code skills and sub-agents for .NET Developers项目地址https://gitcode.com/gh_mirrors/do/dotnet-skills点击查看免费下载Actor 测试总是又慢又飘这篇文章带你系统掌握TestProbe和Akka.Hosting.TestKit—— dotnet-skills 开源项目中总结的现代 Akka.NET 测试模式。通过 8 个生产级实战模式skills/akka-testing-patterns/ 技能文档你将学会用依赖注入替换真实服务、用 TestProbe 拦截 Actor 消息、用内存存储测试事件溯源彻底告别 Sleep 等待和 Flaky 测试。为什么 Akka.NET Actor 测试这么难写Actor 是异步的、消息驱动的你发一条命令Actor 可能立刻响应也可能 100ms 后才发出一条内部消息——Thread.Sleep式的断言注定不稳定Actor 之间通过消息通信它到底有没有给 PaymentActor 发过消息很难直接验证持久化 Actor、Cluster Sharding 等高级特性依赖基础设施单测环境里根本起不来。dotnet-skills 项目给出的答案是用 Akka.Hosting.TestKit 统一测试框架 TestProbe 消息拦截器95% 的场景都适用。系列一讲过 Akka.NET 最佳实践EventStream、监督策略等见 skills/akka-best-practices/SKILL.md。本篇聚焦怎么测。选型指南Akka.Hosting.TestKit vs 传统 Akka.TestKitdotnet-skills 的技能文档明确建议优先使用 Akka.Hosting.TestKitskills/akka-testing-patterns/SKILL.md。两者核心差异一目了然维度Akka.Hosting.TestKit推荐传统 Akka.TestKit依赖注入原生支持可用 fake 替换任意服务无需手动创建依赖配置方式与生产代码复用同一套扩展方法构造函数传 HOCON 字符串Actor 获取ActorRegistry类型安全注册表手动Sys.ActorOf适用场景Akka.NET v1.5 现代项目核心库开发、遗留系统三个关键动作构成所有测试的骨架继承Akka.Hosting.TestKit.TestKit基类这是框架类不是让你自定义基类重写ConfigureServices()—— 把真实服务替换成 fake 实现Fake 优于 Mock更简单可维护重写ConfigureAkka()—— 用和生产完全相同的扩展方法注册 Actor只是执行模式不同。完整代码可参考 skills/akka-testing-patterns/examples.md。模式一基础 Actor 测试依赖注入最基础的套路注册 fake 服务 → 注册被测 Actor → 用Ask发命令并断言。public class OrderActorTests : TestKit { private readonly FakeOrderRepository _fakeRepository new(); protected override void ConfigureServices(HostBuilderContext context, IServiceCollection services) { services.AddSingletonIOrderRepository(_fakeRepository); } protected override void ConfigureAkka(AkkaConfigurationBuilder builder, IServiceProvider provider) { builder.WithInMemoryJournal().WithInMemorySnapshotStore(); builder.WithActors((system, registry, resolver) { registry.RegisterOrderActor(system.ActorOf(resolver.PropsOrderActor(), order-actor)); }); } [Fact] public async Task CreateOrder_Success_SavesToRepository() { var orderActor ActorRegistry.GetOrderActor(); var response await orderActor.AskOrderCommandResult( new CreateOrder(ORDER-123, CUST-456, 99.99m), RemainingOrDefault); response.Status.Should().Be(CommandStatus.Success); _fakeRepository.SaveCallCount.Should().Be(1); } }注意两点fake 服务以字段形式持有组合优于继承ConfigureServices先于ConfigureAkka执行服务对 Actor 可见。TestProbe 测试模式验证 Actor 间消息投递TestProbe 本质是一个消息拦截器——它可以伪装成任意依赖 Actor 注册进 Actor 系统接收被测 Actor 发出的所有消息再用断言方法逐一验证。核心用法三步走examples.md Pattern 2protected override void ConfigureAkka(AkkaConfigurationBuilder builder, IServiceProvider provider) { _paymentProbe CreateTestProbe(payment-probe); registry.RegisterPaymentActor(_paymentProbe); // Probe 顶替 PaymentActor var invoiceActor system.ActorOf(resolver.PropsInvoiceActor(), invoice-actor); registry.RegisterInvoiceActor(invoiceActor); // 被测 Actor } [Fact] public async Task CreateInvoice_Success_SendsPaymentRequest() { var invoiceActor ActorRegistry.GetInvoiceActor(); await invoiceActor.AskInvoiceCommandResult( new CreateInvoice(InvoiceId: INV-001, Amount: 100.00m), RemainingOrDefault); // 断言PaymentActor 确实收到了开票请求 var paymentRequest await PaymentProbe.ExpectMsgAsyncInitiatePayment(TimeSpan.FromSeconds(3)); paymentRequest.InvoiceId.Should().Be(INV-001); }ExpectMsgAsyncT()会阻塞等待直到匹配的消息到达或超时比轮询状态可靠得多。测试时还可以直接检查probe.Messages查看全部已收到的消息。如何避免 Ask 超时Auto-Responding TestProbe坑点如果被测 Actor 用Ask请求-响应模式与依赖 Actor 通信而 TestProbe 默认只收不回Ask就会超时。解决方案是自动应答 Actor写一个薄薄的ReceiveActor把消息转发给 TestProbe 做断言同时立即回一条响应防止超时examples.md Pattern 3internal sealed class PaymentAutoResponder : ReceiveActor { private readonly IActorRef _probe; public PaymentAutoResponder(IActorRef probe) { _probe probe; ReceiveInitiatePayment(msg { _probe.Tell(msg, Sender); // 转发给 Probe 验证 Sender.Tell(new PaymentStarted(...), Self); // 自动应答防超时 }); ReceiveAny(msg _probe.Tell(msg, Sender)); // 其余消息直接转发 } }持久化 Actor 测试内存存储验证事件溯源与状态恢复测持久化 Actor 不需要真数据库——WithInMemoryJournal()WithInMemorySnapshotStore()即可在内存中记录事件examples.md Pattern 4。经典恢复测试思路创建订单触发事件持久化用PoisonPill杀死 Actor模拟被动化passivation再次查询状态——Actor 会强制从 Journal 恢复断言数据完整无误。这条杀死再查询的路径能真实验证你的事件溯源实现是否可恢复。复用生产配置避免重复 HOCON 配置技能文档反复强调一条铁律测试中永远复用生产代码的扩展方法而不是复制一份 HOCON 配置。❌ 反模式在测试里ConfigurationFactory.ParseString(...)手抄序列化绑定——改一处要改两处测试通过但生产失败的情况屡见不鲜✅ 正确姿势测试与生产调用同一个AddDraftSerializer()、AddOrderDomainActors(...)仅追加测试专属覆盖builder .AddDraftSerializer() // 与生产相同 .AddOrderDomainActors(AkkaExecutionMode.LocalTest) // 换成本地测试模式 .WithInMemoryJournal().WithInMemorySnapshotStore(); // 仅测试覆盖AkkaExecutionMode.LocalTest与Clustered的切换机制详见 skills/akka-hosting-actor-patterns/SKILL.md——同一套 Actor 代码测试时本地跑、生产时上集群。不搭真实集群本地测试 Cluster Sharding配合GenericChildPerEntityParent一个按 EntityId 路由到子 Actor 的轻量父 ActorLocalTest模式可以完整模拟 Sharding 路由语义examples.md Pattern 6生产分支用WithShardRegionOrderActor(...)走 ShardRegion测试分支用GenericChildPerEntityParent按实体 ID 路由到子 Actor。于是你可以直接验证两条不同 EntityId 的消息落到两个独立实体这类 Sharding 行为无需起一个真正的集群。AwaitAssertAsync告别 Flaky 测试的关键Actor 执行异步操作调外部服务、同步读模型时断言必须重试到通过为止这正是AwaitAssertAsync的职责await AwaitAssertAsync(() { _fakeReadModelService.SyncCallCount.Should().BeGreaterOrEqualTo(1); }, TimeSpan.FromSeconds(3));它会在超时前持续重试断言是消除时序性 Flaky 测试的首选工具examples.md Pattern 7。场景式集成测试端到端验证业务工作流单个 Actor 测试之外还需要覆盖完整业务流。技能文档建议一个场景一个测试方法命名带Scenario_前缀例如Scenario_FirstTimePurchase_SuccessfulPaymentexamples.md Pattern 8一次性注册订阅、发票、支付等全部领域 ActorLocalTest模式按步骤推进创建订阅 → 验证发票生成 → 模拟支付成功 → 验证订阅激活每个异步节点用AwaitAssertAsync兜底保证步骤间的时序鲁棒。Akka.NET 测试常见反模式清单来自 anti-patterns-and-reference.md 的三大禁忌反模式为什么危险正确做法自建BaseAkkaTest抽象基类测试间紧耦合、隐藏依赖、难以按测试定制每个测试类各自重写ConfigureServices/ConfigureAkka多个测试共享同一 Actor 实例执行顺序产生耦合、副作用导致随机失败每个测试类由 TestKit 获得全新 ActorSystem测试连真实数据库/外部服务慢、不稳定、难以复现用 Fake 服务或内存替代WithInMemoryJournal等另外两个细节fake 服务保持可注入故障如FailNextSave true才能覆盖错误分支测试命名用场景_条件_预期三段式可读性拉满。测试项目必做配置Linux 下 inotify 文件描述符问题⚠️ 这是最容易踩的坑Akka.Hosting.TestKit 会启动真实的IHost而 Host 默认开启配置热加载的文件监视。在 Linux 上跑 100 个测试时会耗尽 inotify watch 限额报出令人困惑的 inotify 错误。修复方法在测试项目中放一个[ModuleInitializer]类在任何测试执行前设置环境变量internal static class TestEnvironmentInitializer { [ModuleInitializer] internal static void Initialize() { Environment.SetEnvironmentVariable(DOTNET_HOSTBUILDER__RELOADCONFIGONCHANGE, false); } }[ModuleInitializer]自动在任何测试代码之前运行对所有IHost实例全局生效。必备 NuGet 包清单包用途Akka.Hosting.TestKit核心测试框架必需xunit/xunit.runner.visualstudio/Microsoft.NET.Test.Sdk测试框架与运行器FluentAssertions流式断言推荐Akka.Persistence.Hosting内存持久化事件溯源测试Akka.Cluster.Hosting仅当测试 Cluster Sharding 时需要调试技巧速查开 Debug 日志构造函数传logLevel: LogLevel.Debug查看 Actor 系统日志用ITestOutputHelper把日志输出到测试面板检查 TestProbe直接读probe.Messages看对方发了什么给 Actor 加状态查询消息调试时随时Ask当前状态AwaitAssertAsync内加日志看清断言为何失败。延伸阅读dotnet-skills 项目资料完整 8 大模式代码示例skills/akka-testing-patterns/examples.md反模式、传统 TestKit 写法与 CI/CD 集成skills/akka-testing-patterns/anti-patterns-and-reference.md技能入口与最佳实践总表skills/akka-testing-patterns/SKILL.mdLocalTest/Clustered 双模式 Actor 设计skills/akka-hosting-actor-patterns/SKILL.mdAkka.NET 专项调试 Agentagents/akka-net-specialist.md掌握 TestProbe 与 Akka.Hosting.TestKit 后你的 Akka.NET 测试将做到不 Sleep、不连真库、不起真集群、不 Flaky——这正是 dotnet-skills 从 Petabridge 等生产系统沉淀出的测试纪律。赞分享【免费下载链接】dotnet-skillsClaude Code skills and sub-agents for .NET Developers项目地址https://gitcode.com/gh_mirrors/do/dotnet-skills点击查看免费下载相关推荐dashdot核心组件深度解析CPU、内存、存储、网络监控原理dashdot核心组件深度解析CPU、内存、存储、网络监控原理 Dashdot是一款现代化的服务器监控仪表板专为小型私有服务器设计提供直观的CPU、内存、免费开源ok-ww 让鸣潮后台挂机与自动刷声骸一次跑通免费开源ok ww 让鸣潮后台挂机与自动刷声骸一次跑通 ok ww 是一款面向《鸣潮》的开源自动化工具。它靠图像识别判断游戏状态再模拟真实输入实现后台挂机GUI 自动化计算机视觉RPA人工智能定理看不懂TheoremExplainAgent 让 AI 把数学定理直接演给你看定理看不懂TheoremExplainAgent 让 AI 把数学定理直接演给你看 一句话说清它是什么 TheoremExplainAgent 是一套把数人工智能大模型RAG媒体生成AI 评测创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考