Mitterrand Ekole
@misterekole
Doing gradient ascent on the loss landscape of life
1
Published Tools
1
Total Stars
0
Weekly Downloads
12
GitHub Followers
98
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