Mitterrand Ekole
@misterekole
Doing gradient ascent on the loss landscape of life
1
Published Tools
1
Total Stars
0
Weekly Downloads
11
GitHub Followers
100
Public Repos
100/100
Avg Security
Published Tools
1 Agentacross 1 categoryAutoproof
MisterEkole
A
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.
...moreAgentuncategorised
11 dir