Misanthropic AI
@misanthropic-ai
Actively seeking misaligned AGI to usher in the era of dark and dystopian post-human slop singularity
On GitHub since July 2023
2
Published Tools
14
Total Stars
0
Weekly Downloads
1
GitHub Followers
23
Public Repos
100/100
Avg Security
Published Tools
2 MCP Serversacross 2 categoriesDdg Mcp
misanthropic-ai
A
No description available
MCP Serveruncategorised
131 dir
misanthropic-ai/lean-docker-mcp
A
Facilitates the execution of Lean4 code in isolated Docker containers for LLM-powered agents, offering both transient and persistent environments.
...moreMCP Serverbuild & deployment tools
11 dir