Tyler Blaine Hall
Results
4
repositories owned by
Tyler Blaine Hall
mcp-logic
38
Stars
11
Forks
38
Watchers
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
gemini-mcp-client
19
Stars
4
Forks
19
Watchers
A MCP (Model Context Protocol) client that uses Google Gemini AI models for intelligent tool usage and conversation handling. Tested working nicely with Claude Desktop as an MCP Server currently. Bas...
NeoCoder-neo4j-ai-workflow
16
Stars
5
Forks
16
Watchers
An MCP server allowing AI assistants to use a Neo4j knowledge graph as their primary, dynamic instruction manual and long term project memory with adaptive templating and autonomous tool development t...