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