MCP-Manticore: Let Your AI Assistant Write Manticore Queries for You | Dark Hacker News