MCP servers and skills: search, filter by where they run, and compare.
Nothing matches every word exactly, so these are the closest matches.
Neuro-symbolic reasoning architecture with SMT theorem prover (Thinking Machines Lab style)
SkillLink only★ 8
Natural language to validated GeoJSON FeatureCollection compiler (Atlas.new)
SkillLink only★ 8
Reconfigurable Dataflow Unit RDU spatial tensor graph compiler (SambaNova style)
SkillLink only★ 8
RL mathematical reasoning synthesizer & step-by-step theorem prover (DeepSeek-R1 style)
SkillLink only★ 8
Infinite whiteboard spatial clustering engine & theme aggregator (Miro Assist)
SkillLink only★ 10
MCTS guided chain-of-thought reasoning tree explorer (OpenAI o1 / o3 style)
SkillLink only★ 8
Spatial semantic interior design layout synthesizer & 3D floorplan (AI Room Design)
SkillLink only★ 8
草图到专业尺寸平面图与交互 3D 的 Codex Skill：先确认用途、主题、风格与色调，通过追问补齐尺寸和图片信息，统一建模、验证与交付。
SkillLink only★ 2Few stars
Large World Model 3D persistent spatial Gaussian Splat simulator (World Labs style)
SkillLink only★ 8
No-code interactive 3D and XR spatial scene generator (Ctruh style)
SkillLink only★ 8
Multi-modal travel-time isochrone reachability boundary analyzer (Targomo)
SkillLink only★ 8
Natural language to validated GeoJSON FeatureCollection compiler (Atlas.new)
SkillLink only★ 8
Spatial 3D room simulation and AR quicklook visualizer for designer rugs (Nordic Knots style)
SkillLink only★ 8
Infinite whiteboard spatial clustering engine & theme aggregator (Miro Assist)
SkillLink only★ 8
k-Dimensional Tree (KD-Tree) spatial index with median partitioning and k-NN branch-and-bound queries
SkillLink only★ 7
High-resolution image canvas spatial grid tile slicer & seam blender (Magnific AI / Krea AI)
MCPLink only★ 8
k-Dimensional Tree (KD-Tree) spatial index with median partitioning and k-NN branch-and-bound queries
SkillLink only★ 7
High-resolution image canvas spatial grid tile slicer & seam blender (Magnific AI / Krea AI)
MCPLink only★ 8
Edge LiDAR/depth point cloud voxel slicer computing 2.5D occupancy grids (Isaac Sim / Livox)
MCPLink only★ 8
Edge LiDAR/depth point cloud voxel slicer computing 2.5D occupancy grids (Isaac Sim / Livox)
MCPLink only★ 8
Multi-agent systems, memory, planning, reasoning loops
SkillLink only★ 2.9k
Engineering decisions engine that know when they're stale. Frame, compare, decide — with evidence decay and parity enforcement. For Claude Code, Cursor, Gemini CLI, Codex and more.
MCPLink only★ 1.4k
Δ Engram is a deterministic reasoning kernel — symbolic AI, a finite state machine, with configurable boundaries and self-improving weights
MCPLink only★ 2Few stars
Documentation for the Ejentum Reasoning Harness. Guides, API reference, and concepts for the RA²R methodology and the Ejentum API.
MCPLink only★ 4Few stars
Who stands behind it
