{"owner":"angrysky56","github":"https://github.com/angrysky56","claimed":false,"inventory":[],"indexed":[{"repo":"angrysky56/mcp-logic","github":"https://github.com/angrysky56/mcp-logic","description":"Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc","language":"Python","stars":46,"topics":["llm","logic","tool","ai","claude-3-5-sonnet","server","mcp-server"],"license":"MIT","category":"mcp-servers"},{"repo":"angrysky56/ast-mcp-server","github":"https://github.com/angrysky56/ast-mcp-server","description":"By transforming source code into a queryable Semantic Graph and a structured AST, this tool bridges the gap between \"reading text\" and \"understanding structure.\" For an AI assistant, it provides the \"spatial\" awareness needed to navigate deep dependencies without getting lost in large files.","language":"Python","stars":36,"topics":["asg","ast","claude","coding","mcp-server"],"license":"MIT","category":"mcp-servers"},{"repo":"angrysky56/project-synapse-mcp","github":"https://github.com/angrysky56/project-synapse-mcp","description":"Transforms raw text into interconnected knowledge graphs and autonomously generates insights through advanced pattern detection. It combines formal semantic analysis (Montague Grammar) with Zettelkasten methodology to create a true cognitive partnership with AI.","language":"Python","stars":11,"topics":["grammar","mcp-server","montague","zettelkasten","neo4j","obsidian","wiki"],"license":"MIT","category":"mcp-servers"}],"how_to_buy":"GET /r/angrysky56/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}