5 ms·MCP-Manticore: Let Your AI Assistant Write Manticore Queries for You2 points by snikolaev 7mo ago