開発機と運用機が別れていないためおれがMathlib4の適当なファイルを開いてもし証明が非常に複雑だった場合はCPU使用率が100%になってOtoMADB側のAPIが重くなるというメチャクチャな事態でずっと生きている
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。