mcp-rocq
MCP-RoCQ is a Model Context Protocol server that offers advanced logical reasoning capabilities through integration with the Coq proof assistant. It supports automated dependent type checking, inductive type definitions, and property proving, utilizing custom tactics and automation to prove logical properties. The server features rich error handling, providing detailed feedback for type errors and failed proofs.
GitHub Stars
6
User Rating
Not Rated
Favorites
0
Views
25
Forks
3
Issues
4
Programming Languages
System Requirements
No specific requirements are documented
Maintenance Status
MaintainedGitHub Topics
17
Followers
121
Repositories
0
Gists
0
Total Contributions
system_information_mcp is a Python library designed to retrieve and analyze system information. It allows users to easily understand the state of their systems by providing various information in JSON format. This library is particularly useful for developers and system administrators.