autoproof

provenance:github:MisterEkole/autoproof

MCTS-guided theorem proving agent — decomposes math problems into a proof tree and explores it with LLMs. Runs on Anthropic/OpenAI APIs or fully offline on Apple Silicon.

View Source ↗First seen 1mo agoNot yet hireable

PUBLIC HISTORY

First discoveredMar 21, 2026

IDENTITY

inferred

Identity inferred from code signals. No PROVENANCE.yml found.

Is this yours? Claim it →

METADATA

platformgithub

first seenMar 15, 2026

last updatedMar 18, 2026

last crawled15 days ago

version—

README BADGE

Add to your README:

![Provenance](https://getprovenance.dev/api/badge?id=provenance:github:MisterEkole/autoproof)