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