Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisation. Deployed within the classroom, the system will also provide tools to assist teachers in monitoring students’ activities and progress. This paper describes the conceptual and architectural design of the system, and gives a detailed technical explanation of a working proof-of-concept prototype of the architecture, motivating in particular the technologies and approaches chosen to implement the necessary functionality given the context of the project. We also discuss how the prototype will be used as a basis for developing the first full version of the MiGen system, in the context of ongoing knowledge acquisition and analysis within the project’s iterative, stakeholder-centred design, development and testing methodology.