| Name | Version | Summary | date |
|---|---|---|---|
| logic-lm-mcp-server | 1.0.1 | A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming | 2025-08-28 21:36:54 |
| savanty | 0.2.1 | An intelligent optimization problem solver using LLMs and Answer Set Programming | 2025-08-22 11:30:19 |
| pysignalr | 1.1.0 | Modern, reliable and async-ready client for SignalR protocol | 2024-11-30 17:40:16 |
| hour | day | week | total |
|---|---|---|---|
| 62 | 1969 | 8996 | 317027 |