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

ast-mcp-server

26
Stars
6
Forks
26
Watchers

AST/ASG Code Analysis MCP Server

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...