corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a07df2-807b-73a9-b956-eaef768de3f2

Building a maths agent

Dan MacKinlay · published 31 May 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at danmackinlay.name Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
55
Words captured
5,962

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://agentskills.io?ref=danmackinlay.name
agentskills.io
https://github.com/danmackinlay/mathx?ref=danmackinlay.name
github.com
https://dev.to/aws/fix-mcp-timeouts-async-handleid-pattern-8ek?ref=danmackinlay.name
dev.to
https://modelcontextprotocol.io/specification/2025-11-25/basic/utilities/tasks?ref=danmackinlay.name
modelcontextprotocol.io
Fixing Open LLM Leaderboard with Math-Verify Read at the source ↗
huggingface.co
https://github.com/openai/simple-evals?ref=danmackinlay.name
github.com
https://github.com/NVIDIA-NeMo/Skills?ref=danmackinlay.name
github.com
https://github.com/open-compass/CompassVerifier?ref=danmackinlay.name
github.com
https://github.com/danmackinlay/mathx/blob/maximal/DESIGN_NOTES.md?ref=danmackinlay.name
github.com
https://openrouter.ai/docs/guides/routing/routers/fusion-router?ref=danmackinlay.name
openrouter.ai
Building an RL theorem-proving workflow on Modal Read at the source ↗
modal.com
https://github.com/leanprover-community/repl?ref=danmackinlay.name
github.com
https://github.com/lenianiva/Pantograph?ref=danmackinlay.name
github.com
https://leandojo.org?ref=danmackinlay.name
leandojo.org
https://github.com/project-numina/kimina-lean-server?ref=danmackinlay.name
github.com
https://vida-nyu.github.io/Lea/?ref=danmackinlay.name
vida-nyu.github.io
https://github.com/VIDA-NYU/Lea?ref=danmackinlay.name
github.com
https://github.com/danmackinlay/Lea?ref=danmackinlay.name
github.com
https://modal.com?ref=danmackinlay.name
modal.com
https://modal.com/docs/guide/sandbox?ref=danmackinlay.name
modal.com
https://trishullab.github.io/PutnamBench/leaderboard.html?ref=danmackinlay.name
trishullab.github.io
https://logicalintelligence.com/aleph-prover.html?ref=danmackinlay.name
logicalintelligence.com
https://github.com/Axiomatic-AI/ax-prover-base?ref=danmackinlay.name
github.com
https://runpod.io?ref=danmackinlay.name
runpod.io
https://huggingface.co/models?other=base_model:quantized:WeiboAI/VibeThinker-3B&ref=danmackinlay.name
huggingface.co
https://docs.google.com/document/d/1XUBjP75Fl-W3qo2NZa8bMJV-UJY5vt6LJFHcqQaV3CI/edit?pli=1&tab=t.0&ref=danmackinlay.name
docs.google.com
https://bolzano.app?ref=danmackinlay.name
bolzano.app
https://github.com/vaclavrozhon/problem-solver?ref=danmackinlay.name
github.com
https://www.math.toronto.edu/mgualt/math-blog/posts/math-and-llm-2026/?ref=danmackinlay.name
math.toronto.edu
https://doi.org/10.48550/arXiv.2510.01346
doi.org
https://doi.org/10.48550/arXiv.2411.07279
doi.org
https://doi.org/10.48550/arXiv.2601.19532
doi.org
https://doi.org/10.48550/arXiv.2512.17260
doi.org
https://doi.org/10.48550/arXiv.2507.23726
doi.org
https://arxiv.org/abs/2606.04273
arxiv.org
https://doi.org/10.48550/arXiv.2605.00674
doi.org
https://doi.org/10.48550/arXiv.2606.00047
doi.org
https://doi.org/10.48550/arXiv.2504.07086
doi.org
https://doi.org/10.48550/arXiv.2508.03613
doi.org
https://doi.org/10.48550/arXiv.2412.15084
doi.org
https://doi.org/10.48550/arXiv.2605.17283
doi.org
https://doi.org/10.48550/arXiv.2504.16891
doi.org
https://doi.org/10.48550/arXiv.2504.21801
doi.org
https://doi.org/10.48550/arXiv.2602.24273
doi.org
https://doi.org/10.2307/2271358
doi.org
https://doi.org/10.48550/arXiv.2511.22570
doi.org
https://doi.org/10.48550/arXiv.2402.03300
doi.org
https://doi.org/10.48550/arXiv.2511.21689
doi.org
https://doi.org/10.48550/arXiv.2509.22819
doi.org
https://doi.org/10.48550/arXiv.2510.07364
doi.org
https://doi.org/10.48550/arXiv.2504.11354
doi.org
https://doi.org/10.48550/arXiv.2306.15626
doi.org
https://doi.org/10.48550/arXiv.2409.12122
doi.org
https://doi.org/10.48550/arXiv.2505.23135
doi.org
https://doi.org/10.48550/arXiv.2505.02735
doi.org